diff options
author | dos-reis <gdr@axiomatics.org> | 2009-07-04 19:00:59 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-07-04 19:00:59 +0000 |
commit | e2587f659cb1f58cb198ce0c841f43015378457f (patch) | |
tree | 54add7b4e7b7272d0569e9a9e1f34288aeed10fb /src/algebra/strap/FFIELDC-.lsp | |
parent | 44a49cb801191cd6e803204aaffe04ab7a65a345 (diff) | |
download | open-axiom-e2587f659cb1f58cb198ce0c841f43015378457f.tar.gz |
* interp/c-util.boot (simplifySEQ): New.
(transformToBackendCode): Use it.
Diffstat (limited to 'src/algebra/strap/FFIELDC-.lsp')
-rw-r--r-- | src/algebra/strap/FFIELDC-.lsp | 47 |
1 files changed, 22 insertions, 25 deletions
diff --git a/src/algebra/strap/FFIELDC-.lsp b/src/algebra/strap/FFIELDC-.lsp index b55925bc..d2fcf373 100644 --- a/src/algebra/strap/FFIELDC-.lsp +++ b/src/algebra/strap/FFIELDC-.lsp @@ -146,13 +146,13 @@ NIL) (NULL (NOT |equalone|))) (GO G191))) - (SEQ (EXIT (LETT |equalone| - (SPADCALL - (SPADCALL |a| + (LETT |equalone| + (SPADCALL + (SPADCALL |a| (QUOTIENT2 |q| (QCAR |exp|)) (|getShellEntry| $ 58)) - (|getShellEntry| $ 59)) - |FFIELDC-;primitive?;SB;9|))) + (|getShellEntry| $ 59)) + |FFIELDC-;primitive?;SB;9|) (LETT #0# (CDR #0#) |FFIELDC-;primitive?;SB;9|) (GO G190) G191 (EXIT NIL)) (EXIT (NOT |equalone|))))))))) @@ -535,26 +535,23 @@ |FFIELDC-;factorSquareFreePolynomial|) NIL)) (GO G191))) - (SEQ - (EXIT - (PROGN - (LETT #1# - (SPADCALL (QCAR |u|) - (QCDR |u|) - (|getShellEntry| $ 109)) - |FFIELDC-;factorSquareFreePolynomial|) - (COND - (#3# - (LETT #2# - (SPADCALL #2# #1# - (|getShellEntry| $ 110)) - |FFIELDC-;factorSquareFreePolynomial|)) - ('T - (PROGN - (LETT #2# #1# - |FFIELDC-;factorSquareFreePolynomial|) - (LETT #3# 'T - |FFIELDC-;factorSquareFreePolynomial|))))))) + (PROGN + (LETT #1# + (SPADCALL (QCAR |u|) (QCDR |u|) + (|getShellEntry| $ 109)) + |FFIELDC-;factorSquareFreePolynomial|) + (COND + (#3# + (LETT #2# + (SPADCALL #2# #1# + (|getShellEntry| $ 110)) + |FFIELDC-;factorSquareFreePolynomial|)) + ('T + (PROGN + (LETT #2# #1# + |FFIELDC-;factorSquareFreePolynomial|) + (LETT #3# 'T + |FFIELDC-;factorSquareFreePolynomial|))))) (LETT #0# (CDR #0#) |FFIELDC-;factorSquareFreePolynomial|) (GO G190) G191 (EXIT NIL)) |