diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-22 21:44:34 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-22 21:44:34 +0000 |
| commit | 024f4b2055594e528ec98e733bd50684b2366db0 (patch) | |
| tree | cf3da9fdf92fe71c354e720428fa4f4c43bb98b1 /src/algebra/strap/POLYCAT-.lsp | |
| parent | 510c2f70ce377d60eed221e46294767f7f548f5d (diff) | |
| download | open-axiom-024f4b2055594e528ec98e733bd50684b2366db0.tar.gz | |
* interp/g-util.boot (expandIeq): New expander for %ieq.
* interp/g-opt.boot (optIeq): New.
(optIadd): Likewise.
(optIsub): Likewise.
(optImul): Likewise.
(optIneg): Likewise.
(lispize): Remove.
Diffstat (limited to 'src/algebra/strap/POLYCAT-.lsp')
| -rw-r--r-- | src/algebra/strap/POLYCAT-.lsp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/strap/POLYCAT-.lsp b/src/algebra/strap/POLYCAT-.lsp index ca0cad36..30873d70 100644 --- a/src/algebra/strap/POLYCAT-.lsp +++ b/src/algebra/strap/POLYCAT-.lsp @@ -308,7 +308,7 @@ (DEFUN |POLYCAT-;retract;SVarSet;9| (|p| $) (LET ((|q| (LET ((#0=#:G1478 (SPADCALL |p| (|getShellEntry| $ 53)))) - (|check-union| (EQL (CAR #0#) 0) (|getShellEntry| $ 9) + (|check-union| (ZEROP (CAR #0#)) (|getShellEntry| $ 9) #0#) (CDR #0#)))) (COND @@ -324,7 +324,7 @@ (SPADCALL |p| (|getShellEntry| $ 53)) |POLYCAT-;retractIfCan;SU;10|) (EXIT (COND - ((EQL (CAR |q|) 0) + ((ZEROP (CAR |q|)) (COND ((SPADCALL (SPADCALL (CDR |q|) @@ -362,7 +362,7 @@ (LET ((#0=#:G1492 (SPADCALL |p| (|getShellEntry| $ 53)))) - (|check-union| (EQL (CAR #0#) 0) + (|check-union| (ZEROP (CAR #0#)) (|getShellEntry| $ 9) #0#) (CDR #0#)) (|getShellEntry| $ 59)) @@ -400,7 +400,7 @@ ((#0=#:G1500 (SPADCALL |p| (|getShellEntry| $ 53)))) - (|check-union| (EQL (CAR #0#) 0) + (|check-union| (ZEROP (CAR #0#)) (|getShellEntry| $ 9) #0#) (CDR #0#)) |POLYCAT-;totalDegree;SLNni;14|) @@ -1055,7 +1055,7 @@ (SPADCALL |p| (SPADCALL |p| (|getShellEntry| $ 206)) (|getShellEntry| $ 207)))) - (|check-union| (EQL (CAR #0#) 0) (|getShellEntry| $ 6) + (|check-union| (ZEROP (CAR #0#)) (|getShellEntry| $ 6) #0#) (CDR #0#)) (|getShellEntry| $ 209)) @@ -1067,7 +1067,7 @@ (SPADCALL |p| (SPADCALL |p| |v| (|getShellEntry| $ 211)) (|getShellEntry| $ 212)))) - (|check-union| (EQL (CAR #0#) 0) (|getShellEntry| $ 6) + (|check-union| (ZEROP (CAR #0#)) (|getShellEntry| $ 6) #0#) (CDR #0#)) (|getShellEntry| $ 209)) |