[Axiom-developer] [#263 ContinuedFraction returns incorrect types] FRAC FRAC ID

[Ralf Hemmecke]

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/address@hidden