diff options
author | dos-reis <gdr@axiomatics.org> | 2008-10-01 22:12:31 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-10-01 22:12:31 +0000 |
commit | 4ddb21277531ef0c7a7047d50810acfc278ad733 (patch) | |
tree | ccb70d5f9a922b5ba904a0d918cdf10b813087e7 /src/algebra/sregset.spad.pamphlet | |
parent | ed0626e869fa09984c1f5856cb6b207b887221ea (diff) | |
download | open-axiom-4ddb21277531ef0c7a7047d50810acfc278ad733.tar.gz |
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.
* algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet):
Remove unused function decompose.
Diffstat (limited to 'src/algebra/sregset.spad.pamphlet')
-rw-r--r-- | src/algebra/sregset.spad.pamphlet | 6 |
1 files changed, 0 insertions, 6 deletions
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 |