diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-04-20 14:28:31 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-04-20 14:28:31 +0000 |
| commit | 6fa5b85a7a68ad4422b98eb982a2a44998d6ee53 (patch) | |
| tree | 638222da14ed9aea4d6ad13612a0abc207122692 /src/algebra/strap/DIFRING-.lsp | |
| parent | 6d9ec581fcfbc307730e3da774ad2c63c5dfe9b7 (diff) | |
| download | open-axiom-6fa5b85a7a68ad4422b98eb982a2a44998d6ee53.tar.gz | |
* interp/compiler.boot (joinIntegerModes): New.
(compIntegerValue): Likewise.
(compStepIterator): Likewise.
(compIterate): Use it.
Diffstat (limited to 'src/algebra/strap/DIFRING-.lsp')
| -rw-r--r-- | src/algebra/strap/DIFRING-.lsp | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/src/algebra/strap/DIFRING-.lsp b/src/algebra/strap/DIFRING-.lsp index b3562e91..1c9f8444 100644 --- a/src/algebra/strap/DIFRING-.lsp +++ b/src/algebra/strap/DIFRING-.lsp @@ -28,7 +28,7 @@ (EXIT |r|))))) (DEFUN |DIFRING-;D;SNniS;3| (|r| |n| $) - (SPADCALL |r| |n| (|getShellEntry| $ 14))) + (SPADCALL |r| |n| (|getShellEntry| $ 11))) (DEFUN |DifferentialRing&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) @@ -36,7 +36,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|DifferentialRing&|)) (LETT |dv$| (LIST '|DifferentialRing&| |dv$1|) . #0#) - (LETT $ (|newShell| 16) . #0#) + (LETT $ (|newShell| 13) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -46,16 +46,14 @@ (MAKEPROP '|DifferentialRing&| '|infovec| (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) - (0 . |differentiate|) |DIFRING-;D;2S;1| (|SingleInteger|) - (5 . |One|) (|NonNegativeInteger|) (9 . |One|) - |DIFRING-;differentiate;SNniS;2| (13 . |differentiate|) - |DIFRING-;D;SNniS;3|) - '#(|differentiate| 19 D 25) 'NIL + (0 . |differentiate|) |DIFRING-;D;2S;1| + (|NonNegativeInteger|) |DIFRING-;differentiate;SNniS;2| + (5 . |differentiate|) |DIFRING-;D;SNniS;3|) + '#(|differentiate| 11 D 17) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 15 - '(1 6 0 0 7 0 9 0 10 0 11 0 12 2 6 0 0 - 11 14 2 0 0 0 11 13 2 0 0 0 11 15 1 0 - 0 0 8))))) + (|makeByteWordVec2| 12 + '(1 6 0 0 7 2 6 0 0 9 11 2 0 0 0 9 10 2 + 0 0 0 9 12 1 0 0 0 8))))) '|lookupComplete|)) |