diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-14 00:07:49 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-14 00:07:49 +0000 |
commit | 1734e62de427defcd090a95bc8b3b879c67d3fbf (patch) | |
tree | 85d39a106d392c37439d64c001377e0b2deaf6ee /src/algebra/polycat.spad.pamphlet | |
parent | e3addef7d02f432fad8fc0886880f59c40000a5a (diff) | |
download | open-axiom-1734e62de427defcd090a95bc8b3b879c67d3fbf.tar.gz |
Remove redundant capsule-level declarations
Diffstat (limited to 'src/algebra/polycat.spad.pamphlet')
-rw-r--r-- | src/algebra/polycat.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet index d3107611..13e15053 100644 --- a/src/algebra/polycat.spad.pamphlet +++ b/src/algebra/polycat.spad.pamphlet @@ -138,7 +138,7 @@ FiniteAbelianMonoidRing(R:Ring, E:OrderedAbelianMonoid): Category == if R has CommutativeRing then binomThmExpt(x,y,nn) == nn = 0 => 1$% - ans,xn,yn: % + ans,yn: % bincoef: Integer powl: List(%):= [x] for i in 2..nn repeat powl:=[x * powl.first, :powl] |