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/boot | |
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/boot')
-rw-r--r-- | src/boot/strap/tokens.clisp | 12 | ||||
-rw-r--r-- | src/boot/tokens.boot | 5 |
2 files changed, 12 insertions, 5 deletions
diff --git a/src/boot/strap/tokens.clisp b/src/boot/strap/tokens.clisp index d645f51f..02bf998e 100644 --- a/src/boot/strap/tokens.clisp +++ b/src/boot/strap/tokens.clisp @@ -244,11 +244,13 @@ (LIST '|mmCondition| 'CAADR) (LIST '|mmDC| 'CAAR) (LIST '|mmImplementation| 'CADADR) (LIST '|mmSignature| 'CDAR) (LIST '|mmTarget| 'CADAR) (LIST '|mmSource| 'CDDAR) - (LIST '|mode| 'CADR) (LIST '|op| 'CAR) (LIST '|opcode| 'CADR) - (LIST '|opSig| 'CADR) (LIST 'CDR 'CDR) (LIST '|sig| 'CDDR) - (LIST '|source| 'CDR) (LIST '|streamCode| 'CADDDR) - (LIST '|streamDef| 'CADDR) (LIST '|streamName| 'CADR) - (LIST '|target| 'CAR))) + (LIST '|mapOperation| 'CAAR) (LIST '|mapSignature| 'CADAR) + (LIST '|mapTarget| 'CAADAR) (LIST '|mapSource| 'CDADAR) + (LIST '|mapKind| 'CAADDR) (LIST '|mode| 'CADR) (LIST '|op| 'CAR) + (LIST '|opcode| 'CADR) (LIST '|opSig| 'CADR) (LIST 'CDR 'CDR) + (LIST '|sig| 'CDDR) (LIST '|source| 'CDR) + (LIST '|streamCode| 'CADDDR) (LIST '|streamDef| 'CADDR) + (LIST '|streamName| 'CADR) (LIST '|target| 'CAR))) (|i| NIL)) (LOOP (COND diff --git a/src/boot/tokens.boot b/src/boot/tokens.boot index 21f9da32..26ea74b4 100644 --- a/src/boot/tokens.boot +++ b/src/boot/tokens.boot @@ -368,6 +368,11 @@ for i in [ _ ["mmSignature", "CDAR"] , _ ["mmTarget", "CADAR"] , _ ["mmSource", "CDDAR"] , _ + ["mapOperation", "CAAR" ] , _ + ["mapSignature", "CADAR" ] , _ + ["mapTarget", "CAADAR" ] , _ + ["mapSource", "CDADAR" ] , _ + ["mapKind", "CAADDR" ] , _ ["mode", "CADR"] , _ ["op", "CAR"] , _ ["opcode", "CADR"] , _ |