วันพุธที่ 5 กรกฎาคม พ.ศ. 2560

[sage-devel] Re: bool() and SymbolicEquation

Since we cannot easily translate this to Maxima---and what do
you do if there is one real and one complex variable?--- I have
created a simplification ticket that will cause immediately

sage: sqrt(-4*x+4)
2*sqrt(-x + 1)

https://trac.sagemath.org/ticket/23368

Regards,

On Tuesday, July 4, 2017 at 8:15:21 AM UTC+2, Ralf Stephan wrote:
That is not the right way to compare. Actually:

(%i2) domain:complex;
(%o2)                               complex
(%i3) is(equal(sqrt(-4*x+4),sqrt(-x+1)*2));
(%o3)                               unknown

but indeed:

sage: var('x', domain='real')
x
sage: bool(sqrt(-4*x+4)==sqrt(-x+1)*2)
False


--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscribe@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

ไม่มีความคิดเห็น:

แสดงความคิดเห็น