diff options
| -rw-r--r-- | src/ChangeLog | 2 | ||||
| -rw-r--r-- | src/algebra/sregset.spad.pamphlet | 6 |
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 |