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/GCDDOM-.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/GCDDOM-.lsp')
-rw-r--r-- | src/algebra/strap/GCDDOM-.lsp | 27 |
1 files changed, 12 insertions, 15 deletions
diff --git a/src/algebra/strap/GCDDOM-.lsp b/src/algebra/strap/GCDDOM-.lsp index ff12789d..34e0980e 100644 --- a/src/algebra/strap/GCDDOM-.lsp +++ b/src/algebra/strap/GCDDOM-.lsp @@ -29,7 +29,7 @@ (|getShellEntry| $ 12)) |GCDDOM-;lcm;3S;1|) (EXIT (COND - ((EQL (CAR LCM) 0) + ((ZEROP (CAR LCM)) (SPADCALL |x| (CDR LCM) (|getShellEntry| $ 13))) ('T (|error| "bad gcd in lcm computation"))))))))))) @@ -59,7 +59,7 @@ (LET ((#0=#:G1418 (SPADCALL |p1| |c1| (|getShellEntry| $ 27)))) - (|check-union| (EQL (CAR #0#) 0) + (|check-union| (ZEROP (CAR #0#)) (|SparseUnivariatePolynomial| (|getShellEntry| $ 6)) #0#) @@ -67,7 +67,7 @@ (SETQ |p2| (LET ((#0# (SPADCALL |p2| |c2| (|getShellEntry| $ 27)))) - (|check-union| (EQL (CAR #0#) 0) + (|check-union| (ZEROP (CAR #0#)) (|SparseUnivariatePolynomial| (|getShellEntry| $ 6)) #0#) @@ -86,7 +86,7 @@ (|getShellEntry| $ 34)) (|getShellEntry| $ 35)))) (|check-union| - (EQL (CAR #0#) 0) + (ZEROP (CAR #0#)) (|SparseUnivariatePolynomial| (|getShellEntry| $ 6)) #0#) @@ -105,7 +105,7 @@ (|getShellEntry| $ 34)) (|getShellEntry| $ 35)))) (|check-union| - (EQL (CAR #0#) 0) + (ZEROP (CAR #0#)) (|SparseUnivariatePolynomial| (|getShellEntry| $ 6)) #0#) @@ -116,12 +116,10 @@ (SPADCALL |c1| |c2| (|getShellEntry| $ 10))) (SETQ |p1| (COND - ((OR (EQL (SPADCALL |p1| - (|getShellEntry| $ 37)) - 0) - (EQL (SPADCALL |p2| - (|getShellEntry| $ 37)) - 0)) + ((OR (ZEROP (SPADCALL |p1| + (|getShellEntry| $ 37))) + (ZEROP (SPADCALL |p2| + (|getShellEntry| $ 37)))) (SPADCALL |c1| 0 (|getShellEntry| $ 34))) ('T (SEQ (LETT |p| @@ -129,10 +127,9 @@ (|getShellEntry| $ 39)) |GCDDOM-;gcdPolynomial;3Sup;4|) (EXIT (COND - ((EQL + ((ZEROP (SPADCALL |p| - (|getShellEntry| $ 37)) - 0) + (|getShellEntry| $ 37))) (SPADCALL |c1| 0 (|getShellEntry| $ 34))) ('T @@ -160,7 +157,7 @@ (|getShellEntry| $ 27)))) (|check-union| - (EQL (CAR #0#) 0) + (ZEROP (CAR #0#)) (|SparseUnivariatePolynomial| (|getShellEntry| $ 6)) |