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+unsubscr...@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.
