From 979b28507f84eff5c739879f4b15e595eeab00f9 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 18 May 2013 06:14:27 +0000
Subject: Define members, not parts

---
 src/algebra/regset.spad.pamphlet | 2 --
 1 file changed, 2 deletions(-)

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

diff --git a/src/algebra/regset.spad.pamphlet b/src/algebra/regset.spad.pamphlet
index 7247474b..7dab81ad 100644
--- a/src/algebra/regset.spad.pamphlet
+++ b/src/algebra/regset.spad.pamphlet
@@ -1437,8 +1437,6 @@ RegularTriangularSet(R,E,V,P) : Exports == Implementation where
        per([])
      empty?(ts:$) ==
        empty?(rep(ts))
-     parts ts ==
-       rep(ts)
      members ts ==
        rep(ts)
      map (f : PtoP, ts : $) : $ ==
-- 
cgit v1.2.3