diff options
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/algebra/regset.spad.pamphlet | 6 |
2 files changed, 5 insertions, 6 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 219a8698..5ef1fcac 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2008-09-28 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/regset.spad.pamphlet (RegularTriangularSet): Remove + unused local decompose function. + 2008-09-27 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/outform.spad.pamphlet (OutputForm): Remove bogus 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 |