diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-01-31 01:48:20 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-01-31 01:48:20 +0000 |
| commit | 03c09deff90cb2eb7a85730f7e74bce2df268b47 (patch) | |
| tree | 9e4a0a2dc92091e3ffc1f21bfba4849dbc367b2e /src/algebra/strap | |
| parent | a31c0a21788a17c1bce15120225bc5a15fa1da33 (diff) | |
| download | open-axiom-03c09deff90cb2eb7a85730f7e74bce2df268b47.tar.gz | |
* interp/vmlisp.lisp: Remove QREFELT, QSDEC1, QSETREFV, QSETVELT,
QSETVELT-1, QSINC1, QVELT, QVELT-1.
* algebra/si.spad.pamphlet: Use %iinc and %idec forms.
Diffstat (limited to 'src/algebra/strap')
| -rw-r--r-- | src/algebra/strap/SINT.lsp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index 4f8af7d9..a3c55e19 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -131,12 +131,12 @@ (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|) |SINT;inc;2$;30|)) -(PUT '|SINT;inc;2$;30| '|SPADreplace| 'QSADD1) +(PUT '|SINT;inc;2$;30| '|SPADreplace| '|%iinc|) (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|) |SINT;dec;2$;31|)) -(PUT '|SINT;dec;2$;31| '|SPADreplace| 'QSSUB1) +(PUT '|SINT;dec;2$;31| '|SPADreplace| '|%idec|) (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Short|) |SINT;-;2$;32|)) @@ -398,9 +398,9 @@ (DECLARE (IGNORE $)) (NOT (< |x| |y|))) -(DEFUN |SINT;inc;2$;30| (|x| $) (DECLARE (IGNORE $)) (QSADD1 |x|)) +(DEFUN |SINT;inc;2$;30| (|x| $) (DECLARE (IGNORE $)) (1+ |x|)) -(DEFUN |SINT;dec;2$;31| (|x| $) (DECLARE (IGNORE $)) (QSSUB1 |x|)) +(DEFUN |SINT;dec;2$;31| (|x| $) (DECLARE (IGNORE $)) (1- |x|)) (DEFUN |SINT;-;2$;32| (|x| $) (DECLARE (IGNORE $)) (- |x|)) |