[Maxima-bugs] [ maxima-Bugs-1458597 ] simplification of x^2/x yields x (ignores zero value)

[SourceForge.net <no...@so...>]

Bugs item #1458597, was opened at 2006-03-25 18:58
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1458597&group_id=4933

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Lisp Core
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Robert Dodier (robert_dodier)
Assigned to: Nobody/Anonymous (nobody)
Summary: simplification of x^2/x yields x (ignores zero value)

Initial Comment:
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.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1458597&group_id=4933