diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-08-28 17:29:17 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-08-28 17:29:17 +0000 |
| commit | d2aa4652224e0dd476e9bbe53cea718ec3d89506 (patch) | |
| tree | ce39cad3dc5ed02ac0e83a4680c02022dc6b5666 /src/algebra | |
| parent | 5c7fc79609933c1fbfcd629d9df0ce72563bd573 (diff) | |
| download | open-axiom-d2aa4652224e0dd476e9bbe53cea718ec3d89506.tar.gz | |
* boot/ast.boot (bfCase): Don't introduce temporary for scrutinee
when it is already reduced.
Diffstat (limited to 'src/algebra')
59 files changed, 189 insertions, 189 deletions
diff --git a/src/algebra/strap/ABELGRP.lsp b/src/algebra/strap/ABELGRP.lsp index cd7922b8..76b577bb 100644 --- a/src/algebra/strap/ABELGRP.lsp +++ b/src/algebra/strap/ABELGRP.lsp @@ -4,10 +4,10 @@ (DEFPARAMETER |AbelianGroup;AL| 'NIL) (DEFUN |AbelianGroup;| () - (PROG (#0=#:G1400) + (PROG (#0=#:G1398) (RETURN (PROG1 (LETT #0# - (|sublisV| (PAIR '(#1=#:G1399) (LIST '(|Integer|))) + (|sublisV| (PAIR '(#1=#:G1397) (LIST '(|Integer|))) (|Join| (|CancellationAbelianMonoid|) (|LeftLinearSet| '#1#) (|mkCategory| '|domain| diff --git a/src/algebra/strap/ABELMON.lsp b/src/algebra/strap/ABELMON.lsp index 85ac824d..8c7d5627 100644 --- a/src/algebra/strap/ABELMON.lsp +++ b/src/algebra/strap/ABELMON.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |AbelianMonoid;AL| 'NIL) (DEFUN |AbelianMonoid;| () - (PROG (#0=#:G1399) + (PROG (#0=#:G1397) (RETURN (PROG1 (LETT #0# (|Join| (|AbelianSemiGroup|) diff --git a/src/algebra/strap/ABELSG.lsp b/src/algebra/strap/ABELSG.lsp index fa84d4fa..cd0db00c 100644 --- a/src/algebra/strap/ABELSG.lsp +++ b/src/algebra/strap/ABELSG.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |AbelianSemiGroup;AL| 'NIL) (DEFUN |AbelianSemiGroup;| () - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|Join| (|SetCategory|) diff --git a/src/algebra/strap/ALAGG.lsp b/src/algebra/strap/ALAGG.lsp index 59eceb44..79a6854d 100644 --- a/src/algebra/strap/ALAGG.lsp +++ b/src/algebra/strap/ALAGG.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |AssociationListAggregate;AL| 'NIL) (DEFUN |AssociationListAggregate;| (|t#1| |t#2|) - (PROG (#0=#:G1400) + (PROG (#0=#:G1398) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -14,7 +14,7 @@ (LIST (|devaluate| |t#1|) (|devaluate| |t#2|))) (|sublisV| - (PAIR '(#1=#:G1399) + (PAIR '(#1=#:G1397) (LIST '(|Record| (|:| |key| |t#1|) (|:| |entry| |t#2|)))) (COND @@ -38,9 +38,9 @@ (LIST '|AssociationListAggregate| (|devaluate| |t#1|) (|devaluate| |t#2|))))))) -(DEFUN |AssociationListAggregate| (&REST #0=#:G1403 &AUX #1=#:G1401) +(DEFUN |AssociationListAggregate| (&REST #0=#:G1401 &AUX #1=#:G1399) (DSETQ #1# #0#) - (LET (#2=#:G1402) + (LET (#2=#:G1400) (COND ((SETQ #2# (|assoc| (|devaluateList| #1#) diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index 61b9fc33..5075ccfd 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -151,7 +151,7 @@ (DEFUN |Boolean| () (PROG () (RETURN - (PROG (#0=#:G1425) + (PROG (#0=#:G1423) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|Boolean|) |Boolean|) diff --git a/src/algebra/strap/CABMON.lsp b/src/algebra/strap/CABMON.lsp index 60c3073e..7f0c5d45 100644 --- a/src/algebra/strap/CABMON.lsp +++ b/src/algebra/strap/CABMON.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |CancellationAbelianMonoid;AL| 'NIL) (DEFUN |CancellationAbelianMonoid;| () - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|Join| (|AbelianMonoid|) diff --git a/src/algebra/strap/CHAR.lsp b/src/algebra/strap/CHAR.lsp index 63b98540..e1d85545 100644 --- a/src/algebra/strap/CHAR.lsp +++ b/src/algebra/strap/CHAR.lsp @@ -123,14 +123,14 @@ (DEFUN |CHAR;size;Nni;6| ($) (DECLARE (IGNORE $)) 256) (DEFUN |CHAR;index;Pi$;7| (|n| $) - (PROG (#0=#:G1405) + (PROG (#0=#:G1403) (RETURN (CODE-CHAR (PROG1 (LETT #0# (- |n| 1) |CHAR;index;Pi$;7|) (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#)))))) (DEFUN |CHAR;lookup;$Pi;8| (|c| $) - (PROG (#0=#:G1407) + (PROG (#0=#:G1405) (RETURN (PROG1 (LETT #0# (+ 1 (CHAR-CODE |c|)) |CHAR;lookup;$Pi;8|) (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#))))) @@ -192,7 +192,7 @@ (DEFUN |Character| () (PROG () (RETURN - (PROG (#0=#:G1428) + (PROG (#0=#:G1426) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|Character|) diff --git a/src/algebra/strap/CLAGG-.lsp b/src/algebra/strap/CLAGG-.lsp index 15cd3abb..a8375014 100644 --- a/src/algebra/strap/CLAGG-.lsp +++ b/src/algebra/strap/CLAGG-.lsp @@ -45,7 +45,7 @@ (LENGTH (SPADCALL |c| (|getShellEntry| $ 9)))) (DEFUN |CLAGG-;count;MANni;2| (|f| |c| $) - (PROG (|x| #0=#:G1430 #1=#:G1404 #2=#:G1402 #3=#:G1403) + (PROG (|x| #0=#:G1428 #1=#:G1402 #2=#:G1400 #3=#:G1401) (RETURN (SEQ (PROGN (LETT #3# NIL |CLAGG-;count;MANni;2|) @@ -75,7 +75,7 @@ (COND (#3# #2#) ('T 0))))))) (DEFUN |CLAGG-;any?;MAB;3| (|f| |c| $) - (PROG (|x| #0=#:G1431 #1=#:G1409 #2=#:G1407 #3=#:G1408) + (PROG (|x| #0=#:G1429 #1=#:G1407 #2=#:G1405 #3=#:G1406) (RETURN (SEQ (PROGN (LETT #3# NIL |CLAGG-;any?;MAB;3|) @@ -103,7 +103,7 @@ (COND (#3# #2#) ('T NIL))))))) (DEFUN |CLAGG-;every?;MAB;4| (|f| |c| $) - (PROG (|x| #0=#:G1432 #1=#:G1413 #2=#:G1411 #3=#:G1412) + (PROG (|x| #0=#:G1430 #1=#:G1411 #2=#:G1409 #3=#:G1410) (RETURN (SEQ (PROGN (LETT #3# NIL |CLAGG-;every?;MAB;4|) diff --git a/src/algebra/strap/CLAGG.lsp b/src/algebra/strap/CLAGG.lsp index 0e38f978..ce380a1a 100644 --- a/src/algebra/strap/CLAGG.lsp +++ b/src/algebra/strap/CLAGG.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |Collection;AL| 'NIL) (DEFUN |Collection;| (|t#1|) - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -93,8 +93,8 @@ (|setShellEntry| #0# 0 (LIST '|Collection| (|devaluate| |t#1|))))))) -(DEFUN |Collection| (#0=#:G1399) - (LET (#1=#:G1400) +(DEFUN |Collection| (#0=#:G1397) + (LET (#1=#:G1398) (COND ((SETQ #1# (|assoc| (|devaluate| #0#) |Collection;AL|)) (CDR #1#)) diff --git a/src/algebra/strap/COMRING.lsp b/src/algebra/strap/COMRING.lsp index 765ee131..9857fe0f 100644 --- a/src/algebra/strap/COMRING.lsp +++ b/src/algebra/strap/COMRING.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |CommutativeRing;AL| 'NIL) (DEFUN |CommutativeRing;| () - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|Join| (|Ring|) (|BiModule| '$ '$) diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index 57155b44..5af80d38 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -452,7 +452,7 @@ (FLOAT-DIGITS 0.0)) (DEFUN |DFLOAT;bits;Pi;10| ($) - (PROG (#0=#:G1425) + (PROG (#0=#:G1423) (RETURN (COND ((EQL (FLOAT-RADIX 0.0) 2) (FLOAT-DIGITS 0.0)) @@ -659,7 +659,7 @@ (EXIT |theta|)))))))) (DEFUN |DFLOAT;retract;$F;80| (|x| $) - (PROG (#0=#:G1504) + (PROG (#0=#:G1502) (RETURN (|DFLOAT;rationalApproximation;$2NniF;87| |x| (PROG1 (LETT #0# (- (FLOAT-DIGITS 0.0) 1) @@ -668,7 +668,7 @@ (FLOAT-RADIX 0.0) $)))) (DEFUN |DFLOAT;retractIfCan;$U;81| (|x| $) - (PROG (#0=#:G1509) + (PROG (#0=#:G1507) (RETURN (CONS 0 (|DFLOAT;rationalApproximation;$2NniF;87| |x| @@ -703,7 +703,7 @@ (FLOAT-SIGN 1.0 |x|)) (DEFUN |DFLOAT;manexp| (|x| $) - (PROG (|s| #0=#:G1530 |me| |two53|) + (PROG (|s| #0=#:G1528 |me| |two53|) (RETURN (SEQ (EXIT (COND ((ZEROP |x|) (CONS 0 0)) @@ -737,8 +737,8 @@ #0# (EXIT #0#))))) (DEFUN |DFLOAT;rationalApproximation;$2NniF;87| (|f| |d| |b| $) - (PROG (|#G109| |nu| |ex| BASE #0=#:G1533 |de| |tol| |#G110| |q| |r| - |p2| |q2| #1=#:G1542 |#G111| |#G112| |p0| |p1| |#G113| + (PROG (|#G109| |nu| |ex| BASE #0=#:G1531 |de| |tol| |#G110| |q| |r| + |p2| |q2| #1=#:G1540 |#G111| |#G112| |p0| |p1| |#G113| |#G114| |q0| |q1| |#G115| |#G116| |s| |t|) (RETURN (SEQ (EXIT (SEQ (PROGN @@ -858,7 +858,7 @@ #1# (EXIT #1#))))) (DEFUN |DFLOAT;**;$F$;88| (|x| |r| $) - (PROG (|n| |d| #0=#:G1552) + (PROG (|n| |d| #0=#:G1550) (RETURN (SEQ (EXIT (COND ((ZEROP |x|) @@ -920,7 +920,7 @@ (DEFUN |DoubleFloat| () (PROG () (RETURN - (PROG (#0=#:G1564) + (PROG (#0=#:G1562) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|DoubleFloat|) diff --git a/src/algebra/strap/DIFRING.lsp b/src/algebra/strap/DIFRING.lsp index 83564864..d3d403d7 100644 --- a/src/algebra/strap/DIFRING.lsp +++ b/src/algebra/strap/DIFRING.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |DifferentialRing;AL| 'NIL) (DEFUN |DifferentialRing;| () - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|Join| (|Ring|) diff --git a/src/algebra/strap/DIVRING.lsp b/src/algebra/strap/DIVRING.lsp index 804f4abb..40a7f53a 100644 --- a/src/algebra/strap/DIVRING.lsp +++ b/src/algebra/strap/DIVRING.lsp @@ -4,11 +4,11 @@ (DEFPARAMETER |DivisionRing;AL| 'NIL) (DEFUN |DivisionRing;| () - (PROG (#0=#:G1401) + (PROG (#0=#:G1399) (RETURN (PROG1 (LETT #0# (|sublisV| - (PAIR '(#1=#:G1400) + (PAIR '(#1=#:G1398) (LIST '(|Fraction| (|Integer|)))) (|Join| (|EntireRing|) (|Algebra| '#1#) (|mkCategory| '|domain| diff --git a/src/algebra/strap/ENTIRER.lsp b/src/algebra/strap/ENTIRER.lsp index 76e417cd..bb905363 100644 --- a/src/algebra/strap/ENTIRER.lsp +++ b/src/algebra/strap/ENTIRER.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |EntireRing;AL| 'NIL) (DEFUN |EntireRing;| () - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|Join| (|Ring|) (|BiModule| '$ '$) diff --git a/src/algebra/strap/EUCDOM-.lsp b/src/algebra/strap/EUCDOM-.lsp index 349e80b8..b8aa478a 100644 --- a/src/algebra/strap/EUCDOM-.lsp +++ b/src/algebra/strap/EUCDOM-.lsp @@ -230,7 +230,7 @@ (|getShellEntry| $ 33)))))))))))))))) (DEFUN |EUCDOM-;principalIdeal;LR;9| (|l| $) - (PROG (|uca| |v| |u| #0=#:G1519 |vv| #1=#:G1520) + (PROG (|uca| |v| |u| #0=#:G1517 |vv| #1=#:G1518) (RETURN (SEQ (COND ((SPADCALL |l| NIL (|getShellEntry| $ 42)) @@ -287,7 +287,7 @@ (QVELT |u| 2)))))))))) (DEFUN |EUCDOM-;expressIdealMember;LSU;10| (|l| |z| $) - (PROG (#0=#:G1521 #1=#:G1522 |pid| |q| #2=#:G1523 |v| #3=#:G1524) + (PROG (#0=#:G1519 #1=#:G1520 |pid| |q| #2=#:G1521 |v| #3=#:G1522) (RETURN (SEQ (COND ((SPADCALL |z| (|spadConstant| $ 19) @@ -352,9 +352,9 @@ (EXIT (NREVERSE0 #2#))))))))))))))) (DEFUN |EUCDOM-;multiEuclidean;LSU;11| (|l| |z| $) - (PROG (|n| |l1| |l2| #0=#:G1398 #1=#:G1525 #2=#:G1506 #3=#:G1504 - #4=#:G1505 #5=#:G1399 #6=#:G1526 #7=#:G1509 #8=#:G1507 - #9=#:G1508 |u| |v1| |v2|) + (PROG (|n| |l1| |l2| #0=#:G1396 #1=#:G1523 #2=#:G1504 #3=#:G1502 + #4=#:G1503 #5=#:G1397 #6=#:G1524 #7=#:G1507 #8=#:G1505 + #9=#:G1506 |u| |v1| |v2|) (RETURN (SEQ (LETT |n| (LENGTH |l|) |EUCDOM-;multiEuclidean;LSU;11|) (EXIT (COND diff --git a/src/algebra/strap/EUCDOM.lsp b/src/algebra/strap/EUCDOM.lsp index f9666922..b4b66503 100644 --- a/src/algebra/strap/EUCDOM.lsp +++ b/src/algebra/strap/EUCDOM.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |EuclideanDomain;AL| 'NIL) (DEFUN |EuclideanDomain;| () - (PROG (#0=#:G1415) + (PROG (#0=#:G1413) (RETURN (PROG1 (LETT #0# (|Join| (|PrincipalIdealDomain|) diff --git a/src/algebra/strap/FFIELDC-.lsp b/src/algebra/strap/FFIELDC-.lsp index 33406123..73b5852e 100644 --- a/src/algebra/strap/FFIELDC-.lsp +++ b/src/algebra/strap/FFIELDC-.lsp @@ -125,7 +125,7 @@ (EXIT |e|))))) (DEFUN |FFIELDC-;primitive?;SB;9| (|a| $) - (PROG (|explist| |q| |exp| #0=#:G1514 |equalone|) + (PROG (|explist| |q| |exp| #0=#:G1512 |equalone|) (RETURN (SEQ (COND ((SPADCALL |a| (|getShellEntry| $ 16)) NIL) @@ -158,7 +158,7 @@ (EXIT (NOT |equalone|))))))))) (DEFUN |FFIELDC-;order;SPi;10| (|e| $) - (PROG (|lof| |rec| #0=#:G1515 |primeDivisor| |j| #1=#:G1516 |a| + (PROG (|lof| |rec| #0=#:G1513 |primeDivisor| |j| #1=#:G1514 |a| |goon| |ord|) (RETURN (SEQ (COND @@ -223,7 +223,7 @@ (EXIT |ord|)))))))) (DEFUN |FFIELDC-;discreteLog;SNni;11| (|b| $) - (PROG (|faclist| |gen| |groupord| |f| #0=#:G1517 |fac| |t| #1=#:G1518 + (PROG (|faclist| |gen| |groupord| |f| #0=#:G1515 |fac| |t| #1=#:G1516 |exp| |exptable| |n| |end| |i| |rho| |found| |disc1| |c| |mult| |disclog| |a|) (RETURN @@ -378,8 +378,8 @@ (EXIT |disclog|)))))))))))) (DEFUN |FFIELDC-;discreteLog;2SU;12| (|logbase| |b| $) - (PROG (|groupord| |faclist| |f| #0=#:G1519 |fac| |primroot| |t| - #1=#:G1520 |exp| |rhoHelp| #2=#:G1500 |rho| |disclog| + (PROG (|groupord| |faclist| |f| #0=#:G1517 |fac| |primroot| |t| + #1=#:G1518 |exp| |rhoHelp| #2=#:G1498 |rho| |disclog| |mult| |a|) (RETURN (SEQ (EXIT (COND @@ -507,7 +507,7 @@ (SPADCALL |f| (|getShellEntry| $ 100))) (DEFUN |FFIELDC-;factorSquareFreePolynomial| (|f| $) - (PROG (|flist| |u| #0=#:G1521 #1=#:G1510 #2=#:G1508 #3=#:G1509) + (PROG (|flist| |u| #0=#:G1519 #1=#:G1508 #2=#:G1506 #3=#:G1507) (RETURN (SEQ (COND ((SPADCALL |f| (|spadConstant| $ 101) diff --git a/src/algebra/strap/FFIELDC.lsp b/src/algebra/strap/FFIELDC.lsp index df1d9b1c..3a31837f 100644 --- a/src/algebra/strap/FFIELDC.lsp +++ b/src/algebra/strap/FFIELDC.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |FiniteFieldCategory;AL| 'NIL) (DEFUN |FiniteFieldCategory;| () - (PROG (#0=#:G1406) + (PROG (#0=#:G1404) (RETURN (PROG1 (LETT #0# (|Join| (|FieldOfPrimeCharacteristic|) (|Finite|) diff --git a/src/algebra/strap/FPS-.lsp b/src/algebra/strap/FPS-.lsp index 9cf0ec3d..772c59fc 100644 --- a/src/algebra/strap/FPS-.lsp +++ b/src/algebra/strap/FPS-.lsp @@ -12,7 +12,7 @@ (|getShellEntry| $ 10))) (DEFUN |FPS-;digits;Pi;2| ($) - (PROG (#0=#:G1402) + (PROG (#0=#:G1400) (RETURN (PROG1 (LETT #0# (MAX 1 diff --git a/src/algebra/strap/FPS.lsp b/src/algebra/strap/FPS.lsp index f6d25aef..36d099b4 100644 --- a/src/algebra/strap/FPS.lsp +++ b/src/algebra/strap/FPS.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |FloatingPointSystem;AL| 'NIL) (DEFUN |FloatingPointSystem;| () - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|Join| (|RealNumberSystem|) diff --git a/src/algebra/strap/GCDDOM-.lsp b/src/algebra/strap/GCDDOM-.lsp index 678f4829..19d50170 100644 --- a/src/algebra/strap/GCDDOM-.lsp +++ b/src/algebra/strap/GCDDOM-.lsp @@ -43,7 +43,7 @@ (|getShellEntry| $ 19))) (DEFUN |GCDDOM-;gcdPolynomial;3Sup;4| (|p1| |p2| $) - (PROG (|e2| |e1| |c1| |p| |c2| #0=#:G1419) + (PROG (|e2| |e1| |c1| |p| |c2| #0=#:G1417) (RETURN (SEQ (COND ((SPADCALL |p1| (|getShellEntry| $ 24)) diff --git a/src/algebra/strap/GCDDOM.lsp b/src/algebra/strap/GCDDOM.lsp index cfddb57a..f3866954 100644 --- a/src/algebra/strap/GCDDOM.lsp +++ b/src/algebra/strap/GCDDOM.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |GcdDomain;AL| 'NIL) (DEFUN |GcdDomain;| () - (PROG (#0=#:G1404) + (PROG (#0=#:G1402) (RETURN (PROG1 (LETT #0# (|Join| (|IntegralDomain|) diff --git a/src/algebra/strap/HOAGG-.lsp b/src/algebra/strap/HOAGG-.lsp index 876ac7a3..f5a748ef 100644 --- a/src/algebra/strap/HOAGG-.lsp +++ b/src/algebra/strap/HOAGG-.lsp @@ -45,7 +45,7 @@ (LENGTH (SPADCALL |c| (|getShellEntry| $ 15)))) (DEFUN |HOAGG-;any?;MAB;3| (|f| |c| $) - (PROG (|x| #0=#:G1429 #1=#:G1407 #2=#:G1405 #3=#:G1406) + (PROG (|x| #0=#:G1427 #1=#:G1405 #2=#:G1403 #3=#:G1404) (RETURN (SEQ (PROGN (LETT #3# NIL |HOAGG-;any?;MAB;3|) @@ -73,7 +73,7 @@ (COND (#3# #2#) ('T NIL))))))) (DEFUN |HOAGG-;every?;MAB;4| (|f| |c| $) - (PROG (|x| #0=#:G1430 #1=#:G1412 #2=#:G1410 #3=#:G1411) + (PROG (|x| #0=#:G1428 #1=#:G1410 #2=#:G1408 #3=#:G1409) (RETURN (SEQ (PROGN (LETT #3# NIL |HOAGG-;every?;MAB;4|) @@ -101,7 +101,7 @@ (COND (#3# #2#) ('T T))))))) (DEFUN |HOAGG-;count;MANni;5| (|f| |c| $) - (PROG (|x| #0=#:G1431 #1=#:G1416 #2=#:G1414 #3=#:G1415) + (PROG (|x| #0=#:G1429 #1=#:G1414 #2=#:G1412 #3=#:G1413) (RETURN (SEQ (PROGN (LETT #3# NIL |HOAGG-;count;MANni;5|) @@ -150,8 +150,8 @@ (|getShellEntry| (|getShellEntry| $$ 0) 30))) (DEFUN |HOAGG-;=;2AB;9| (|x| |y| $) - (PROG (|b| #0=#:G1433 |a| #1=#:G1432 #2=#:G1423 #3=#:G1421 - #4=#:G1422) + (PROG (|b| #0=#:G1431 |a| #1=#:G1430 #2=#:G1421 #3=#:G1419 + #4=#:G1420) (RETURN (SEQ (COND ((SPADCALL |x| (SPADCALL |y| (|getShellEntry| $ 35)) @@ -195,7 +195,7 @@ ('T NIL)))))) (DEFUN |HOAGG-;coerce;AOf;10| (|x| $) - (PROG (#0=#:G1434 |a| #1=#:G1435) + (PROG (#0=#:G1432 |a| #1=#:G1433) (RETURN (SEQ (SPADCALL (SPADCALL diff --git a/src/algebra/strap/HOAGG.lsp b/src/algebra/strap/HOAGG.lsp index ca81df7e..97d2ffb6 100644 --- a/src/algebra/strap/HOAGG.lsp +++ b/src/algebra/strap/HOAGG.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |HomogeneousAggregate;AL| 'NIL) (DEFUN |HomogeneousAggregate;| (|t#1|) - (PROG (#0=#:G1399) + (PROG (#0=#:G1397) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -100,8 +100,8 @@ (|setShellEntry| #0# 0 (LIST '|HomogeneousAggregate| (|devaluate| |t#1|))))))) -(DEFUN |HomogeneousAggregate| (#0=#:G1400) - (LET (#1=#:G1401) +(DEFUN |HomogeneousAggregate| (#0=#:G1398) + (LET (#1=#:G1399) (COND ((SETQ #1# (|assoc| (|devaluate| #0#) |HomogeneousAggregate;AL|)) (CDR #1#)) diff --git a/src/algebra/strap/ILIST.lsp b/src/algebra/strap/ILIST.lsp index 1d888979..397baaa5 100644 --- a/src/algebra/strap/ILIST.lsp +++ b/src/algebra/strap/ILIST.lsp @@ -258,7 +258,7 @@ (|getShellEntry| $ 49))))))))))) (DEFUN |ILIST;=;2$B;22| (|x| |y| $) - (PROG (#0=#:G1470) + (PROG (#0=#:G1468) (RETURN (SEQ (EXIT (COND ((EQ |x| |y|) T) @@ -307,7 +307,7 @@ (EXIT (STRCONC |s| " \\right]")))))) (DEFUN |ILIST;member?;S$B;24| (|s| |x| $) - (PROG (#0=#:G1478) + (PROG (#0=#:G1476) (RETURN (SEQ (EXIT (SEQ (SEQ G190 (COND ((NULL (NOT (NULL |x|))) (GO G191))) @@ -420,7 +420,7 @@ (EXIT |r|)))))))) (DEFUN |ILIST;split!;$I$;29| (|p| |n| $) - (PROG (#0=#:G1507 |q|) + (PROG (#0=#:G1505 |q|) (RETURN (SEQ (COND ((< |n| 1) (|error| "index out of range")) @@ -437,7 +437,7 @@ (QRPLACD |p| NIL) (EXIT |q|)))))))) (DEFUN |ILIST;mergeSort| (|f| |p| |n| $) - (PROG (#0=#:G1511 |l| |q|) + (PROG (#0=#:G1509 |l| |q|) (RETURN (SEQ (COND ((EQL |n| 2) @@ -464,11 +464,11 @@ |ILIST;mergeSort|) (EXIT (|ILIST;merge!;M3$;28| |f| |p| |q| $)))))))))) -(DEFUN |IndexedList| (&REST #0=#:G1523 &AUX #1=#:G1521) +(DEFUN |IndexedList| (&REST #0=#:G1521 &AUX #1=#:G1519) (DSETQ #1# #0#) (PROG () (RETURN - (PROG (#2=#:G1522) + (PROG (#2=#:G1520) (RETURN (COND ((LETT #2# diff --git a/src/algebra/strap/INS-.lsp b/src/algebra/strap/INS-.lsp index 17951fda..d9e55191 100644 --- a/src/algebra/strap/INS-.lsp +++ b/src/algebra/strap/INS-.lsp @@ -120,7 +120,7 @@ (DEFUN |INS-;rational?;SB;8| (|x| $) (DECLARE (IGNORE $)) T) (DEFUN |INS-;euclideanSize;SNni;9| (|x| $) - (PROG (#0=#:G1426 #1=#:G1427) + (PROG (#0=#:G1424 #1=#:G1425) (RETURN (COND ((SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 27)) @@ -279,7 +279,7 @@ ('T |c1|))))))) (DEFUN |INS-;powmod;4S;29| (|x| |n| |p| $) - (PROG (|y| #0=#:G1484 |z|) + (PROG (|y| #0=#:G1482 |z|) (RETURN (SEQ (EXIT (SEQ (COND ((SPADCALL |x| (|getShellEntry| $ 85)) diff --git a/src/algebra/strap/INS.lsp b/src/algebra/strap/INS.lsp index dd9be9b6..ef6261ca 100644 --- a/src/algebra/strap/INS.lsp +++ b/src/algebra/strap/INS.lsp @@ -4,12 +4,12 @@ (DEFPARAMETER |IntegerNumberSystem;AL| 'NIL) (DEFUN |IntegerNumberSystem;| () - (PROG (#0=#:G1415) + (PROG (#0=#:G1413) (RETURN (PROG1 (LETT #0# (|sublisV| - (PAIR '(#1=#:G1409 #2=#:G1410 #3=#:G1411 - #4=#:G1412 #5=#:G1413 #6=#:G1414) + (PAIR '(#1=#:G1407 #2=#:G1408 #3=#:G1409 + #4=#:G1410 #5=#:G1411 #6=#:G1412) (LIST '(|Integer|) '(|Integer|) '(|Integer|) '(|InputForm|) '(|Pattern| (|Integer|)) diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp index bee3b83c..39bb22ff 100644 --- a/src/algebra/strap/INT.lsp +++ b/src/algebra/strap/INT.lsp @@ -472,7 +472,7 @@ (SPADCALL |p| (|getShellEntry| $ 107))) (DEFUN |INT;factorPolynomial| (|p| $) - (PROG (|pp| #0=#:G1500) + (PROG (|pp| #0=#:G1498) (RETURN (SEQ (LETT |pp| (SPADCALL |p| (|getShellEntry| $ 108)) |INT;factorPolynomial|) @@ -515,7 +515,7 @@ (DEFUN |Integer| () (PROG () (RETURN - (PROG (#0=#:G1525) + (PROG (#0=#:G1523) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|Integer|) |Integer|) diff --git a/src/algebra/strap/INTDOM.lsp b/src/algebra/strap/INTDOM.lsp index 1b0a0fcd..383d7838 100644 --- a/src/algebra/strap/INTDOM.lsp +++ b/src/algebra/strap/INTDOM.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |IntegralDomain;AL| 'NIL) (DEFUN |IntegralDomain;| () - (PROG (#0=#:G1404) + (PROG (#0=#:G1402) (RETURN (PROG1 (LETT #0# (|Join| (|CommutativeRing|) (|Algebra| '$) diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp index 0e14d2ed..a3c23c36 100644 --- a/src/algebra/strap/ISTRING.lsp +++ b/src/algebra/strap/ISTRING.lsp @@ -181,8 +181,8 @@ (STRCONC "\\mbox{``" (STRCONC |s| "''}"))) (DEFUN |ISTRING;replace;$Us2$;15| (|s| |sg| |t| $) - (PROG (|l| |m| |n| |h| #0=#:G1439 |r| #1=#:G1537 #2=#:G1538 |i| - #3=#:G1539 |k|) + (PROG (|l| |m| |n| |h| #0=#:G1437 |r| #1=#:G1535 #2=#:G1536 |i| + #3=#:G1537 |k|) (RETURN (SEQ (LETT |l| (- (SPADCALL |sg| (|getShellEntry| $ 44)) @@ -254,7 +254,7 @@ (EXIT |c|)))))) (DEFUN |ISTRING;substring?;2$IB;17| (|part| |whole| |startpos| $) - (PROG (|np| |nw| |iw| |ip| #0=#:G1540 #1=#:G1453 #2=#:G1449) + (PROG (|np| |nw| |iw| |ip| #0=#:G1538 #1=#:G1451 #2=#:G1447) (RETURN (SEQ (EXIT (SEQ (LETT |np| (QCSIZE |part|) |ISTRING;substring?;2$IB;17|) @@ -323,7 +323,7 @@ ('T (+ |r| (|getShellEntry| $ 6))))))))))))) (DEFUN |ISTRING;position;C$2I;19| (|c| |t| |startpos| $) - (PROG (|r| #0=#:G1541 #1=#:G1463) + (PROG (|r| #0=#:G1539 #1=#:G1461) (RETURN (SEQ (EXIT (SEQ (LETT |startpos| (- |startpos| (|getShellEntry| $ 6)) @@ -359,7 +359,7 @@ #1# (EXIT #1#))))) (DEFUN |ISTRING;position;Cc$2I;20| (|cc| |t| |startpos| $) - (PROG (|r| #0=#:G1542 #1=#:G1469) + (PROG (|r| #0=#:G1540 #1=#:G1467) (RETURN (SEQ (EXIT (SEQ (LETT |startpos| (- |startpos| (|getShellEntry| $ 6)) @@ -570,7 +570,7 @@ (SPADCALL |i| |n| (|getShellEntry| $ 24)) $)))))) (DEFUN |ISTRING;rightTrim;$C$;26| (|s| |c| $) - (PROG (|j| #0=#:G1543) + (PROG (|j| #0=#:G1541) (RETURN (SEQ (SEQ (LETT |j| (SPADCALL |s| (|getShellEntry| $ 47)) |ISTRING;rightTrim;$C$;26|) @@ -591,7 +591,7 @@ $)))))) (DEFUN |ISTRING;rightTrim;$Cc$;27| (|s| |cc| $) - (PROG (|j| #0=#:G1544) + (PROG (|j| #0=#:G1542) (RETURN (SEQ (SEQ (LETT |j| (SPADCALL |s| (|getShellEntry| $ 47)) |ISTRING;rightTrim;$Cc$;27|) @@ -612,7 +612,7 @@ $)))))) (DEFUN |ISTRING;concat;L$;28| (|l| $) - (PROG (#0=#:G1545 #1=#:G1498 #2=#:G1496 #3=#:G1497 |t| |s| #4=#:G1546 + (PROG (#0=#:G1543 #1=#:G1496 #2=#:G1494 #3=#:G1495 |t| |s| #4=#:G1544 |i|) (RETURN (SEQ (LETT |t| @@ -734,8 +734,8 @@ (|stringMatch| |pattern| |target| (CHARACTER |wildcard|))) (DEFUN |ISTRING;match?;2$CB;34| (|pattern| |target| |dontcare| $) - (PROG (|n| |m| #0=#:G1517 #1=#:G1520 |s| #2=#:G1521 #3=#:G1530 |i| - |p| #4=#:G1522 |q|) + (PROG (|n| |m| #0=#:G1515 #1=#:G1518 |s| #2=#:G1519 #3=#:G1528 |i| + |p| #4=#:G1520 |q|) (RETURN (SEQ (EXIT (SEQ (LETT |n| (SPADCALL |pattern| (|getShellEntry| $ 47)) @@ -849,10 +849,10 @@ (EXIT T))))))) #3# (EXIT #3#))))) -(DEFUN |IndexedString| (#0=#:G1547) +(DEFUN |IndexedString| (#0=#:G1545) (PROG () (RETURN - (PROG (#1=#:G1548) + (PROG (#1=#:G1546) (RETURN (COND ((LETT #1# diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp index 544d88fe..09c53e63 100644 --- a/src/algebra/strap/LIST.lsp +++ b/src/algebra/strap/LIST.lsp @@ -155,7 +155,7 @@ (EXIT |lu|))))) (DEFUN |LIST;convert;$If;13| (|x| $) - (PROG (#0=#:G1444 |a| #1=#:G1445) + (PROG (#0=#:G1442 |a| #1=#:G1443) (RETURN (SEQ (SPADCALL (CONS (SPADCALL '|construct| (|getShellEntry| $ 47)) @@ -179,10 +179,10 @@ (GO G190) G191 (EXIT (NREVERSE0 #0#))))) (|getShellEntry| $ 52)))))) -(DEFUN |List| (#0=#:G1446) +(DEFUN |List| (#0=#:G1444) (PROG () (RETURN - (PROG (#1=#:G1447) + (PROG (#1=#:G1445) (RETURN (COND ((LETT #1# diff --git a/src/algebra/strap/LNAGG-.lsp b/src/algebra/strap/LNAGG-.lsp index d91e5ede..b8aa5086 100644 --- a/src/algebra/strap/LNAGG-.lsp +++ b/src/algebra/strap/LNAGG-.lsp @@ -21,7 +21,7 @@ |LNAGG-;maxIndex;AI;6|)) (DEFUN |LNAGG-;indices;AL;1| (|a| $) - (PROG (#0=#:G1411 |i| #1=#:G1412) + (PROG (#0=#:G1409 |i| #1=#:G1410) (RETURN (SEQ (PROGN (LETT #0# NIL |LNAGG-;indices;AL;1|) diff --git a/src/algebra/strap/LNAGG.lsp b/src/algebra/strap/LNAGG.lsp index a2b7f4cc..04e85650 100644 --- a/src/algebra/strap/LNAGG.lsp +++ b/src/algebra/strap/LNAGG.lsp @@ -6,13 +6,13 @@ (DEFPARAMETER |LinearAggregate;AL| 'NIL) (DEFUN |LinearAggregate;| (|t#1|) - (PROG (#0=#:G1400) + (PROG (#0=#:G1398) (RETURN (PROG1 (LETT #0# (|sublisV| (PAIR '(|t#1|) (LIST (|devaluate| |t#1|))) (|sublisV| - (PAIR '(#1=#:G1399) (LIST '(|Integer|))) + (PAIR '(#1=#:G1397) (LIST '(|Integer|))) (COND (|LinearAggregate;CAT|) ('T @@ -70,8 +70,8 @@ (|setShellEntry| #0# 0 (LIST '|LinearAggregate| (|devaluate| |t#1|))))))) -(DEFUN |LinearAggregate| (#0=#:G1401) - (LET (#1=#:G1402) +(DEFUN |LinearAggregate| (#0=#:G1399) + (LET (#1=#:G1400) (COND ((SETQ #1# (|assoc| (|devaluate| #0#) |LinearAggregate;AL|)) (CDR #1#)) diff --git a/src/algebra/strap/LSAGG-.lsp b/src/algebra/strap/LSAGG-.lsp index c345ca12..bf18f9db 100644 --- a/src/algebra/strap/LSAGG-.lsp +++ b/src/algebra/strap/LSAGG-.lsp @@ -230,7 +230,7 @@ (EXIT |r|)))))))) (DEFUN |LSAGG-;insert!;SAIA;7| (|s| |x| |i| $) - (PROG (|m| #0=#:G1465 |y| |z|) + (PROG (|m| #0=#:G1463 |y| |z|) (RETURN (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 33)) |LSAGG-;insert!;SAIA;7|) @@ -257,7 +257,7 @@ (EXIT |x|))))))))) (DEFUN |LSAGG-;insert!;2AIA;8| (|w| |x| |i| $) - (PROG (|m| #0=#:G1469 |y| |z|) + (PROG (|m| #0=#:G1467 |y| |z|) (RETURN (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 33)) |LSAGG-;insert!;2AIA;8|) @@ -336,7 +336,7 @@ (EXIT |x|))))))))) (DEFUN |LSAGG-;delete!;AIA;10| (|x| |i| $) - (PROG (|m| #0=#:G1481 |y|) + (PROG (|m| #0=#:G1479 |y|) (RETURN (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 33)) |LSAGG-;delete!;AIA;10|) @@ -360,7 +360,7 @@ (EXIT |x|))))))))) (DEFUN |LSAGG-;delete!;AUsA;11| (|x| |i| $) - (PROG (|l| |m| |h| #0=#:G1486 #1=#:G1487 |t| #2=#:G1488) + (PROG (|l| |m| |h| #0=#:G1484 #1=#:G1485 |t| #2=#:G1486) (RETURN (SEQ (LETT |l| (SPADCALL |i| (|getShellEntry| $ 46)) |LSAGG-;delete!;AUsA;11|) @@ -453,7 +453,7 @@ ('T |k|))))))) (DEFUN |LSAGG-;mergeSort| (|f| |p| |n| $) - (PROG (#0=#:G1508 |l| |q|) + (PROG (#0=#:G1506 |l| |q|) (RETURN (SEQ (COND ((EQL |n| 2) @@ -487,7 +487,7 @@ (|getShellEntry| $ 23))))))))))) (DEFUN |LSAGG-;sorted?;MAB;15| (|f| |l| $) - (PROG (#0=#:G1517 |p|) + (PROG (#0=#:G1515 |p|) (RETURN (SEQ (EXIT (COND ((SPADCALL |l| (|getShellEntry| $ 16)) T) @@ -667,7 +667,7 @@ (EXIT (SPADCALL |y| (|getShellEntry| $ 57))))))) (DEFUN |LSAGG-;copyInto!;2AIA;22| (|y| |x| |s| $) - (PROG (|m| #0=#:G1546 |z|) + (PROG (|m| #0=#:G1544 |z|) (RETURN (SEQ (LETT |m| (SPADCALL |y| (|getShellEntry| $ 33)) |LSAGG-;copyInto!;2AIA;22|) @@ -711,7 +711,7 @@ (EXIT |y|))))))))) (DEFUN |LSAGG-;position;SA2I;23| (|w| |x| |s| $) - (PROG (|m| #0=#:G1553 |k|) + (PROG (|m| #0=#:G1551 |k|) (RETURN (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 33)) |LSAGG-;position;SA2I;23|) @@ -787,7 +787,7 @@ (|getShellEntry| $ 76)))))) (DEFUN |LSAGG-;<;2AB;25| (|x| |y| $) - (PROG (#0=#:G1567) + (PROG (#0=#:G1565) (RETURN (SEQ (EXIT (SEQ (SEQ G190 (COND diff --git a/src/algebra/strap/LSAGG.lsp b/src/algebra/strap/LSAGG.lsp index b5b6f97d..03de8f30 100644 --- a/src/algebra/strap/LSAGG.lsp +++ b/src/algebra/strap/LSAGG.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |ListAggregate;AL| 'NIL) (DEFUN |ListAggregate;| (|t#1|) - (PROG (#0=#:G1431) + (PROG (#0=#:G1429) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -27,8 +27,8 @@ (|setShellEntry| #0# 0 (LIST '|ListAggregate| (|devaluate| |t#1|))))))) -(DEFUN |ListAggregate| (#0=#:G1432) - (LET (#1=#:G1433) +(DEFUN |ListAggregate| (#0=#:G1430) + (LET (#1=#:G1431) (COND ((SETQ #1# (|assoc| (|devaluate| #0#) |ListAggregate;AL|)) (CDR #1#)) diff --git a/src/algebra/strap/MONOID.lsp b/src/algebra/strap/MONOID.lsp index 4aead1bb..538e9b0e 100644 --- a/src/algebra/strap/MONOID.lsp +++ b/src/algebra/strap/MONOID.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |Monoid;AL| 'NIL) (DEFUN |Monoid;| () - (PROG (#0=#:G1400) + (PROG (#0=#:G1398) (RETURN (PROG1 (LETT #0# (|Join| (|SemiGroup|) diff --git a/src/algebra/strap/MTSCAT.lsp b/src/algebra/strap/MTSCAT.lsp index da94918a..52c28886 100644 --- a/src/algebra/strap/MTSCAT.lsp +++ b/src/algebra/strap/MTSCAT.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |MultivariateTaylorSeriesCategory;AL| 'NIL) (DEFUN |MultivariateTaylorSeriesCategory;| (|t#1| |t#2|) - (PROG (#0=#:G1400) + (PROG (#0=#:G1398) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -14,7 +14,7 @@ (LIST (|devaluate| |t#1|) (|devaluate| |t#2|))) (|sublisV| - (PAIR '(#1=#:G1399) + (PAIR '(#1=#:G1397) (LIST '(|IndexedExponents| |t#2|))) (COND (|MultivariateTaylorSeriesCategory;CAT|) @@ -89,9 +89,9 @@ (|devaluate| |t#1|) (|devaluate| |t#2|))))))) (DEFUN |MultivariateTaylorSeriesCategory| - (&REST #0=#:G1403 &AUX #1=#:G1401) + (&REST #0=#:G1401 &AUX #1=#:G1399) (DSETQ #1# #0#) - (LET (#2=#:G1402) + (LET (#2=#:G1400) (COND ((SETQ #2# (|assoc| (|devaluateList| #1#) diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp index 09094de7..8ec72966 100644 --- a/src/algebra/strap/NNI.lsp +++ b/src/algebra/strap/NNI.lsp @@ -44,7 +44,7 @@ (DEFUN |NonNegativeInteger| () (PROG () (RETURN - (PROG (#0=#:G1410) + (PROG (#0=#:G1408) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|NonNegativeInteger|) diff --git a/src/algebra/strap/OINTDOM.lsp b/src/algebra/strap/OINTDOM.lsp index c7f20569..20250a95 100644 --- a/src/algebra/strap/OINTDOM.lsp +++ b/src/algebra/strap/OINTDOM.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |OrderedIntegralDomain;AL| 'NIL) (DEFUN |OrderedIntegralDomain;| () - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|Join| (|IntegralDomain|) (|OrderedRing|)) |OrderedIntegralDomain|) diff --git a/src/algebra/strap/ORDRING.lsp b/src/algebra/strap/ORDRING.lsp index 8fccdd4c..c5109a0a 100644 --- a/src/algebra/strap/ORDRING.lsp +++ b/src/algebra/strap/ORDRING.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |OrderedRing;AL| 'NIL) (DEFUN |OrderedRing;| () - (PROG (#0=#:G1404) + (PROG (#0=#:G1402) (RETURN (PROG1 (LETT #0# (|Join| (|OrderedAbelianGroup|) (|Ring|) (|Monoid|) diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp index 99e80e06..9f6d60da 100644 --- a/src/algebra/strap/OUTFORM.lsp +++ b/src/algebra/strap/OUTFORM.lsp @@ -624,7 +624,7 @@ (|OUTFORM;rspace;2I$;30| |n| (- |m| 1) $) $)))) (DEFUN |OUTFORM;matrix;L$;31| (|ll| $) - (PROG (#0=#:G1554 |l| #1=#:G1555 |lv|) + (PROG (#0=#:G1552 |l| #1=#:G1553 |lv|) (RETURN (SEQ (LETT |lv| (PROGN @@ -658,7 +658,7 @@ (CONS 'AGGSET |l|)) (DEFUN |OUTFORM;blankSeparate;L$;35| (|l| $) - (PROG (|c| |u| #0=#:G1556 |l1|) + (PROG (|c| |u| #0=#:G1554 |l1|) (RETURN (SEQ (LETT |c| 'CONCATB |OUTFORM;blankSeparate;L$;35|) (LETT |l1| NIL |OUTFORM;blankSeparate;L$;35|) @@ -841,7 +841,7 @@ (DEFUN |OUTFORM;empty;$;73| ($) (DECLARE (IGNORE $)) (LIST 'NOTHING)) (DEFUN |OUTFORM;infix?;$B;74| (|a| $) - (PROG (#0=#:G1497 |e|) + (PROG (#0=#:G1495 |e|) (RETURN (SEQ (EXIT (SEQ (LETT |e| (COND @@ -1013,7 +1013,7 @@ (DEFUN |OutputForm| () (PROG () (RETURN - (PROG (#0=#:G1558) + (PROG (#0=#:G1556) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|OutputForm|) diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp index ec59ac28..4365f9eb 100644 --- a/src/algebra/strap/PI.lsp +++ b/src/algebra/strap/PI.lsp @@ -7,7 +7,7 @@ (DEFUN |PositiveInteger| () (PROG () (RETURN - (PROG (#0=#:G1402) + (PROG (#0=#:G1400) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|PositiveInteger|) diff --git a/src/algebra/strap/POLYCAT-.lsp b/src/algebra/strap/POLYCAT-.lsp index 3452900c..e3cc7b35 100644 --- a/src/algebra/strap/POLYCAT-.lsp +++ b/src/algebra/strap/POLYCAT-.lsp @@ -142,8 +142,8 @@ |POLYCAT-;convert;SIf;43|)) (DEFUN |POLYCAT-;eval;SLS;1| (|p| |l| $) - (PROG (#0=#:G1692 #1=#:G1428 #2=#:G1693 #3=#:G1694 |lvar| #4=#:G1695 - |e| #5=#:G1696) + (PROG (#0=#:G1690 #1=#:G1426 #2=#:G1691 #3=#:G1692 |lvar| #4=#:G1693 + |e| #5=#:G1694) (RETURN (SEQ (COND ((NULL |l|) |p|) @@ -256,7 +256,7 @@ ('T (CONS 0 |l|)))))) (DEFUN |POLYCAT-;isTimes;SU;4| (|p| $) - (PROG (|lv| #0=#:G1697 |v| #1=#:G1698 |l| |r|) + (PROG (|lv| #0=#:G1695 |v| #1=#:G1696 |l| |r|) (RETURN (SEQ (COND ((OR (NULL (LETT |lv| @@ -358,7 +358,7 @@ (CDR |lv|) (CDR |ln|) (|getShellEntry| $ 70))))) (DEFUN |POLYCAT-;retract;SVarSet;9| (|p| $) - (PROG (#0=#:G1479 |q|) + (PROG (#0=#:G1477 |q|) (RETURN (SEQ (LETT |q| (PROG2 (LETT #0# (SPADCALL |p| (|getShellEntry| $ 53)) @@ -374,7 +374,7 @@ ('T (|error| "Polynomial is not a single variable")))))))) (DEFUN |POLYCAT-;retractIfCan;SU;10| (|p| $) - (PROG (|q| #0=#:G1487) + (PROG (|q| #0=#:G1485) (RETURN (SEQ (EXIT (SEQ (SEQ (LETT |q| (SPADCALL |p| (|getShellEntry| $ 53)) @@ -398,7 +398,7 @@ (|getShellEntry| $ 76))) (DEFUN |POLYCAT-;primitiveMonomials;SL;12| (|p| $) - (PROG (#0=#:G1699 |q| #1=#:G1700) + (PROG (#0=#:G1697 |q| #1=#:G1698) (RETURN (SEQ (PROGN (LETT #0# NIL |POLYCAT-;primitiveMonomials;SL;12|) @@ -420,7 +420,7 @@ (GO G190) G191 (EXIT (NREVERSE0 #0#)))))))) (DEFUN |POLYCAT-;totalDegree;SNni;13| (|p| $) - (PROG (#0=#:G1493 |d| |u|) + (PROG (#0=#:G1491 |d| |u|) (RETURN (SEQ (COND ((SPADCALL |p| (|getShellEntry| $ 78)) 0) @@ -460,7 +460,7 @@ (EXIT |d|)))))))) (DEFUN |POLYCAT-;totalDegree;SLNni;14| (|p| |lv| $) - (PROG (#0=#:G1501 |v| |w| |d| |u|) + (PROG (#0=#:G1499 |v| |w| |d| |u|) (RETURN (SEQ (COND ((SPADCALL |p| (|getShellEntry| $ 78)) 0) @@ -517,7 +517,7 @@ (|getShellEntry| $ 96))) (DEFUN |POLYCAT-;allMonoms| (|l| $) - (PROG (#0=#:G1701 |p| #1=#:G1702) + (PROG (#0=#:G1699 |p| #1=#:G1700) (RETURN (SEQ (SPADCALL (SPADCALL @@ -543,7 +543,7 @@ (|getShellEntry| $ 100)))))) (DEFUN |POLYCAT-;P2R| (|p| |b| |n| $) - (PROG (|w| |bj| #0=#:G1704 |i| #1=#:G1703) + (PROG (|w| |bj| #0=#:G1702 |i| #1=#:G1701) (RETURN (SEQ (LETT |w| (SPADCALL |n| (|spadConstant| $ 28) @@ -573,7 +573,7 @@ (EXIT |w|))))) (DEFUN |POLYCAT-;eq2R| (|l| |b| $) - (PROG (#0=#:G1705 |bj| #1=#:G1706 #2=#:G1707 |p| #3=#:G1708) + (PROG (#0=#:G1703 |bj| #1=#:G1704 #2=#:G1705 |p| #3=#:G1706) (RETURN (SEQ (SPADCALL (PROGN @@ -616,7 +616,7 @@ (|getShellEntry| $ 111)))))) (DEFUN |POLYCAT-;reducedSystem;MM;20| (|m| $) - (PROG (#0=#:G1709 |r| #1=#:G1710 |b| #2=#:G1711 |bj| #3=#:G1712 |d| + (PROG (#0=#:G1707 |r| #1=#:G1708 |b| #2=#:G1709 |bj| #3=#:G1710 |d| |mm| |l|) (RETURN (SEQ (LETT |l| (SPADCALL |m| (|getShellEntry| $ 114)) @@ -690,7 +690,7 @@ (EXIT |mm|))))) (DEFUN |POLYCAT-;reducedSystem;MVR;21| (|m| |v| $) - (PROG (#0=#:G1713 |s| #1=#:G1714 |b| #2=#:G1715 |bj| #3=#:G1716 |d| + (PROG (#0=#:G1711 |s| #1=#:G1712 |b| #2=#:G1713 |bj| #3=#:G1714 |d| |n| |mm| |w| |l| |r|) (RETURN (SEQ (LETT |l| (SPADCALL |m| (|getShellEntry| $ 114)) @@ -794,8 +794,8 @@ (SPADCALL |pp| (|getShellEntry| $ 146))) (DEFUN |POLYCAT-;factor;SF;26| (|p| $) - (PROG (|v| |ansR| #0=#:G1717 |w| #1=#:G1718 |up| |ansSUP| #2=#:G1719 - |ww| #3=#:G1720) + (PROG (|v| |ansR| #0=#:G1715 |w| #1=#:G1716 |up| |ansSUP| #2=#:G1717 + |ww| #3=#:G1718) (RETURN (SEQ (LETT |v| (SPADCALL |p| (|getShellEntry| $ 53)) |POLYCAT-;factor;SF;26|) @@ -894,13 +894,13 @@ (|getShellEntry| $ 159))))))))))) (DEFUN |POLYCAT-;conditionP;MU;27| (|mat| $) - (PROG (|ll| #0=#:G1721 |z| #1=#:G1722 |ch| |l| #2=#:G1723 #3=#:G1724 - #4=#:G1584 #5=#:G1582 #6=#:G1583 #7=#:G1725 |vars| |degs| - #8=#:G1726 |d| #9=#:G1727 |nd| #10=#:G1611 #11=#:G1591 - |deg1| |redmons| #12=#:G1728 |v| #13=#:G1730 |u| - #14=#:G1729 |llR| |monslist| |ans| #15=#:G1612 |mons| - #16=#:G1731 |m| #17=#:G1732 |i| #18=#:G1607 #19=#:G1605 - #20=#:G1606) + (PROG (|ll| #0=#:G1719 |z| #1=#:G1720 |ch| |l| #2=#:G1721 #3=#:G1722 + #4=#:G1582 #5=#:G1580 #6=#:G1581 #7=#:G1723 |vars| |degs| + #8=#:G1724 |d| #9=#:G1725 |nd| #10=#:G1609 #11=#:G1589 + |deg1| |redmons| #12=#:G1726 |v| #13=#:G1728 |u| + #14=#:G1727 |llR| |monslist| |ans| #15=#:G1610 |mons| + #16=#:G1729 |m| #17=#:G1730 |i| #18=#:G1605 #19=#:G1603 + #20=#:G1604) (RETURN (SEQ (EXIT (SEQ (LETT |ll| (SPADCALL @@ -1148,7 +1148,7 @@ (EXIT (CONS 0 (LET - ((#21=#:G1613 + ((#21=#:G1611 (|makeSimpleArray| (|getVMType| (|getShellEntry| $ 6)) @@ -1264,7 +1264,7 @@ $)))))))))) (DEFUN |POLYCAT-;charthRootlv| (|p| |vars| |ch| $) - (PROG (|v| |dd| |cp| |d| #0=#:G1634 |ans| |ansx| #1=#:G1641) + (PROG (|v| |dd| |cp| |d| #0=#:G1632 |ans| |ansx| #1=#:G1639) (RETURN (SEQ (EXIT (COND ((NULL |vars|) @@ -1393,7 +1393,7 @@ (SPADCALL |p| (|getShellEntry| $ 197))) (DEFUN |POLYCAT-;squareFreePart;2S;34| (|p| $) - (PROG (|s| |f| #0=#:G1733 #1=#:G1655 #2=#:G1653 #3=#:G1654) + (PROG (|s| |f| #0=#:G1731 #1=#:G1653 #2=#:G1651 #3=#:G1652) (RETURN (SEQ (SPADCALL (SPADCALL @@ -1438,7 +1438,7 @@ (|getShellEntry| $ 204))) (DEFUN |POLYCAT-;primitivePart;2S;36| (|p| $) - (PROG (#0=#:G1659) + (PROG (#0=#:G1657) (RETURN (QVELT (SPADCALL (PROG2 (LETT #0# @@ -1454,7 +1454,7 @@ 1)))) (DEFUN |POLYCAT-;primitivePart;SVarSetS;37| (|p| |v| $) - (PROG (#0=#:G1665) + (PROG (#0=#:G1663) (RETURN (QVELT (SPADCALL (PROG2 (LETT #0# diff --git a/src/algebra/strap/POLYCAT.lsp b/src/algebra/strap/POLYCAT.lsp index ea77dcd8..83429409 100644 --- a/src/algebra/strap/POLYCAT.lsp +++ b/src/algebra/strap/POLYCAT.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |PolynomialCategory;AL| 'NIL) (DEFUN |PolynomialCategory;| (|t#1| |t#2| |t#3|) - (PROG (#0=#:G1417) + (PROG (#0=#:G1415) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -220,9 +220,9 @@ (LIST '|PolynomialCategory| (|devaluate| |t#1|) (|devaluate| |t#2|) (|devaluate| |t#3|))))))) -(DEFUN |PolynomialCategory| (&REST #0=#:G1420 &AUX #1=#:G1418) +(DEFUN |PolynomialCategory| (&REST #0=#:G1418 &AUX #1=#:G1416) (DSETQ #1# #0#) - (LET (#2=#:G1419) + (LET (#2=#:G1417) (COND ((SETQ #2# (|assoc| (|devaluateList| #1#) |PolynomialCategory;AL|)) diff --git a/src/algebra/strap/QFCAT.lsp b/src/algebra/strap/QFCAT.lsp index d694d366..ce1aa731 100644 --- a/src/algebra/strap/QFCAT.lsp +++ b/src/algebra/strap/QFCAT.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |QuotientFieldCategory;AL| 'NIL) (DEFUN |QuotientFieldCategory;| (|t#1|) - (PROG (#0=#:G1400) + (PROG (#0=#:G1398) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -92,8 +92,8 @@ (|setShellEntry| #0# 0 (LIST '|QuotientFieldCategory| (|devaluate| |t#1|))))))) -(DEFUN |QuotientFieldCategory| (#0=#:G1401) - (LET (#1=#:G1402) +(DEFUN |QuotientFieldCategory| (#0=#:G1399) + (LET (#1=#:G1400) (COND ((SETQ #1# (|assoc| (|devaluate| #0#) |QuotientFieldCategory;AL|)) diff --git a/src/algebra/strap/RCAGG.lsp b/src/algebra/strap/RCAGG.lsp index 88af0575..2d2d62e0 100644 --- a/src/algebra/strap/RCAGG.lsp +++ b/src/algebra/strap/RCAGG.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |RecursiveAggregate;AL| 'NIL) (DEFUN |RecursiveAggregate;| (|t#1|) - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -63,8 +63,8 @@ (|setShellEntry| #0# 0 (LIST '|RecursiveAggregate| (|devaluate| |t#1|))))))) -(DEFUN |RecursiveAggregate| (#0=#:G1399) - (LET (#1=#:G1400) +(DEFUN |RecursiveAggregate| (#0=#:G1397) + (LET (#1=#:G1398) (COND ((SETQ #1# (|assoc| (|devaluate| #0#) |RecursiveAggregate;AL|)) (CDR #1#)) diff --git a/src/algebra/strap/RING.lsp b/src/algebra/strap/RING.lsp index e661083d..c2acbb0c 100644 --- a/src/algebra/strap/RING.lsp +++ b/src/algebra/strap/RING.lsp @@ -4,10 +4,10 @@ (DEFPARAMETER |Ring;AL| 'NIL) (DEFUN |Ring;| () - (PROG (#0=#:G1399) + (PROG (#0=#:G1397) (RETURN (PROG1 (LETT #0# - (|sublisV| (PAIR '(#1=#:G1398) (LIST '(|Integer|))) + (|sublisV| (PAIR '(#1=#:G1396) (LIST '(|Integer|))) (|Join| (|Rng|) (|Monoid|) (|LeftModule| '$) (|CoercibleFrom| '#1#) (|mkCategory| '|package| diff --git a/src/algebra/strap/RNG.lsp b/src/algebra/strap/RNG.lsp index 973189e7..e4e3fddb 100644 --- a/src/algebra/strap/RNG.lsp +++ b/src/algebra/strap/RNG.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |Rng;AL| 'NIL) (DEFUN |Rng;| () - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|Join| (|AbelianGroup|) (|SemiGroup|)) |Rng|) (|setShellEntry| #0# 0 '(|Rng|)))))) diff --git a/src/algebra/strap/RNS.lsp b/src/algebra/strap/RNS.lsp index fd65a996..6a02c744 100644 --- a/src/algebra/strap/RNS.lsp +++ b/src/algebra/strap/RNS.lsp @@ -4,12 +4,12 @@ (DEFPARAMETER |RealNumberSystem;AL| 'NIL) (DEFUN |RealNumberSystem;| () - (PROG (#0=#:G1407) + (PROG (#0=#:G1405) (RETURN (PROG1 (LETT #0# (|sublisV| - (PAIR '(#1=#:G1403 #2=#:G1404 #3=#:G1405 - #4=#:G1406) + (PAIR '(#1=#:G1401 #2=#:G1402 #3=#:G1403 + #4=#:G1404) (LIST '(|Integer|) '(|Fraction| (|Integer|)) '(|Pattern| (|Float|)) '(|Float|))) diff --git a/src/algebra/strap/SETAGG.lsp b/src/algebra/strap/SETAGG.lsp index 96c45f22..88c198b3 100644 --- a/src/algebra/strap/SETAGG.lsp +++ b/src/algebra/strap/SETAGG.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |SetAggregate;AL| 'NIL) (DEFUN |SetAggregate;| (|t#1|) - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -47,8 +47,8 @@ (|setShellEntry| #0# 0 (LIST '|SetAggregate| (|devaluate| |t#1|))))))) -(DEFUN |SetAggregate| (#0=#:G1399) - (LET (#1=#:G1400) +(DEFUN |SetAggregate| (#0=#:G1397) + (LET (#1=#:G1398) (COND ((SETQ #1# (|assoc| (|devaluate| #0#) |SetAggregate;AL|)) (CDR #1#)) diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index a0fa2e8a..6f567c8e 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -461,7 +461,7 @@ (+ (- |$ShortMaximum| |$ShortMinimum|) 1)) (DEFUN |SINT;index;Pi$;53| (|i| $) - (PROG (#0=#:G1459) + (PROG (#0=#:G1457) (RETURN (PROG1 (LETT #0# (- (+ |i| |$ShortMinimum|) 1) |SINT;index;Pi$;53|) @@ -504,7 +504,7 @@ (DEFUN |SingleInteger| () (PROG () (RETURN - (PROG (#0=#:G1494) + (PROG (#0=#:G1492) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|SingleInteger|) diff --git a/src/algebra/strap/STAGG-.lsp b/src/algebra/strap/STAGG-.lsp index 97751dd5..4fabe92e 100644 --- a/src/algebra/strap/STAGG-.lsp +++ b/src/algebra/strap/STAGG-.lsp @@ -50,7 +50,7 @@ (SPADCALL |x| (|getShellEntry| $ 9))) (DEFUN |STAGG-;first;ANniA;3| (|x| |n| $) - (PROG (#0=#:G1448 |i|) + (PROG (#0=#:G1446 |i|) (RETURN (SEQ (SPADCALL (PROGN @@ -94,7 +94,7 @@ (EXIT (SPADCALL |x| (|getShellEntry| $ 22))))) (DEFUN |STAGG-;elt;AUsA;6| (|x| |i| $) - (PROG (|l| |h| #0=#:G1418) + (PROG (|l| |h| #0=#:G1416) (RETURN (SEQ (LETT |l| (- (SPADCALL |i| (|getShellEntry| $ 31)) @@ -195,7 +195,7 @@ (EXIT (SPADCALL |x| |s| (|getShellEntry| $ 48))))) (DEFUN |STAGG-;setelt;AUs2S;12| (|x| |i| |s| $) - (PROG (|l| |h| #0=#:G1438 |z| |y|) + (PROG (|l| |h| #0=#:G1436 |z| |y|) (RETURN (SEQ (LETT |l| (- (SPADCALL |i| (|getShellEntry| $ 31)) diff --git a/src/algebra/strap/STAGG.lsp b/src/algebra/strap/STAGG.lsp index 0feed81e..2b88ed22 100644 --- a/src/algebra/strap/STAGG.lsp +++ b/src/algebra/strap/STAGG.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |StreamAggregate;AL| 'NIL) (DEFUN |StreamAggregate;| (|t#1|) - (PROG (#0=#:G1405) + (PROG (#0=#:G1403) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -30,8 +30,8 @@ (|setShellEntry| #0# 0 (LIST '|StreamAggregate| (|devaluate| |t#1|))))))) -(DEFUN |StreamAggregate| (#0=#:G1406) - (LET (#1=#:G1407) +(DEFUN |StreamAggregate| (#0=#:G1404) + (LET (#1=#:G1405) (COND ((SETQ #1# (|assoc| (|devaluate| #0#) |StreamAggregate;AL|)) (CDR #1#)) diff --git a/src/algebra/strap/SYMBOL.lsp b/src/algebra/strap/SYMBOL.lsp index 3a333e20..56936104 100644 --- a/src/algebra/strap/SYMBOL.lsp +++ b/src/algebra/strap/SYMBOL.lsp @@ -209,7 +209,7 @@ (SPADCALL |x| (|getShellEntry| $ 81))) (DEFUN |SYMBOL;syprefix| (|sc| $) - (PROG (|ns| #0=#:G1549 |n| #1=#:G1550) + (PROG (|ns| #0=#:G1547 |n| #1=#:G1548) (RETURN (SEQ (LETT |ns| (LIST (LENGTH (QVELT |sc| 3)) (LENGTH (QVELT |sc| 2)) @@ -438,7 +438,7 @@ (EXIT |s|))))) (DEFUN |SYMBOL;anyRadix| (|n| |s| $) - (PROG (|qr| |ns| #0=#:G1505) + (PROG (|qr| |ns| #0=#:G1503) (RETURN (SEQ (EXIT (SEQ (LETT |ns| "" |SYMBOL;anyRadix|) (EXIT (SEQ G190 NIL @@ -530,7 +530,7 @@ (|SYMBOL;scripts;$R;32| |x| $) $)))))) (DEFUN |SYMBOL;resetNew;V;29| ($) - (PROG (|k| #0=#:G1551) + (PROG (|k| #0=#:G1549) (RETURN (SEQ (SPADCALL (|getShellEntry| $ 10) 0 (|getShellEntry| $ 123)) (SEQ (LETT |k| NIL |SYMBOL;resetNew;V;29|) @@ -554,7 +554,7 @@ (DEFUN |SYMBOL;scripted?;$B;30| (|sy| $) (NOT (ATOM |sy|))) (DEFUN |SYMBOL;name;2$;31| (|sy| $) - (PROG (|str| |i| #0=#:G1552 #1=#:G1532 #2=#:G1530) + (PROG (|str| |i| #0=#:G1550 #1=#:G1530 #2=#:G1528) (RETURN (SEQ (EXIT (COND ((NOT (|SYMBOL;scripted?;$B;30| |sy| $)) |sy|) @@ -607,8 +607,8 @@ #1# (EXIT #1#))))) (DEFUN |SYMBOL;scripts;$R;32| (|sy| $) - (PROG (|lscripts| |str| |nstr| |j| #0=#:G1535 |nscripts| |m| |n| - #1=#:G1553 |i| #2=#:G1554 |a| #3=#:G1555 |allscripts|) + (PROG (|lscripts| |str| |nstr| |j| #0=#:G1533 |nscripts| |m| |n| + #1=#:G1551 |i| #2=#:G1552 |a| #3=#:G1553 |allscripts|) (RETURN (SEQ (COND ((NOT (|SYMBOL;scripted?;$B;30| |sy| $)) @@ -750,7 +750,7 @@ (DEFUN |Symbol| () (PROG () (RETURN - (PROG (#0=#:G1557) + (PROG (#0=#:G1555) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|Symbol|) |Symbol|) diff --git a/src/algebra/strap/UFD-.lsp b/src/algebra/strap/UFD-.lsp index b82436ab..594ac9fa 100644 --- a/src/algebra/strap/UFD-.lsp +++ b/src/algebra/strap/UFD-.lsp @@ -8,7 +8,7 @@ |UFD-;prime?;SB;2|)) (DEFUN |UFD-;squareFreePart;2S;1| (|x| $) - (PROG (|s| |f| #0=#:G1420 #1=#:G1407 #2=#:G1405 #3=#:G1406) + (PROG (|s| |f| #0=#:G1418 #1=#:G1405 #2=#:G1403 #3=#:G1404) (RETURN (SEQ (SPADCALL (SPADCALL diff --git a/src/algebra/strap/UFD.lsp b/src/algebra/strap/UFD.lsp index 0065ba95..36c60cf4 100644 --- a/src/algebra/strap/UFD.lsp +++ b/src/algebra/strap/UFD.lsp @@ -4,7 +4,7 @@ (DEFPARAMETER |UniqueFactorizationDomain;AL| 'NIL) (DEFUN |UniqueFactorizationDomain;| () - (PROG (#0=#:G1398) + (PROG (#0=#:G1396) (RETURN (PROG1 (LETT #0# (|Join| (|GcdDomain|) diff --git a/src/algebra/strap/URAGG-.lsp b/src/algebra/strap/URAGG-.lsp index 9528b39e..3cde7fc7 100644 --- a/src/algebra/strap/URAGG-.lsp +++ b/src/algebra/strap/URAGG-.lsp @@ -274,7 +274,7 @@ (EXIT |x|)))))))) (DEFUN |URAGG-;findCycle| (|x| $) - (PROG (#0=#:G1476 |y|) + (PROG (#0=#:G1474 |y|) (RETURN (SEQ (EXIT (SEQ (LETT |y| (SPADCALL |x| (|getShellEntry| $ 14)) |URAGG-;findCycle|) @@ -435,7 +435,7 @@ (EXIT |x|))))) (DEFUN |URAGG-;last;ANniA;22| (|x| |n| $) - (PROG (|m| #0=#:G1499) + (PROG (|m| #0=#:G1497) (RETURN (SEQ (LETT |m| (SPADCALL |x| (|getShellEntry| $ 60)) |URAGG-;last;ANniA;22|) @@ -452,7 +452,7 @@ (|getShellEntry| $ 63))))))))) (DEFUN |URAGG-;=;2AB;23| (|x| |y| $) - (PROG (|k| #0=#:G1509) + (PROG (|k| #0=#:G1507) (RETURN (SEQ (EXIT (COND ((SPADCALL |x| |y| (|getShellEntry| $ 53)) T) @@ -506,7 +506,7 @@ #0# (EXIT #0#))))) (DEFUN |URAGG-;node?;2AB;24| (|u| |v| $) - (PROG (|k| #0=#:G1514) + (PROG (|k| #0=#:G1512) (RETURN (SEQ (EXIT (SEQ (SEQ (LETT |k| 0 |URAGG-;node?;2AB;24|) G190 (COND @@ -574,7 +574,7 @@ (SPADCALL |u| |s| (|getShellEntry| $ 70))) (DEFUN |URAGG-;split!;AIA;32| (|p| |n| $) - (PROG (#0=#:G1525 |q|) + (PROG (#0=#:G1523 |q|) (RETURN (SEQ (COND ((< |n| 1) (|error| "index out of range")) diff --git a/src/algebra/strap/URAGG.lsp b/src/algebra/strap/URAGG.lsp index bd58193e..baa0c9f1 100644 --- a/src/algebra/strap/URAGG.lsp +++ b/src/algebra/strap/URAGG.lsp @@ -6,7 +6,7 @@ (DEFPARAMETER |UnaryRecursiveAggregate;AL| 'NIL) (DEFUN |UnaryRecursiveAggregate;| (|t#1|) - (PROG (#0=#:G1426) + (PROG (#0=#:G1424) (RETURN (PROG1 (LETT #0# (|sublisV| @@ -99,8 +99,8 @@ (|setShellEntry| #0# 0 (LIST '|UnaryRecursiveAggregate| (|devaluate| |t#1|))))))) -(DEFUN |UnaryRecursiveAggregate| (#0=#:G1427) - (LET (#1=#:G1428) +(DEFUN |UnaryRecursiveAggregate| (#0=#:G1425) + (LET (#1=#:G1426) (COND ((SETQ #1# (|assoc| (|devaluate| #0#) |UnaryRecursiveAggregate;AL|)) diff --git a/src/algebra/strap/VECTOR.lsp b/src/algebra/strap/VECTOR.lsp index c9db05ae..6b8ecf36 100644 --- a/src/algebra/strap/VECTOR.lsp +++ b/src/algebra/strap/VECTOR.lsp @@ -17,10 +17,10 @@ (|getShellEntry| $ 16))) (|getShellEntry| $ 18))) -(DEFUN |Vector| (#0=#:G1408) +(DEFUN |Vector| (#0=#:G1406) (PROG () (RETURN - (PROG (#1=#:G1409) + (PROG (#1=#:G1407) (RETURN (COND ((LETT #1# |