aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/triset.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/triset.spad.pamphlet')
-rw-r--r--src/algebra/triset.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/triset.spad.pamphlet b/src/algebra/triset.spad.pamphlet
index 562994e3..2ddac8a7 100644
--- a/src/algebra/triset.spad.pamphlet
+++ b/src/algebra/triset.spad.pamphlet
@@ -1345,7 +1345,7 @@ PolynomialSetUtilitiesPackage (R,E,V,P) : Exports == Implementation where
lp := removeSquaresIfCan lp
lp := removeDuplicates [unitCanonical(p) for p in lp]
empty? lp => lp
- size?(lp,1$N)$(List P) => lp
+ #lp = 1$N => lp
lp := sort(infRittWu?,lp)
p : P := first lp
lp := rest lp