diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-03-01 05:22:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-03-01 05:22:19 +0000 |
| commit | c42526006076b88ff2755f33eb1defd2e455e67e (patch) | |
| tree | 975c82ab94b65bc41169dd0c339700d4a2efc825 /src/algebra/strap/GCDDOM-.lsp | |
| parent | 4311f047fffe6dbc6f58ba4f37f074cc9d155630 (diff) | |
| download | open-axiom-c42526006076b88ff2755f33eb1defd2e455e67e.tar.gz | |
Optimization should not change slot numbers.
Diffstat (limited to 'src/algebra/strap/GCDDOM-.lsp')
| -rw-r--r-- | src/algebra/strap/GCDDOM-.lsp | 67 |
1 files changed, 35 insertions, 32 deletions
diff --git a/src/algebra/strap/GCDDOM-.lsp b/src/algebra/strap/GCDDOM-.lsp index e128bbb7..37c12aba 100644 --- a/src/algebra/strap/GCDDOM-.lsp +++ b/src/algebra/strap/GCDDOM-.lsp @@ -88,8 +88,8 @@ (SPADCALL |p1| (SPADCALL (|spadConstant| $ 16) |e1| - (|getShellEntry| $ 32)) - (|getShellEntry| $ 33)) + (|getShellEntry| $ 36)) + (|getShellEntry| $ 37)) |GCDDOM-;gcdPolynomial;3Sup;4|) (QCDR #0#) (|check-union| (QEQCAR #0# 0) @@ -108,8 +108,8 @@ (SPADCALL |p2| (SPADCALL (|spadConstant| $ 16) |e2| - (|getShellEntry| $ 32)) - (|getShellEntry| $ 33)) + (|getShellEntry| $ 36)) + (|getShellEntry| $ 37)) |GCDDOM-;gcdPolynomial;3Sup;4|) (QCDR #0#) (|check-union| (QEQCAR #0# 0) @@ -125,32 +125,32 @@ (LETT |p1| (COND ((OR (EQL (SPADCALL |p1| - (|getShellEntry| $ 34)) + (|getShellEntry| $ 39)) 0) (EQL (SPADCALL |p2| - (|getShellEntry| $ 34)) + (|getShellEntry| $ 39)) 0)) - (SPADCALL |c1| 0 (|getShellEntry| $ 32))) + (SPADCALL |c1| 0 (|getShellEntry| $ 36))) ('T (SEQ (LETT |p| (SPADCALL |p1| |p2| - (|getShellEntry| $ 35)) + (|getShellEntry| $ 41)) |GCDDOM-;gcdPolynomial;3Sup;4|) (EXIT (COND ((EQL (SPADCALL |p| - (|getShellEntry| $ 34)) + (|getShellEntry| $ 39)) 0) (SPADCALL |c1| 0 - (|getShellEntry| $ 32))) + (|getShellEntry| $ 36))) ('T (SEQ (LETT |c2| (SPADCALL (SPADCALL |p1| - (|getShellEntry| $ 36)) + (|getShellEntry| $ 42)) (SPADCALL |p2| - (|getShellEntry| $ 36)) + (|getShellEntry| $ 42)) (|getShellEntry| $ 10)) |GCDDOM-;gcdPolynomial;3Sup;4|) (EXIT @@ -162,10 +162,10 @@ (SPADCALL (SPADCALL |c2| |p| (|getShellEntry| $ - 37)) + 43)) (SPADCALL |p| (|getShellEntry| $ - 36)) + 42)) (|getShellEntry| $ 27)) |GCDDOM-;gcdPolynomial;3Sup;4|) @@ -176,8 +176,8 @@ (|getShellEntry| $ 6)) #0#)) - (|getShellEntry| $ 38)) - (|getShellEntry| $ 37)) + (|getShellEntry| $ 44)) + (|getShellEntry| $ 43)) (|getShellEntry| $ 25)))))))))) |GCDDOM-;gcdPolynomial;3Sup;4|) (EXIT (COND @@ -185,8 +185,8 @@ ('T (SPADCALL (SPADCALL (|spadConstant| $ 16) |e1| - (|getShellEntry| $ 32)) - |p1| (|getShellEntry| $ 39)))))))))))) + (|getShellEntry| $ 36)) + |p1| (|getShellEntry| $ 46)))))))))))) (DEFUN |GcdDomain&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) @@ -194,7 +194,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|GcdDomain&|)) (LETT |dv$| (LIST '|GcdDomain&| |dv$1|) . #0#) - (LETT $ (|newShell| 42) . #0#) + (LETT $ (|newShell| 49) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -211,25 +211,28 @@ (|SparseUnivariatePolynomial| 6) (46 . |zero?|) (51 . |unitCanonical|) (56 . |content|) (61 . |exquo|) (|NonNegativeInteger|) (67 . |minimumDegree|) - (72 . |Zero|) (76 . |One|) (80 . |monomial|) - (86 . |exquo|) (92 . |degree|) (97 . |subResultantGcd|) - (103 . |leadingCoefficient|) (108 . *) - (114 . |primitivePart|) (119 . *) - (|SparseUnivariatePolynomial| $) + (72 . |Zero|) (76 . |Zero|) (|Integer|) (80 . |Zero|) + (84 . <) (90 . |One|) (94 . |monomial|) (100 . |exquo|) + (106 . |min|) (112 . |degree|) (117 . =) + (123 . |subResultantGcd|) (129 . |leadingCoefficient|) + (134 . *) (140 . |primitivePart|) (145 . |zero?|) + (150 . *) (|SparseUnivariatePolynomial| $) |GCDDOM-;gcdPolynomial;3Sup;4|) - '#(|lcm| 125 |gcdPolynomial| 136 |gcd| 142) 'NIL + '#(|lcm| 156 |gcdPolynomial| 167 |gcd| 173) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 41 + (|makeByteWordVec2| 48 '(0 6 0 7 2 6 8 0 0 9 2 6 0 0 0 10 2 6 11 0 0 12 2 6 0 0 0 13 2 6 0 0 0 15 0 6 0 16 4 18 6 17 0 6 6 19 1 23 8 0 24 1 23 0 0 25 1 23 6 0 26 2 23 11 0 6 - 27 1 23 28 0 29 0 23 0 30 0 23 0 31 2 - 23 0 6 28 32 2 23 11 0 0 33 1 23 28 0 - 34 2 23 0 0 0 35 1 23 6 0 36 2 23 0 6 - 0 37 1 23 0 0 38 2 23 0 0 0 39 1 0 0 - 20 21 2 0 0 0 0 14 2 0 40 40 40 41 1 - 0 0 20 22))))) + 27 1 23 28 0 29 0 23 0 30 0 28 0 31 0 + 32 0 33 2 28 8 0 0 34 0 23 0 35 2 23 + 0 6 28 36 2 23 11 0 0 37 2 28 0 0 0 + 38 1 23 28 0 39 2 28 8 0 0 40 2 23 0 + 0 0 41 1 23 6 0 42 2 23 0 6 0 43 1 23 + 0 0 44 1 28 8 0 45 2 23 0 0 0 46 1 0 + 0 20 21 2 0 0 0 0 14 2 0 47 47 47 48 + 1 0 0 20 22))))) '|lookupComplete|)) |