diff options
Diffstat (limited to 'src/algebra/strap')
-rw-r--r-- | src/algebra/strap/INT.lsp | 3 | ||||
-rw-r--r-- | src/algebra/strap/SINT.lsp | 6 |
2 files changed, 3 insertions, 6 deletions
diff --git a/src/algebra/strap/INT.lsp b/src/algebra/strap/INT.lsp index d7368a63..52c49a41 100644 --- a/src/algebra/strap/INT.lsp +++ b/src/algebra/strap/INT.lsp @@ -261,8 +261,7 @@ (PUT '|INT;dec;2$;13| '|SPADreplace| '(XLAM (|x|) (|%isub| |x| 1))) -(PUT '|INT;unitCanonical;2$;55| '|SPADreplace| - '(XLAM (|x|) (|%iabs| |x|))) +(PUT '|INT;unitCanonical;2$;55| '|SPADreplace| '|%iabs|) (DEFUN |INT;writeOMInt| (|dev| |x| $) (SEQ (COND diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index 7aaa1956..4dcb6617 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -278,11 +278,9 @@ (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Shell|) |SINT;unitNormal;$R;62|)) -(PUT '|SINT;and;3$;22| '|SPADreplace| - '(XLAM (|x| |y|) (LOGAND |x| |y|))) +(PUT '|SINT;and;3$;22| '|SPADreplace| 'LOGAND) -(PUT '|SINT;or;3$;24| '|SPADreplace| - '(XLAM (|x| |y|) (LOGIOR |x| |y|))) +(PUT '|SINT;or;3$;24| '|SPADreplace| 'LOGIOR) (PUT '|SINT;one?;$B;44| '|SPADreplace| '(XLAM (|x|) (|%ieq| |x| 1))) |