From 95a8891a808572509f7449aa32022df42f8b7ab8 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 26 Apr 2010 02:05:39 +0000 Subject: * algebra/carten.spad.pamphlet (CartesianTensor): Satisfy instantiation of Eltable. * algebra/clifford.spad.pamphlet (QuadraticForm): Likewise. * algebra/domain.spad.pamphlet (DomainTemplate): Likewise. * algebra/files.spad.pamphlet (Library): Likewise. * algebra/aggcat.spad.pamphlet (LinearAggregate): Extend instantiation of Eltable. * algebra/naalg.spad.pamphlet (FiniteRankNonAssociativeAlgebra): Likewise. * algebra/pscat.spad.pamphlet (UnivariatePowerSeriesCategory): Likewise. * algebra/sex.spad.pamphlet (SExpressionCategory): Likewise. * algebra/Makefile.pamphlet: Update rules. --- src/algebra/modring.spad.pamphlet | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/algebra/modring.spad.pamphlet') diff --git a/src/algebra/modring.spad.pamphlet b/src/algebra/modring.spad.pamphlet index a7308223..a4013304 100644 --- a/src/algebra/modring.spad.pamphlet +++ b/src/algebra/modring.spad.pamphlet @@ -116,7 +116,7 @@ EuclideanModularRing(S,R,Mod,reduction:(R,Mod) -> R, R : UnivariatePolynomialCategory S Mod : AbelianMonoid - C == EuclideanDomain with + C == Join(EuclideanDomain, Eltable(R,R)) with modulus : % -> Mod ++ modulus(x) \undocumented coerce : % -> R @@ -129,8 +129,6 @@ EuclideanModularRing(S,R,Mod,reduction:(R,Mod) -> R, ++ recip(x) \undocumented inv : % -> % ++ inv(x) \undocumented - elt : (%, R) -> R - ++ elt(x,r) or x.r \undocumented T == ModularRing(R,Mod,reduction,merge,exactQuo) add -- cgit v1.2.3