aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/triset.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-05-18 06:14:27 +0000
committerdos-reis <gdr@axiomatics.org>2013-05-18 06:14:27 +0000
commit979b28507f84eff5c739879f4b15e595eeab00f9 (patch)
tree4fb4f1ee6472e1ef7290264c83dde41d21031b67 /src/algebra/triset.spad.pamphlet
parenta6ba684e87ea28ea0a5ad8746a15d3575eb5c8f9 (diff)
downloadopen-axiom-979b28507f84eff5c739879f4b15e595eeab00f9.tar.gz
Define members, not parts
Diffstat (limited to 'src/algebra/triset.spad.pamphlet')
-rw-r--r--src/algebra/triset.spad.pamphlet2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/algebra/triset.spad.pamphlet b/src/algebra/triset.spad.pamphlet
index 63913bab..8f821470 100644
--- a/src/algebra/triset.spad.pamphlet
+++ b/src/algebra/triset.spad.pamphlet
@@ -538,8 +538,6 @@ GeneralTriangularSet(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 : $) : $ ==