On Saturday, 24 June 2023 at 05:38:35 UTC+1 Nasser M. Abbasi wrote: I think simplify should have been able to do it? in Mathematica Simplify can and no need to use its FullSimplify which also uses more resources than Simplify. But I understand, simplification is not an easy problem and different systems do things differently.
simplify isn't even a mathematically well-defined notion. Different computer algebra systems make different choices what transformations they attempt. Maxima, from which sagemath still gets a significant amount of its symbolic capabilities, doesn't have a "simplify", but instead has several "simplify_*" routines that try specific rewrite strategies, focussing on particular special function properties. As the documentation and code show, presently "simplify" just consists of a round-trip to maxima, so it only rewrites expressions to the extent that maxima automatically rewrites expressions. That's a very weak kind of "simplification". The documentation points to several other routines. simplify_full tries a whole bunch of them, including some that may not be valid for all specializations of your variables (e.g., (1-x^)2/(1-x) :-> (1+x) ) -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/78b7cc5e-127e-4dc9-b992-bd4d5b5160cen%40googlegroups.com.
