aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/modring.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-09-18 14:26:35 +0000
committerdos-reis <gdr@axiomatics.org>2008-09-18 14:26:35 +0000
commit4126dc2b32ee818635e57990b3e6f647b9a7dbcb (patch)
tree63a1bab1ef8e5c3b301683069c6e42d6076c5cf8 /src/algebra/modring.spad.pamphlet
parentc7922bf127eac4b203fc3c36b0ae1d0f9d279f54 (diff)
downloadopen-axiom-4126dc2b32ee818635e57990b3e6f647b9a7dbcb.tar.gz
* interp/c-util.boot (displayAmbiguousSignatures): New.
(ambiguousSignatureError): Likewise. * interp/define.boot (hasSigInTargetCategory): Use it to reject ambiguous lhs of a definition. * interp/lisplib.boot (leaveIfErrors): Fix typo. * algebra/aggcat.spad.pamphlet: Disambiguate definitions. * algebra/card.spad.pamphlet: Likewise. * algebra/dhmatrix.spad.pamphlet: Likewise. * algebra/divisor.spad.pamphlet: Likewise. * algebra/expexpan.spad.pamphlet: Likewise. * algebra/ffcat.spad.pamphlet: Likewise. * algebra/ffcg.spad.pamphlet: Likewise. * algebra/ffnb.spad.pamphlet: Likewise. * algebra/ffp.spad.pamphlet: Likewise. * algebra/generic.spad.pamphlet: Likewise. * algebra/groebf.spad.pamphlet: Likewise. * algebra/modring.spad.pamphlet: Likewise. * algebra/moebius.spad.pamphlet: Likewise. * algebra/mts.spad.pamphlet: Likewise. * algebra/naalgc.spad.pamphlet: Likewise. * algebra/ore.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/pf.spad.pamphlet: Likewise. * algebra/poly.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/prtition.spad.pamphlet: Likewise. * algebra/radix.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/tree.spad.pamphlet: Likewise. * algebra/triset.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise. * algebra/sf.spad.pamphlet: Remove signature for hash. * algebra/si.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/modring.spad.pamphlet')
-rw-r--r--src/algebra/modring.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/modring.spad.pamphlet b/src/algebra/modring.spad.pamphlet
index bfd9912a..3ee11ff6 100644
--- a/src/algebra/modring.spad.pamphlet
+++ b/src/algebra/modring.spad.pamphlet
@@ -56,7 +56,7 @@ ModularRing(R,Mod,reduction:(R,Mod) -> R,
--define
modulus(x) == x.modulo
- coerce(x) == x.val
+ coerce(x: %): R == x.val
coerce(i:Integer):% == [i::R,0]$Rep
i:Integer * x:% == (i::%)*x
coerce(x):OutputForm == (x.val)::OutputForm