diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
commit | 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 (patch) | |
tree | fc93b37d696d3c1ca38437a5ad9a815a85fe46b7 /src/algebra/strap/DIFRING-.lsp | |
parent | ffb91646c6f11e84fa886aa5abc2de61ba291cc1 (diff) | |
download | open-axiom-5e504b6abaef6cf7e7c58c17e26bec33856b60c0.tar.gz |
* algebra/Makefile.pamphlet (all-algstrap): New.
* algebra/strap: Update cached Lisp translation.
Diffstat (limited to 'src/algebra/strap/DIFRING-.lsp')
-rw-r--r-- | src/algebra/strap/DIFRING-.lsp | 46 |
1 files changed, 39 insertions, 7 deletions
diff --git a/src/algebra/strap/DIFRING-.lsp b/src/algebra/strap/DIFRING-.lsp index 1fb59bfb..8f7e8ff9 100644 --- a/src/algebra/strap/DIFRING-.lsp +++ b/src/algebra/strap/DIFRING-.lsp @@ -1,14 +1,15 @@ (/VERSIONCHECK 2) -(DEFUN |DIFRING-;D;2S;1| (|r| $) (SPADCALL |r| (QREFELT $ 7))) +(DEFUN |DIFRING-;D;2S;1| (|r| $) (SPADCALL |r| (|getShellEntry| $ 7))) (DEFUN |DIFRING-;differentiate;SNniS;2| (|r| |n| $) (PROG (|i|) (RETURN (SEQ (SEQ (LETT |i| 1 |DIFRING-;differentiate;SNniS;2|) G190 (COND ((QSGREATERP |i| |n|) (GO G191))) - (SEQ (EXIT (LETT |r| (SPADCALL |r| (QREFELT $ 7)) + (SEQ (EXIT (LETT |r| + (SPADCALL |r| (|getShellEntry| $ 7)) |DIFRING-;differentiate;SNniS;2|))) (LETT |i| (QSADD1 |i|) |DIFRING-;differentiate;SNniS;2|) @@ -16,7 +17,7 @@ (EXIT |r|))))) (DEFUN |DIFRING-;D;SNniS;3| (|r| |n| $) - (SPADCALL |r| |n| (QREFELT $ 11))) + (SPADCALL |r| |n| (|getShellEntry| $ 11))) (DEFUN |DifferentialRing&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) @@ -24,11 +25,12 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|DifferentialRing&|)) (LETT |dv$| (LIST '|DifferentialRing&| |dv$1|) . #0#) - (LETT $ (GETREFV 13) . #0#) - (QSETREFV $ 0 |dv$|) - (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) + (LETT $ (|newShell| 13) . #0#) + (|setShellEntry| $ 0 |dv$|) + (|setShellEntry| $ 3 + (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) (|stuffDomainSlots| $) - (QSETREFV $ 6 |#1|) + (|setShellEntry| $ 6 |#1|) $)))) (MAKEPROP '|DifferentialRing&| '|infovec| @@ -44,3 +46,33 @@ '(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|)) + +(SETQ |$CategoryFrame| + (|put| '|DifferentialRing&| '|isFunctor| + '(((D ($ $ (|NonNegativeInteger|))) T (ELT $ 12)) + ((|differentiate| ($ $ (|NonNegativeInteger|))) T + (ELT $ 10)) + ((D ($ $)) T (ELT $ 8)) + ((|differentiate| ($ $)) T (ELT $ NIL))) + (|addModemap| '|DifferentialRing&| + '(|DifferentialRing&| |#1|) + '((CATEGORY |domain| + (SIGNATURE D (|#1| |#1| (|NonNegativeInteger|))) + (SIGNATURE |differentiate| + (|#1| |#1| (|NonNegativeInteger|))) + (SIGNATURE D (|#1| |#1|)) + (SIGNATURE |differentiate| (|#1| |#1|))) + (|DifferentialRing|)) + T '|DifferentialRing&| + (|put| '|DifferentialRing&| '|mode| + '(|Mapping| + (CATEGORY |domain| + (SIGNATURE D + (|#1| |#1| (|NonNegativeInteger|))) + (SIGNATURE |differentiate| + (|#1| |#1| (|NonNegativeInteger|))) + (SIGNATURE D (|#1| |#1|)) + (SIGNATURE |differentiate| + (|#1| |#1|))) + (|DifferentialRing|)) + |$CategoryFrame|)))) |