From b91f52ba52fc76bc9700f69a21f65042c805409b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 20 Dec 2008 05:59:26 +0000
Subject: 	* 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.

---
 src/algebra/sregset.spad.pamphlet | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'src/algebra/sregset.spad.pamphlet')

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)
-- 
cgit v1.2.3