diff options
author | dos-reis <gdr@axiomatics.org> | 2010-10-27 08:36:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-10-27 08:36:45 +0000 |
commit | 88431a10d86db0b69fb67339dcacf088d005482b (patch) | |
tree | 4c513999f071ffe782b50f061b21320936147a88 /src/algebra/strap/FFIELDC-.lsp | |
parent | 388a4332860c39a19fedbe2bdc4dbc8b411115e6 (diff) | |
download | open-axiom-88431a10d86db0b69fb67339dcacf088d005482b.tar.gz |
* algebra/boolean.spad.pamphlet (Logic): Now extend Type.
Diffstat (limited to 'src/algebra/strap/FFIELDC-.lsp')
-rw-r--r-- | src/algebra/strap/FFIELDC-.lsp | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/algebra/strap/FFIELDC-.lsp b/src/algebra/strap/FFIELDC-.lsp index 874d766f..ff4359c7 100644 --- a/src/algebra/strap/FFIELDC-.lsp +++ b/src/algebra/strap/FFIELDC-.lsp @@ -127,7 +127,7 @@ (LETT |q| (- (SPADCALL (|getShellEntry| $ 40)) 1) |FFIELDC-;primitive?;SB;9|) (LETT |equalone| NIL |FFIELDC-;primitive?;SB;9|) - (LET ((#0=#:G1513 |explist|) (|exp| NIL)) + (LET ((#0=#:G1488 |explist|) (|exp| NIL)) (LOOP (COND ((OR (ATOM #0#) @@ -155,7 +155,7 @@ |FFIELDC-;order;SPi;10|) (LETT |lof| (SPADCALL (|getShellEntry| $ 56)) |FFIELDC-;order;SPi;10|) - (LET ((#0=#:G1514 |lof|)) + (LET ((#0=#:G1489 |lof|)) (LOOP (COND ((ATOM #0#) (RETURN NIL)) @@ -173,7 +173,7 @@ |FFIELDC-;order;SPi;10|) (LET ((|j| 0) - (#1=#:G1515 (- (CDR |rec|) 2))) + (#1=#:G1490 (- (CDR |rec|) 2))) (LOOP (COND ((OR (> |j| #1#) @@ -224,7 +224,7 @@ |FFIELDC-;discreteLog;SNni;11|) (LETT |exp| |groupord| |FFIELDC-;discreteLog;SNni;11|) - (LET ((#0=#:G1516 |faclist|)) + (LET ((#0=#:G1491 |faclist|)) (LOOP (COND ((ATOM #0#) (RETURN NIL)) @@ -236,7 +236,7 @@ (EXIT (LET ((|t| 0) - (#1=#:G1517 + (#1=#:G1492 (- (CDR |f|) 1))) (LOOP (COND @@ -414,7 +414,7 @@ (LETT |mult| 1 |FFIELDC-;discreteLog;2SU;12|) (LETT |exp| |groupord| |FFIELDC-;discreteLog;2SU;12|) - (LET ((#0=#:G1518 |faclist|)) + (LET ((#0=#:G1493 |faclist|)) (LOOP (COND ((ATOM #0#) (RETURN NIL)) @@ -430,7 +430,7 @@ (EXIT (LET ((|t| 0) - (#1=#:G1519 (- (CDR |f|) 1))) + (#1=#:G1494 (- (CDR |f|) 1))) (LOOP (COND ((> |t| #1#) (RETURN NIL)) @@ -497,8 +497,8 @@ (EXIT (SPADCALL (SPADCALL (CAR |flist|) (|getShellEntry| $ 106)) - (LET ((#0=#:G1508 NIL) (#1=#:G1509 T) - (#2=#:G1520 (CDR |flist|))) + (LET ((#0=#:G1483 NIL) (#1=#:G1484 T) + (#2=#:G1495 (CDR |flist|))) (LOOP (COND ((ATOM #2#) @@ -509,7 +509,7 @@ (T (LET ((|u| (CAR #2#))) (LET - ((#3=#:G1507 + ((#3=#:G1482 (SPADCALL (CAR |u|) (CDR |u|) (|getShellEntry| $ 107)))) |