Changes http://wiki.axiom-developer.org/285EqualInAlgebraicNumberFails/diff -- From:
http://wiki.axiom-developer.org/axiom--test--1/src/algebra/ConstantSpad In AlgebraicNumber we find:: a=b == trueEqual((a-b)::Rep,0::Rep) In InnerAlgebraicNumber it says:: trueEqual(a,b) == -- if two algebraic numbers have the same norm (after deleting repeated -- roots, then they are certainly conjugates. Note that we start with a -- monic polynomial, so don't have to check for constant factors. -- this will be fooled by sqrt(2) and -sqrt(2), but the = in -- AlgebraicNumber knows what to do about this. but unfortunately is seems that the special treatment of 'sqrt(2)' (and similar algebraic numbers) was never implemented. :( -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
