diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-25 03:44:16 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-25 03:44:16 +0000 |
| commit | 094e16ae834eaf254a85781d759e0399a9269fb1 (patch) | |
| tree | e5e237ccddba087d995b9b1c879db3165f62d476 /src/algebra/strap | |
| parent | 2341ec9865ba01ce326f6eb46bddef32cb2a83b8 (diff) | |
| download | open-axiom-094e16ae834eaf254a85781d759e0399a9269fb1.tar.gz | |
* interp/c-util.boot (expandableDefinition?): Try to make it a
forwarding function if possible.
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))) |