Changes
http://wiki.axiom-developer.org/263ContinuedFractionReturnsIncorrectTypes/diff
--
Since "add { ... }" is a value in Aldor/Axiom, [Fraction] should/could be
implemented as follows:
\begin{spad}
Fraction(S: IntegralDomain): QuotientFieldCategory S with ...
== if S has Field
then S add
-- additional functions like "denom" etc.
else ...
add
-- old code goes here
\end{spad}
Well, that means the representation of 'FRAC S' depends on whether S is already
a field or not.
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
