search

rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

simplification of x^2/x yields x (ignores zero value) #4095

Open rtoy opened 1 month ago

rtoy commented 1 month ago

Imported from SourceForge on 2024-07-09 16:32:31 Created by robert_dodier on 2006-03-26 01:58:45 Original: https://sourceforge.net/p/maxima/bugs/889

Simplification of x^2/x yields x, although that is not valid when x = 0.

Other examples involving polynomials are easy to construct, e.g, (x - 1)^2/(x - 1) => x - 1, (x - 1)*(x + 1)/(x - 1) => x + 1. Dunno if quotient simplifications include other kinds of expressions.

Perhaps simplification of quotients could yield unevaluated conditionals, e.g., something like x^2/x => if x # 0 then x else undefined(x^2/x); or (assume(not equal(x, 0)), x^2/x) => x.

rtoy commented 1 month ago

Imported from SourceForge on 2024-07-09 16:32:32 Created by robert_dodier on 2006-08-15 03:34:08 Original: https://sourceforge.net/p/maxima/bugs/889/#8aeb