aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sregset.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-12-20 05:59:26 +0000
committerdos-reis <gdr@axiomatics.org>2008-12-20 05:59:26 +0000
commitb91f52ba52fc76bc9700f69a21f65042c805409b (patch)
tree902f81d6d2d2e16420187105f11748f564c7891b /src/algebra/sregset.spad.pamphlet
parentba161fefd4ab91c4908e7c7da8f6d84373f8e7ce (diff)
downloadopen-axiom-b91f52ba52fc76bc9700f69a21f65042c805409b.tar.gz
* algebra/newdata.spad.pamphlet (SplittingNode): Define Rep as
constant. Remove definitions for `per' and `rep'. * algebra/regset.spad.pamphlet (RegularTriangularSet): Likewise. * algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet): Likewise. * algebra/triset.spad.pamphlet (GeneralTriangularSet): Likewise. (WuWenTsunTriangularSet): Likewise.
Diffstat (limited to 'src/algebra/sregset.spad.pamphlet')
-rw-r--r--src/algebra/sregset.spad.pamphlet5
1 files changed, 1 insertions, 4 deletions
diff --git a/src/algebra/sregset.spad.pamphlet b/src/algebra/sregset.spad.pamphlet
index 8a7c7e5c..7528a521 100644
--- a/src/algebra/sregset.spad.pamphlet
+++ b/src/algebra/sregset.spad.pamphlet
@@ -1226,10 +1226,7 @@ SquareFreeRegularTriangularSet(R,E,V,P) : Exports == Implementation where
Implementation == add
- Rep ==> LP
-
- rep(s:$):Rep == s pretend Rep
- per(l:Rep):$ == l pretend $
+ Rep == LP
copy ts ==
per(copy(rep(ts))$LP)