aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-09-28 05:47:29 +0000
committerdos-reis <gdr@axiomatics.org>2008-09-28 05:47:29 +0000
commit7390fa59b4e4411c142ecdb13070c5f0ac91d51d (patch)
treeb0b77338b1af1f4e71f4dd0eefccd0224d60d655 /src/algebra
parent93daf7bcabaa5345c592a1103817794d6e86f7e9 (diff)
downloadopen-axiom-7390fa59b4e4411c142ecdb13070c5f0ac91d51d.tar.gz
* algebra/regset.spad.pamphlet (RegularTriangularSet): Remove
unused local decompose function.
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/regset.spad.pamphlet6
1 files changed, 0 insertions, 6 deletions
diff --git a/src/algebra/regset.spad.pamphlet b/src/algebra/regset.spad.pamphlet
index 99d0747e..7b10fb65 100644
--- a/src/algebra/regset.spad.pamphlet
+++ b/src/algebra/regset.spad.pamphlet
@@ -1604,12 +1604,6 @@ RegularTriangularSet(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