Changes http://wiki.axiom-developer.org/285EqualInAlgebraicNumberFails/diff --
??changed: -But this is deceptive since 'trueEqual(g, -g)' is not 'trueEqual(g+g,0)'. (Note we cannot use 'trueEqual(a,b)' or 'trueEqual(a-b,0)' since there is *no* coercion from 'AN' to 'IAN' . Moreover, 'trueEqual' is not transitive either. +But this is deceptive since 'trueEqual(g, -g)' is not 'trueEqual(g+g,0)'. Note we cannot use 'trueEqual(a,b)' or 'trueEqual(a-b,0)' since there is *no* coercion from 'AN' to 'IAN' . Moreover, 'trueEqual' is not transitive either. There is also '=' in 'IAN', which is implemented using '=' in 'EXPR INT' . ++added: + +Perhaps 'trueEqual' should be called 'conjugate?' instead and exported from 'AN', and '=' in 'AN' is really not possible. Also, 'trueEqual' is only used in 'constant.spad' and changing its name will not affect any other constructors. But -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
