From dac46336dff97cc6c3b12bcbb781c1cf18135a6d Mon Sep 17 00:00:00 2001 From: Gabriel Dos Reis Date: Sat, 30 Jan 2016 03:21:14 -0800 Subject: Remove superflous declarations. --- src/algebra/poly.spad.pamphlet | 14 ++++---------- 1 file 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) -- cgit v1.2.3