diff options
Diffstat (limited to 'src/algebra/strap/INT.lsp')
| -rw-r--r-- | src/algebra/strap/INT.lsp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp index 2447d8a2..bee3b83c 100644 --- a/src/algebra/strap/INT.lsp +++ b/src/algebra/strap/INT.lsp @@ -125,6 +125,9 @@ (DECLAIM (FTYPE (FUNCTION (|%Thing| (|%Vector| *) |%Shell|) |%Pair|) |INT;reducedSystem;MVR;30|)) +(PUT '|INT;reducedSystem;MVR;30| '|SPADreplace| + '(XLAM (|m| |v|) (CONS |m| '|vec|))) + (DECLAIM (FTYPE (FUNCTION (|%Integer| |%Shell|) |%Integer|) |INT;abs;2$;31|)) @@ -392,7 +395,9 @@ (DEFUN |INT;reducedSystem;2M;29| (|m| $) (DECLARE (IGNORE $)) |m|) -(DEFUN |INT;reducedSystem;MVR;30| (|m| |v| $) (CONS |m| '|vec|)) +(DEFUN |INT;reducedSystem;MVR;30| (|m| |v| $) + (DECLARE (IGNORE $)) + (CONS |m| '|vec|)) (DEFUN |INT;abs;2$;31| (|x| $) (DECLARE (IGNORE $)) (ABS |x|)) |