Changes http://wiki.axiom-developer.org/IndefiniteTypes/diff -- \begin{spad} )abbrev domain PUNINT PureUnknownInteger PureUnknownInteger (D,BasicUnknown):Ring == Implementation where D:IntegerNumberSystem BasicUnknown:List Symbol Implementation ==> LocalAlgebra (Polynomial D,D,D) with "/" : ($,D) -> $ ++ a/n computes the expression whose value is a/n if it ++ is actually an unknown integer \end{spad}
-- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
