diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-10-22 00:14:28 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-10-22 00:14:28 +0000 |
| commit | 5da95c1b34152d06c776e1c446a51c6703b46cc6 (patch) | |
| tree | c3d5bb34bbfcfb9f5f215e8c5139f9d7ec5ebcf3 /src/algebra/triset.spad.pamphlet | |
| parent | 2307cd465b2644ca6e2df89ba3a994228944ee10 (diff) | |
| download | open-axiom-5da95c1b34152d06c776e1c446a51c6703b46cc6.tar.gz | |
* boot/tokens.boot: Add new selectors: mapOperation, mapSignature,
mapTarget, mapSource, mapKind.
* algebra/data.spad.pamphlet (SystemInteger) [min, max]: Disambiguate
with explicit type annotation.
(SystemNonNetativeInteger) [min, max]: Likewise.
* algebra/color.spad.pamphlet (Color) [sample]: Remove parenthesis.
* algebra/ffnb.spad.pamphlet
(FiniteFieldNormalBasisExtensionByPolynomial) [sizeOfGroundField]:
Likewise.
* algebra/matrix.spad.pamphlet (SquareMatrix) [dimension]: Likewise.
* algebra/view3D.spad.pamphlet: Likewise.
* algebra/viewDef.spad.pamphlet: Likewise.
* algebra/regset.spad.pamphlet (RegularTriangularSetCategory)
[unitIdealIfCan]: Remove, was useless.
* algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet)
[unitIdealIfCan]: Likewise.
* algebra/triset.spad.pamphlet (GeneralTriangularSet)
[unitIdealIfCan]: Likewise.
Diffstat (limited to 'src/algebra/triset.spad.pamphlet')
| -rw-r--r-- | src/algebra/triset.spad.pamphlet | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/algebra/triset.spad.pamphlet b/src/algebra/triset.spad.pamphlet index 2ddac8a7..50b56350 100644 --- a/src/algebra/triset.spad.pamphlet +++ b/src/algebra/triset.spad.pamphlet @@ -550,8 +550,6 @@ GeneralTriangularSet(R,E,V,P) : Exports == Implementation where member? (p,ts) == member?(p,rep(ts))$LP - unitIdealIfCan() == - "failed"::Union($,"failed") roughUnitIdeal? ts == false |