diff options
Diffstat (limited to 'src/algebra/fraction.spad.pamphlet')
| -rw-r--r-- | src/algebra/fraction.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/fraction.spad.pamphlet b/src/algebra/fraction.spad.pamphlet index a1ef630b..1e691362 100644 --- a/src/algebra/fraction.spad.pamphlet +++ b/src/algebra/fraction.spad.pamphlet @@ -173,10 +173,10 @@ QuotientFieldCategory(S: IntegralDomain): Category == init() == init()$S / 1$S nextItem(n) == - m:= nextItem(numer(n)) - m case "failed" => + m:= nextItem numer n + m case nothing => error "We seem to have a Fraction of a finite object" - m / 1 + just(m / 1) map(fn, x) == (fn numer x) / (fn denom x) reducedSystem(m:Matrix %):Matrix S == clearDenominator m |