diff options
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 14f30065..fae3896f 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -544,8 +544,7 @@ EuclideanDomain(): Category == PrincipalIdealDomain with IdealElt ==> Record(coef1:%,coef2:%,generator:%) unitNormalizeIdealElt(s:IdealElt):IdealElt == (u,c,a):=unitNormal(s.generator) --- one? a => s - (a = 1) => s + one? a => s [a*s.coef1,a*s.coef2,c]$IdealElt extendedEuclidean(x,y) == --Extended Euclidean Algorithm s1:=unitNormalizeIdealElt([1$%,0$%,x]$IdealElt) @@ -1014,8 +1013,7 @@ Monoid(): Category == SemiGroup with one? x == x = 1 sample() == 1 recip x == --- one? x => x - (x = 1) => x + one? x => x "failed" x:% ** n:NonNegativeInteger == zero? n => 1 |