diff options
Diffstat (limited to 'src/algebra/polset.spad.pamphlet')
| -rw-r--r-- | src/algebra/polset.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/polset.spad.pamphlet b/src/algebra/polset.spad.pamphlet index eaee8dc6..db7e1dc0 100644 --- a/src/algebra/polset.spad.pamphlet +++ b/src/algebra/polset.spad.pamphlet @@ -285,8 +285,7 @@ PolynomialSetCategory(R:Ring, E:OrderedAbelianMonoidSup,_ makeIrreducible! (frac:Record(num:P,den:R)):Record(num:P,den:R) == g := gcd(frac.den,frac.num)$P --- one? g => frac - (g = 1) => frac + one? g => frac frac.num := exactQuotient!(frac.num,g) frac.den := exactQuo(frac.den,g) frac |