diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-30 03:21:14 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-30 03:21:14 -0800 |
| commit | dac46336dff97cc6c3b12bcbb781c1cf18135a6d (patch) | |
| tree | e9a1637dfd79bcc53a8db7b14cf503ee0a8019af | |
| parent | 7a128247a61aae34ed4cdc70c3d19b876dec1dd8 (diff) | |
| download | open-axiom-dac46336dff97cc6c3b12bcbb781c1cf18135a6d.tar.gz | |
Remove superflous declarations.
| -rw-r--r-- | src/algebra/poly.spad.pamphlet | 14 |
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) |