diff options
Diffstat (limited to 'src/algebra/prtition.spad.pamphlet')
| -rw-r--r-- | src/algebra/prtition.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/prtition.spad.pamphlet b/src/algebra/prtition.spad.pamphlet index dd09fcd3..c6b8f896 100644 --- a/src/algebra/prtition.spad.pamphlet +++ b/src/algebra/prtition.spad.pamphlet @@ -156,8 +156,7 @@ SymmetricPolynomial(R:Ring) == PolynomialRing(R,Partition) add null p1 => 0 null p2 => 0 zero?(p1.first.k) => p1.first.c * p2 --- one? p2 => p1 - (p2 = 1) => p1 + one? p2 => p1 +/[[[t1.k+t2.k,t1.c*t2.c]$Term for t2 in p2] for t1 in reverse(p1)] -- This 'reverse' is an efficiency improvement: @@ -167,8 +166,7 @@ SymmetricPolynomial(R:Ring) == PolynomialRing(R,Partition) add null p1 => 0 null p2 => 0 zero?(p1.first.k) => p1.first.c * p2 --- one? p2 => p1 - (p2 = 1) => p1 + one? p2 => p1 +/[[[t1.k+t2.k,r]$Term for t2 in p2 | (r:=t1.c*t2.c) ~= 0] for t1 in reverse(p1)] -- This 'reverse' is an efficiency improvement: |