diff options
Diffstat (limited to 'src/algebra')
42 files changed, 91 insertions, 95 deletions
diff --git a/src/algebra/strap/ABELGRP-.lsp b/src/algebra/strap/ABELGRP-.lsp index 0ef02ccf..a10e5227 100644 --- a/src/algebra/strap/ABELGRP-.lsp +++ b/src/algebra/strap/ABELGRP-.lsp @@ -34,7 +34,7 @@ (DEFUN |AbelianGroup&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|AbelianGroup&| |dv$1|)) ($ (|newShell| 27)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/ABELGRP.lsp b/src/algebra/strap/ABELGRP.lsp index 61670471..22c7b920 100644 --- a/src/algebra/strap/ABELGRP.lsp +++ b/src/algebra/strap/ABELGRP.lsp @@ -5,12 +5,12 @@ (DEFUN |AbelianGroup;| () (LET ((#0=#:G1374 - (|sublisV| (PAIR '(#1=#:G1373) (LIST '(|Integer|))) - (|Join| (|CancellationAbelianMonoid|) - (|LeftLinearSet| '#1#) - (|mkCategory| '|domain| - '(((- ($ $)) T) ((- ($ $ $)) T)) NIL - 'NIL NIL))))) + (|sublisV| (PAIR '(#1=#:G1373) '((|Integer|))) + (|Join| (|CancellationAbelianMonoid|) + (|LeftLinearSet| '#1#) + (|mkCategory| '|domain| + '(((- ($ $)) T) ((- ($ $ $)) T)) NIL 'NIL + NIL))))) (|setShellEntry| #0# 0 '(|AbelianGroup|)) #0#)) diff --git a/src/algebra/strap/ABELMON-.lsp b/src/algebra/strap/ABELMON-.lsp index e1e691f7..8bad28b8 100644 --- a/src/algebra/strap/ABELMON-.lsp +++ b/src/algebra/strap/ABELMON-.lsp @@ -30,7 +30,7 @@ (DEFUN |AbelianMonoid&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|AbelianMonoid&| |dv$1|)) ($ (|newShell| 20)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/ABELSG-.lsp b/src/algebra/strap/ABELSG-.lsp index c236bae4..c06795c0 100644 --- a/src/algebra/strap/ABELSG-.lsp +++ b/src/algebra/strap/ABELSG-.lsp @@ -11,7 +11,7 @@ (DEFUN |AbelianSemiGroup&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|AbelianSemiGroup&| |dv$1|)) ($ (|newShell| 11)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/ALAGG.lsp b/src/algebra/strap/ALAGG.lsp index fbbb335a..28958d18 100644 --- a/src/algebra/strap/ALAGG.lsp +++ b/src/algebra/strap/ALAGG.lsp @@ -12,8 +12,8 @@ (LIST (|devaluate| |t#1|) (|devaluate| |t#2|))) (|sublisV| (PAIR '(#1=#:G1373) - (LIST '(|Record| (|:| |key| |t#1|) - (|:| |entry| |t#2|)))) + '((|Record| (|:| |key| |t#1|) + (|:| |entry| |t#2|)))) (COND (|AssociationListAggregate;CAT|) (T (SETQ |AssociationListAggregate;CAT| diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index 8f78224b..ad0e0af6 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -163,8 +163,8 @@ (DEFUN |Boolean;| () (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| (LIST '|Boolean|)) ($ (|newShell| 39)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (LET ((|dv$| '(|Boolean|)) ($ (|newShell| 39)) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|Boolean| NIL (CONS 1 $)) diff --git a/src/algebra/strap/CHAR.lsp b/src/algebra/strap/CHAR.lsp index bc79fe2d..f886884b 100644 --- a/src/algebra/strap/CHAR.lsp +++ b/src/algebra/strap/CHAR.lsp @@ -264,8 +264,8 @@ (DEFUN |Character;| () (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| (LIST '|Character|)) ($ (|newShell| 62)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (LET ((|dv$| '(|Character|)) ($ (|newShell| 62)) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|Character| NIL (CONS 1 $)) diff --git a/src/algebra/strap/CLAGG-.lsp b/src/algebra/strap/CLAGG-.lsp index 759df315..021832f1 100644 --- a/src/algebra/strap/CLAGG-.lsp +++ b/src/algebra/strap/CLAGG-.lsp @@ -131,7 +131,7 @@ ($ (|newShell| 45)) (|pv$| (|buildPredVector| 0 0 (LIST (|HasCategory| |#2| - (LIST '|ConvertibleTo| '(|InputForm|))) + '(|ConvertibleTo| (|InputForm|))) (|HasCategory| |#2| '(|SetCategory|)) (|HasAttribute| |#1| '|finiteAggregate|))))) (|setShellEntry| $ 0 |dv$|) diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index 49298ff5..3f9d2dcb 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -861,8 +861,8 @@ (DEFUN |DoubleFloat;| () (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| (LIST '|DoubleFloat|)) ($ (|newShell| 164)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (LET ((|dv$| '(|DoubleFloat|)) ($ (|newShell| 164)) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|DoubleFloat| NIL (CONS 1 $)) diff --git a/src/algebra/strap/DIVRING-.lsp b/src/algebra/strap/DIVRING-.lsp index f84dd7e8..ffcd2e1d 100644 --- a/src/algebra/strap/DIVRING-.lsp +++ b/src/algebra/strap/DIVRING-.lsp @@ -30,7 +30,7 @@ (DEFUN |DivisionRing&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|DivisionRing&| |dv$1|)) ($ (|newShell| 29)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/DIVRING.lsp b/src/algebra/strap/DIVRING.lsp index 374ffbcf..8b678a03 100644 --- a/src/algebra/strap/DIVRING.lsp +++ b/src/algebra/strap/DIVRING.lsp @@ -5,13 +5,12 @@ (DEFUN |DivisionRing;| () (LET ((#0=#:G1375 - (|sublisV| - (PAIR '(#1=#:G1374) (LIST '(|Fraction| (|Integer|)))) - (|Join| (|EntireRing|) (|Algebra| '#1#) - (|mkCategory| '|domain| - '(((** ($ $ (|Integer|))) T) - ((|inv| ($ $)) T)) - NIL '((|Integer|)) NIL))))) + (|sublisV| (PAIR '(#1=#:G1374) '((|Fraction| (|Integer|)))) + (|Join| (|EntireRing|) (|Algebra| '#1#) + (|mkCategory| '|domain| + '(((** ($ $ (|Integer|))) T) + ((|inv| ($ $)) T)) + NIL '((|Integer|)) NIL))))) (|setShellEntry| #0# 0 '(|DivisionRing|)) #0#)) diff --git a/src/algebra/strap/EUCDOM-.lsp b/src/algebra/strap/EUCDOM-.lsp index e565cf0a..d9375a0c 100644 --- a/src/algebra/strap/EUCDOM-.lsp +++ b/src/algebra/strap/EUCDOM-.lsp @@ -374,7 +374,7 @@ (DEFUN |EuclideanDomain&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|EuclideanDomain&| |dv$1|)) ($ (|newShell| 66)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/FFIELDC-.lsp b/src/algebra/strap/FFIELDC-.lsp index 3972fc1e..ff4359c7 100644 --- a/src/algebra/strap/FFIELDC-.lsp +++ b/src/algebra/strap/FFIELDC-.lsp @@ -529,7 +529,7 @@ (DEFUN |FiniteFieldCategory&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|FiniteFieldCategory&| |dv$1|)) - ($ (|newShell| 115)) (|pv$| (|buildPredVector| 0 0 (LIST)))) + ($ (|newShell| 115)) (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/GCDDOM-.lsp b/src/algebra/strap/GCDDOM-.lsp index 8a412e1e..36dbbf51 100644 --- a/src/algebra/strap/GCDDOM-.lsp +++ b/src/algebra/strap/GCDDOM-.lsp @@ -170,7 +170,7 @@ (DEFUN |GcdDomain&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|GcdDomain&| |dv$1|)) ($ (|newShell| 47)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/HOAGG-.lsp b/src/algebra/strap/HOAGG-.lsp index e7e8154e..faa12149 100644 --- a/src/algebra/strap/HOAGG-.lsp +++ b/src/algebra/strap/HOAGG-.lsp @@ -153,7 +153,7 @@ (|HasCategory| |#2| '(|SetCategory|)) (|HasCategory| |#2| '(|BasicType|)) (|HasCategory| |#2| - (LIST '|CoercibleTo| '(|OutputForm|))))))) + '(|CoercibleTo| (|OutputForm|))))))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/ILIST.lsp b/src/algebra/strap/ILIST.lsp index f8d9855d..0d8a5c40 100644 --- a/src/algebra/strap/ILIST.lsp +++ b/src/algebra/strap/ILIST.lsp @@ -453,9 +453,9 @@ (LIST '|Evalable| (|devaluate| |#1|)))) (|HasCategory| |#1| - (LIST '|CoercibleTo| '(|OutputForm|)))) + '(|CoercibleTo| (|OutputForm|)))) (|HasCategory| |#1| - (LIST '|ConvertibleTo| '(|InputForm|))) + '(|ConvertibleTo| (|InputForm|))) (OR (|HasCategory| |#1| '(|OrderedSet|)) (|HasCategory| |#1| '(|SetCategory|))) (|HasCategory| |#1| '(|OrderedSet|)) @@ -465,7 +465,7 @@ (|HasCategory| (|Integer|) '(|OrderedSet|)) (|HasCategory| |#1| '(|SetCategory|)) (|HasCategory| |#1| - (LIST '|CoercibleTo| '(|OutputForm|))) + '(|CoercibleTo| (|OutputForm|))) (|HasCategory| |#1| '(|BasicType|)) (AND (|HasCategory| |#1| '(|SetCategory|)) (|HasCategory| |#1| diff --git a/src/algebra/strap/INS-.lsp b/src/algebra/strap/INS-.lsp index 387c559b..19a232bd 100644 --- a/src/algebra/strap/INS-.lsp +++ b/src/algebra/strap/INS-.lsp @@ -305,7 +305,7 @@ (DEFUN |IntegerNumberSystem&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|IntegerNumberSystem&| |dv$1|)) - ($ (|newShell| 93)) (|pv$| (|buildPredVector| 0 0 (LIST)))) + ($ (|newShell| 93)) (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/INS.lsp b/src/algebra/strap/INS.lsp index fd51e855..33bf5b64 100644 --- a/src/algebra/strap/INS.lsp +++ b/src/algebra/strap/INS.lsp @@ -8,9 +8,9 @@ (|sublisV| (PAIR '(#1=#:G1383 #2=#:G1384 #3=#:G1385 #4=#:G1386 #5=#:G1387 #6=#:G1388) - (LIST '(|Integer|) '(|Integer|) '(|Integer|) - '(|InputForm|) '(|Pattern| (|Integer|)) - '(|Integer|))) + '((|Integer|) (|Integer|) (|Integer|) + (|InputForm|) (|Pattern| (|Integer|)) + (|Integer|))) (|Join| (|UniqueFactorizationDomain|) (|EuclideanDomain|) (|OrderedIntegralDomain|) (|DifferentialRing|) (|ConvertibleTo| '#1#) diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp index 407fb0df..8ed6dc18 100644 --- a/src/algebra/strap/INT.lsp +++ b/src/algebra/strap/INT.lsp @@ -513,8 +513,8 @@ (DEFUN |Integer;| () (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| (LIST '|Integer|)) ($ (|newShell| 140)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (LET ((|dv$| '(|Integer|)) ($ (|newShell| 140)) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|Integer| NIL (CONS 1 $)) diff --git a/src/algebra/strap/INTDOM-.lsp b/src/algebra/strap/INTDOM-.lsp index 1d9d7019..6936faf3 100644 --- a/src/algebra/strap/INTDOM-.lsp +++ b/src/algebra/strap/INTDOM-.lsp @@ -53,7 +53,7 @@ (DEFUN |IntegralDomain&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|IntegralDomain&| |dv$1|)) ($ (|newShell| 23)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp index 36f22984..815d47c7 100644 --- a/src/algebra/strap/ISTRING.lsp +++ b/src/algebra/strap/ISTRING.lsp @@ -679,19 +679,19 @@ (LIST (OR (AND (|HasCategory| (|Character|) '(|OrderedSet|)) (|HasCategory| (|Character|) - (LIST '|Evalable| '(|Character|)))) + '(|Evalable| (|Character|)))) (AND (|HasCategory| (|Character|) '(|SetCategory|)) (|HasCategory| (|Character|) - (LIST '|Evalable| '(|Character|))))) + '(|Evalable| (|Character|))))) (OR (|HasCategory| (|Character|) - (LIST '|CoercibleTo| '(|OutputForm|))) + '(|CoercibleTo| (|OutputForm|))) (AND (|HasCategory| (|Character|) '(|SetCategory|)) (|HasCategory| (|Character|) - (LIST '|Evalable| '(|Character|))))) + '(|Evalable| (|Character|))))) (|HasCategory| (|Character|) - (LIST '|ConvertibleTo| '(|InputForm|))) + '(|ConvertibleTo| (|InputForm|))) (OR (|HasCategory| (|Character|) '(|OrderedSet|)) (|HasCategory| (|Character|) @@ -707,12 +707,12 @@ (|HasCategory| (|Character|) '(|SetCategory|)) (|HasCategory| (|Character|) - (LIST '|CoercibleTo| '(|OutputForm|))) + '(|CoercibleTo| (|OutputForm|))) (|HasCategory| (|Character|) '(|BasicType|)) (AND (|HasCategory| (|Character|) '(|SetCategory|)) (|HasCategory| (|Character|) - (LIST '|Evalable| '(|Character|)))))))) + '(|Evalable| (|Character|)))))))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|IndexedString| (LIST |dv$1|) diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp index cbec4d68..d8f5c568 100644 --- a/src/algebra/strap/LIST.lsp +++ b/src/algebra/strap/LIST.lsp @@ -201,9 +201,9 @@ (LIST '|Evalable| (|devaluate| |#1|)))) (|HasCategory| |#1| - (LIST '|CoercibleTo| '(|OutputForm|)))) + '(|CoercibleTo| (|OutputForm|)))) (|HasCategory| |#1| - (LIST '|ConvertibleTo| '(|InputForm|))) + '(|ConvertibleTo| (|InputForm|))) (OR (|HasCategory| |#1| '(|OrderedSet|)) (|HasCategory| |#1| '(|SetCategory|))) (|HasCategory| |#1| '(|OrderedSet|)) @@ -214,7 +214,7 @@ (|HasCategory| (|Integer|) '(|OrderedSet|)) (|HasCategory| |#1| '(|SetCategory|)) (|HasCategory| |#1| - (LIST '|CoercibleTo| '(|OutputForm|))) + '(|CoercibleTo| (|OutputForm|))) (|HasCategory| |#1| '(|BasicType|)) (AND (|HasCategory| |#1| '(|SetCategory|)) (|HasCategory| |#1| diff --git a/src/algebra/strap/LNAGG.lsp b/src/algebra/strap/LNAGG.lsp index d712e9ce..8e0ae1d7 100644 --- a/src/algebra/strap/LNAGG.lsp +++ b/src/algebra/strap/LNAGG.lsp @@ -10,8 +10,8 @@ (|sublisV| (PAIR '(|t#1|) (LIST (|devaluate| |t#1|))) (|sublisV| (PAIR '(#1=#:G1373 #2=#:G1374) - (LIST '(|Integer|) - '(|UniversalSegment| (|Integer|)))) + '((|Integer|) + (|UniversalSegment| (|Integer|)))) (COND (|LinearAggregate;CAT|) (T (SETQ |LinearAggregate;CAT| diff --git a/src/algebra/strap/LSAGG-.lsp b/src/algebra/strap/LSAGG-.lsp index b07685bb..8adc9781 100644 --- a/src/algebra/strap/LSAGG-.lsp +++ b/src/algebra/strap/LSAGG-.lsp @@ -675,7 +675,7 @@ (DEFUN |ListAggregate&| (|#1| |#2|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$2| (|devaluate| |#2|)) (|dv$| (LIST '|ListAggregate&| |dv$1| |dv$2|)) - ($ (|newShell| 78)) (|pv$| (|buildPredVector| 0 0 (LIST)))) + ($ (|newShell| 78)) (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/MONOID-.lsp b/src/algebra/strap/MONOID-.lsp index 9a3f9dc9..e8679174 100644 --- a/src/algebra/strap/MONOID-.lsp +++ b/src/algebra/strap/MONOID-.lsp @@ -30,7 +30,7 @@ (DEFUN |Monoid&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|Monoid&| |dv$1|)) - ($ (|newShell| 21)) (|pv$| (|buildPredVector| 0 0 (LIST)))) + ($ (|newShell| 21)) (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/MTSCAT.lsp b/src/algebra/strap/MTSCAT.lsp index 56b20cbe..cb1148e9 100644 --- a/src/algebra/strap/MTSCAT.lsp +++ b/src/algebra/strap/MTSCAT.lsp @@ -11,8 +11,7 @@ (PAIR '(|t#1| |t#2|) (LIST (|devaluate| |t#1|) (|devaluate| |t#2|))) (|sublisV| - (PAIR '(#1=#:G1373) - (LIST '(|IndexedExponents| |t#2|))) + (PAIR '(#1=#:G1373) '((|IndexedExponents| |t#2|))) (COND (|MultivariateTaylorSeriesCategory;CAT|) (T (SETQ |MultivariateTaylorSeriesCategory;CAT| diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp index 7cecef47..6223ad90 100644 --- a/src/algebra/strap/NNI.lsp +++ b/src/algebra/strap/NNI.lsp @@ -58,8 +58,8 @@ (DEFUN |NonNegativeInteger;| () (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| (LIST '|NonNegativeInteger|)) ($ (|newShell| 22)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (LET ((|dv$| '(|NonNegativeInteger|)) ($ (|newShell| 22)) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|NonNegativeInteger| NIL diff --git a/src/algebra/strap/ORDRING-.lsp b/src/algebra/strap/ORDRING-.lsp index 9c344464..6204c289 100644 --- a/src/algebra/strap/ORDRING-.lsp +++ b/src/algebra/strap/ORDRING-.lsp @@ -37,7 +37,7 @@ (DEFUN |OrderedRing&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|OrderedRing&| |dv$1|)) ($ (|newShell| 24)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp index 6dbfeb26..4fe691d8 100644 --- a/src/algebra/strap/OUTFORM.lsp +++ b/src/algebra/strap/OUTFORM.lsp @@ -1011,8 +1011,8 @@ (DEFUN |OutputForm;| () (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| (LIST '|OutputForm|)) ($ (|newShell| 150)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (LET ((|dv$| '(|OutputForm|)) ($ (|newShell| 150)) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|OutputForm| NIL (CONS 1 $)) diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp index f83b73dd..91f9dd0a 100644 --- a/src/algebra/strap/PI.lsp +++ b/src/algebra/strap/PI.lsp @@ -22,8 +22,8 @@ (DEFUN |PositiveInteger;| () (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| (LIST '|PositiveInteger|)) ($ (|newShell| 16)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (LET ((|dv$| '(|PositiveInteger|)) ($ (|newShell| 16)) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|PositiveInteger| NIL (CONS 1 $)) diff --git a/src/algebra/strap/POLYCAT-.lsp b/src/algebra/strap/POLYCAT-.lsp index e5cbc3a6..9ad42dc5 100644 --- a/src/algebra/strap/POLYCAT-.lsp +++ b/src/algebra/strap/POLYCAT-.lsp @@ -1103,29 +1103,27 @@ (|HasCategory| |#2| '(|GcdDomain|)) (|HasCategory| |#2| '(|CommutativeRing|)) (|HasCategory| |#4| - (LIST '|PatternMatchable| '(|Float|))) + '(|PatternMatchable| (|Float|))) (|HasCategory| |#2| - (LIST '|PatternMatchable| '(|Float|))) + '(|PatternMatchable| (|Float|))) (|HasCategory| |#4| - (LIST '|PatternMatchable| '(|Integer|))) + '(|PatternMatchable| (|Integer|))) (|HasCategory| |#2| - (LIST '|PatternMatchable| '(|Integer|))) + '(|PatternMatchable| (|Integer|))) (|HasCategory| |#4| - (LIST '|ConvertibleTo| - (LIST '|Pattern| '(|Float|)))) + '(|ConvertibleTo| (|Pattern| (|Float|)))) (|HasCategory| |#2| - (LIST '|ConvertibleTo| - (LIST '|Pattern| '(|Float|)))) + '(|ConvertibleTo| (|Pattern| (|Float|)))) (|HasCategory| |#4| - (LIST '|ConvertibleTo| - (LIST '|Pattern| '(|Integer|)))) + '(|ConvertibleTo| + (|Pattern| (|Integer|)))) (|HasCategory| |#2| - (LIST '|ConvertibleTo| - (LIST '|Pattern| '(|Integer|)))) + '(|ConvertibleTo| + (|Pattern| (|Integer|)))) (|HasCategory| |#4| - (LIST '|ConvertibleTo| '(|InputForm|))) + '(|ConvertibleTo| (|InputForm|))) (|HasCategory| |#2| - (LIST '|ConvertibleTo| '(|InputForm|))))))) + '(|ConvertibleTo| (|InputForm|))))))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/QFCAT-.lsp b/src/algebra/strap/QFCAT-.lsp index 8b0d783e..9821d0ef 100644 --- a/src/algebra/strap/QFCAT-.lsp +++ b/src/algebra/strap/QFCAT-.lsp @@ -288,18 +288,18 @@ (|HasCategory| |#2| '(|IntegerNumberSystem|)) (|HasCategory| |#2| '(|EuclideanDomain|)) (|HasCategory| |#2| - (LIST '|RetractableTo| '(|Symbol|))) + '(|RetractableTo| (|Symbol|))) (|HasCategory| |#2| '(|CharacteristicNonZero|)) (|HasCategory| |#2| '(|CharacteristicZero|)) (|HasCategory| |#2| - (LIST '|ConvertibleTo| '(|InputForm|))) + '(|ConvertibleTo| (|InputForm|))) (|HasCategory| |#2| '(|RealConstant|)) (|HasCategory| |#2| '(|OrderedIntegralDomain|)) (|HasCategory| |#2| '(|OrderedSet|)) (|HasCategory| |#2| - (LIST '|RetractableTo| '(|Integer|))) + '(|RetractableTo| (|Integer|))) (|HasCategory| |#2| '(|StepThrough|)))))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) diff --git a/src/algebra/strap/RING-.lsp b/src/algebra/strap/RING-.lsp index 423a18ef..17403409 100644 --- a/src/algebra/strap/RING-.lsp +++ b/src/algebra/strap/RING-.lsp @@ -9,7 +9,7 @@ (DEFUN |Ring&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|Ring&| |dv$1|)) - ($ (|newShell| 12)) (|pv$| (|buildPredVector| 0 0 (LIST)))) + ($ (|newShell| 12)) (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/RING.lsp b/src/algebra/strap/RING.lsp index 62e9b7c6..f451757d 100644 --- a/src/algebra/strap/RING.lsp +++ b/src/algebra/strap/RING.lsp @@ -5,7 +5,7 @@ (DEFUN |Ring;| () (LET ((#0=#:G1373 - (|sublisV| (PAIR '(#1=#:G1372) (LIST '(|Integer|))) + (|sublisV| (PAIR '(#1=#:G1372) '((|Integer|))) (|Join| (|Rng|) (|Monoid|) (|LeftModule| '$) (|CoercibleFrom| '#1#) (|mkCategory| '|package| diff --git a/src/algebra/strap/RNS-.lsp b/src/algebra/strap/RNS-.lsp index 52d3b70f..1a319cca 100644 --- a/src/algebra/strap/RNS-.lsp +++ b/src/algebra/strap/RNS-.lsp @@ -123,7 +123,7 @@ (DEFUN |RealNumberSystem&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|RealNumberSystem&| |dv$1|)) ($ (|newShell| 58)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/RNS.lsp b/src/algebra/strap/RNS.lsp index b7201edc..8554cdd2 100644 --- a/src/algebra/strap/RNS.lsp +++ b/src/algebra/strap/RNS.lsp @@ -7,8 +7,8 @@ (LET ((#0=#:G1381 (|sublisV| (PAIR '(#1=#:G1377 #2=#:G1378 #3=#:G1379 #4=#:G1380) - (LIST '(|Integer|) '(|Fraction| (|Integer|)) - '(|Pattern| (|Float|)) '(|Float|))) + '((|Integer|) (|Fraction| (|Integer|)) + (|Pattern| (|Float|)) (|Float|))) (|Join| (|Field|) (|OrderedRing|) (|RealConstant|) (|RetractableTo| '#1#) (|RetractableTo| '#2#) (|RadicalCategory|) (|ConvertibleTo| '#3#) diff --git a/src/algebra/strap/SETAGG-.lsp b/src/algebra/strap/SETAGG-.lsp index cfe090d0..51617c5b 100644 --- a/src/algebra/strap/SETAGG-.lsp +++ b/src/algebra/strap/SETAGG-.lsp @@ -32,7 +32,7 @@ (DEFUN |SetAggregate&| (|#1| |#2|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$2| (|devaluate| |#2|)) (|dv$| (LIST '|SetAggregate&| |dv$1| |dv$2|)) - ($ (|newShell| 16)) (|pv$| (|buildPredVector| 0 0 (LIST)))) + ($ (|newShell| 16)) (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index 92ca2f6d..23ee4bcf 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -524,8 +524,8 @@ (DEFUN |SingleInteger;| () (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| (LIST '|SingleInteger|)) ($ (|newShell| 114)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (LET ((|dv$| '(|SingleInteger|)) ($ (|newShell| 114)) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|SingleInteger| NIL (CONS 1 $)) diff --git a/src/algebra/strap/STAGG-.lsp b/src/algebra/strap/STAGG-.lsp index 1d78bbe3..60c28e58 100644 --- a/src/algebra/strap/STAGG-.lsp +++ b/src/algebra/strap/STAGG-.lsp @@ -228,7 +228,7 @@ (DEFUN |StreamAggregate&| (|#1| |#2|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$2| (|devaluate| |#2|)) (|dv$| (LIST '|StreamAggregate&| |dv$1| |dv$2|)) - ($ (|newShell| 61)) (|pv$| (|buildPredVector| 0 0 (LIST)))) + ($ (|newShell| 61)) (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/SYMBOL.lsp b/src/algebra/strap/SYMBOL.lsp index 82375c50..2398b1e7 100644 --- a/src/algebra/strap/SYMBOL.lsp +++ b/src/algebra/strap/SYMBOL.lsp @@ -639,8 +639,8 @@ (DEFUN |Symbol;| () (DECLARE (SPECIAL |$ConstructorCache|)) - (LET ((|dv$| (LIST '|Symbol|)) ($ (|newShell| 165)) - (|pv$| (|buildPredVector| 0 0 (LIST)))) + (LET ((|dv$| '(|Symbol|)) ($ (|newShell| 165)) + (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|haddProp| |$ConstructorCache| '|Symbol| NIL (CONS 1 $)) diff --git a/src/algebra/strap/UFD-.lsp b/src/algebra/strap/UFD-.lsp index 04e97f69..22eb430f 100644 --- a/src/algebra/strap/UFD-.lsp +++ b/src/algebra/strap/UFD-.lsp @@ -41,7 +41,7 @@ (DEFUN |UniqueFactorizationDomain&| (|#1|) (LET* ((|dv$1| (|devaluate| |#1|)) (|dv$| (LIST '|UniqueFactorizationDomain&| |dv$1|)) - ($ (|newShell| 29)) (|pv$| (|buildPredVector| 0 0 (LIST)))) + ($ (|newShell| 29)) (|pv$| (|buildPredVector| 0 0 NIL))) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 |pv$|) (|stuffDomainSlots| $) diff --git a/src/algebra/strap/VECTOR.lsp b/src/algebra/strap/VECTOR.lsp index e5e49ad7..30234ee7 100644 --- a/src/algebra/strap/VECTOR.lsp +++ b/src/algebra/strap/VECTOR.lsp @@ -60,9 +60,9 @@ (LIST '|Evalable| (|devaluate| |#1|)))) (|HasCategory| |#1| - (LIST '|CoercibleTo| '(|OutputForm|)))) + '(|CoercibleTo| (|OutputForm|)))) (|HasCategory| |#1| - (LIST '|ConvertibleTo| '(|InputForm|))) + '(|ConvertibleTo| (|InputForm|))) (OR (|HasCategory| |#1| '(|OrderedSet|)) (|HasCategory| |#1| '(|SetCategory|))) (|HasCategory| |#1| '(|OrderedSet|)) @@ -80,7 +80,7 @@ '(|RadicalCategory|)) (|HasCategory| |#1| '(|Ring|))) (|HasCategory| |#1| - (LIST '|CoercibleTo| '(|OutputForm|))) + '(|CoercibleTo| (|OutputForm|))) (|HasCategory| |#1| '(|BasicType|)) (AND (|HasCategory| |#1| '(|SetCategory|)) (|HasCategory| |#1| |