diff options
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index fe745809..2ca2216b 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -822,10 +822,10 @@ EuclideanDomain(): Category == PrincipalIdealDomain with u:= extendedEuclidean(first l,v.generator) [[u.coef1,:[u.coef2*vv for vv in v.coef]],u.generator] expressIdealMember(l,z) == - z = 0 => [0 for v in l] + z = 0 => just [0 for v in l] pid := principalIdeal l - (q := z exquo (pid.generator)) case "failed" => "failed" - [q*v for v in pid.coef] + (q := z exquo (pid.generator)) case "failed" => nothing + just [q*v for v in pid.coef] multiEuclidean(l,z) == n := #l zero? n => error "empty list passed to multiEuclidean" @@ -1765,9 +1765,9 @@ PrincipalIdealDomain(): Category == GcdDomain with ++ generator component is a generator of the ideal ++ generated by \spad{[f1,...,fn]} whose coef component satisfies ++ \spad{generator = sum (input.i * coef.i)} - expressIdealMember: (List %,%) -> Union(List %,"failed") - ++ expressIdealMember([f1,...,fn],h) returns a representation - ++ of h as a linear combination of the fi or "failed" if h + expressIdealMember: (List %,%) -> Maybe List % + ++ \spad{expressIdealMember([f1,...,fn],h)} returns a representation + ++ of h as a linear combination of the fi or \spad{nothing} if h ++ is not in the ideal generated by the fi. @ |