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/ABELGRP-.lsp | |
| parent | 4311f047fffe6dbc6f58ba4f37f074cc9d155630 (diff) | |
| download | open-axiom-c42526006076b88ff2755f33eb1defd2e455e67e.tar.gz | |
Optimization should not change slot numbers.
Diffstat (limited to 'src/algebra/strap/ABELGRP-.lsp')
| -rw-r--r-- | src/algebra/strap/ABELGRP-.lsp | 29 |
1 files changed, 16 insertions, 13 deletions
diff --git a/src/algebra/strap/ABELGRP-.lsp b/src/algebra/strap/ABELGRP-.lsp index dc10e8f6..b25c65a5 100644 --- a/src/algebra/strap/ABELGRP-.lsp +++ b/src/algebra/strap/ABELGRP-.lsp @@ -26,11 +26,11 @@ (DEFUN |ABELGRP-;*;I2S;4| (|n| |x| $) (COND - ((ZEROP |n|) (|spadConstant| $ 17)) - ((< 0 |n|) (SPADCALL |n| |x| (|getShellEntry| $ 20))) + ((ZEROP |n|) (|spadConstant| $ 19)) + ((< 0 |n|) (SPADCALL |n| |x| (|getShellEntry| $ 24))) ('T (SPADCALL (- |n|) (SPADCALL |x| (|getShellEntry| $ 7)) - (|getShellEntry| $ 20))))) + (|getShellEntry| $ 24))))) (DEFUN |AbelianGroup&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) @@ -38,7 +38,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|AbelianGroup&|)) (LETT |dv$| (LIST '|AbelianGroup&| |dv$1|) . #0#) - (LETT $ (|newShell| 22) . #0#) + (LETT $ (|newShell| 27) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -47,7 +47,7 @@ (COND ((|HasCategory| |#1| '(|Ring|))) ('T - (|setShellEntry| $ 21 + (|setShellEntry| $ 26 (CONS (|dispatchFunction| |ABELGRP-;*;I2S;4|) $)))) $)))) @@ -55,16 +55,19 @@ (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (0 . -) (5 . +) |ABELGRP-;-;3S;1| (11 . -) (|Union| $ '"failed") |ABELGRP-;subtractIfCan;2SU;2| (|Integer|) (17 . *) - (|NonNegativeInteger|) |ABELGRP-;*;Nni2S;3| (23 . |Zero|) - (|PositiveInteger|) (|RepeatedDoubling| 6) (27 . |double|) - (33 . *)) - '#(|subtractIfCan| 39 - 45 * 51) 'NIL + (|NonNegativeInteger|) |ABELGRP-;*;Nni2S;3| (|Boolean|) + (23 . |zero?|) (28 . |Zero|) (32 . |Zero|) (36 . <) + (|PositiveInteger|) (|RepeatedDoubling| 6) (42 . |double|) + (48 . -) (53 . *)) + '#(|subtractIfCan| 59 - 65 * 71) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 21 + (|makeByteWordVec2| 26 '(1 6 0 0 7 2 6 0 0 0 8 2 6 0 0 0 10 2 - 6 0 13 0 14 0 6 0 17 2 19 6 18 6 20 2 - 0 0 13 0 21 2 0 11 0 0 12 2 0 0 0 0 9 - 2 0 0 13 0 21 2 0 0 15 0 16))))) + 6 0 13 0 14 1 13 17 0 18 0 6 0 19 0 + 13 0 20 2 13 17 0 0 21 2 23 6 22 6 24 + 1 13 0 0 25 2 0 0 13 0 26 2 0 11 0 0 + 12 2 0 0 0 0 9 2 0 0 13 0 26 2 0 0 15 + 0 16))))) '|lookupComplete|)) |