aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog2
-rw-r--r--src/algebra/sregset.spad.pamphlet6
2 files changed, 2 insertions, 6 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index a505303f..3fbd1464 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,8 @@
2008-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.
+ * algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet):
+ Remove unused function decompose.
2008-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu>
diff --git a/src/algebra/sregset.spad.pamphlet b/src/algebra/sregset.spad.pamphlet
index 19886881..8a7c7e5c 100644
--- a/src/algebra/sregset.spad.pamphlet
+++ b/src/algebra/sregset.spad.pamphlet
@@ -1405,12 +1405,6 @@ SquareFreeRegularTriangularSet(R,E,V,P) : Exports == Implementation where
-- SOLVE in the regular zero sense
-- and DO NOT PRINT info
- decompose(p:P, ts: $): List($) == decompose([p], [ts], true, false)$regsetdecomppack
-
- decompose(lp: LP, lts: List($)): List($) == decompose(lp, lts, true, false)$regsetdecomppack
- -- SOLVE in the closure sense
- -- and DO NOT PRINT info
-
zeroSetSplit(lp:List(P)) == zeroSetSplit(lp,true,false)
-- by default SOLVE in the closure sense
-- and DO NOT PRINT info