aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/algebra/poly.spad.pamphlet14
1 files changed, 4 insertions, 10 deletions
diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet
index c9f16e71..e6162aa6 100644
--- a/src/algebra/poly.spad.pamphlet
+++ b/src/algebra/poly.spad.pamphlet
@@ -34,33 +34,27 @@ FreeModule(R:Ring,S:OrderedType):
--representations
Term:= Record(k:S,c:R)
Rep:= List Term
- --declarations
- x,y: %
- r: R
- n: Integer
- f: R -> R
- s: S
--define
if R has EntireRing then
- r * x ==
+ r:R * x:% ==
zero? r => 0
one? r => x
--map(r*#1,x)
[[u.k,r*u.c] for u in x ]
else
- r * x ==
+ r:R * x:% ==
zero? r => 0
one? r => x
--map(r*#1,x)
[[u.k,a] for u in x | (a:=r*u.c) ~= 0$R]
if R has EntireRing then
- x * r ==
+ x:% * r:R ==
zero? r => 0
one? r => x
--map(r*#1,x)
[[u.k,u.c*r] for u in x ]
else
- x * r ==
+ x:% * r:R ==
zero? r => 0
one? r => x
--map(r*#1,x)