[Axiom-developer] [Fraction] attempt to modify Fraction

[Bill Page]

Changes http://wiki.axiom-developer.org/Fraction/diff
--
\begin{spad}
)abbrev domain FRAC Fraction
++ Try to prevent Fraction from returning Fraction Fraction Integer
++ based on a suggestiong by Ralf Hammecke
Fraction(S: IntegralDomain): QuotientFieldCategory S with 
       if S has IntegerNumberSystem and S has OpenMath then OpenMath
       if S has canonical and S has GcdDomain and S has canonicalUnitNormal
           then canonical
  ==  if S has QuotientFieldCategory Integer then S add
           coerce(d:S):% == d
           zero?(x:%) == zero? x
      else LocalAlgebra(S, S, S) add
           Rep:= Record(num:S, den:S)
           coerce(d:S):% == [d,1]
           zero?(x:%) == zero? x.num
\end{spad}

But SPAD apparently cannot compile this. :(
--
forwarded from http://wiki.axiom-developer.org/address@hidden