Changes http://wiki.axiom-developer.org/285EqualInAlgebraicNumberFails/diff -- http://mathworld.wolfram.com/ConjugateElements.html
> Two elements alpha, beta of a field K, which is an extension > field of a field F, are called conjugate (over F) if they are > both algebraic over F and have the same minimal polynomial. > ... > This conjugacy relation is an equivalence relation on the set > of algebraic elements in a given extension K of the field F. So if 'trueEqual' is supposed to implement 'conjugate?' then the bug must be in 'trueEqual', I think. Some details of the algorithm are here: http://www.csd.uwo.ca/~watt/pub/reprints/1995-issac-dynev.pdf See especially reference ![DDD]. -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
