x1:=(y-sqrt(y^2))/(x-sqrt(x^2)) x2:=1/(y+sqrt(y^2))*(x+sqrt(x^2)) (x1=x2)$EXPR(INT) x1-x2
So (x1=x2) was false before my recent commit 7af446cb, afterwards it becomes true. I think that is acceptable. However (x1-x2) is not zero, before/after this commit. That's caused by the '/' in 'reduc', common gcd factor is removed from numerator on the first loop. Shall we try to fix it? Or reject it because it contains dependent algebraic kernels? - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/bd732fc8-c720-4cc2-9b6a-aa6e215dd56f%40gmail.com.
