diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-11 21:16:28 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-11 21:16:28 +0000 |
| commit | 5687e549faf2a00133c91dd21b48d876e0e2c449 (patch) | |
| tree | 81c27b56ba305a55c7aba8442ff36f7333096050 /src/algebra/strap/NNI.lsp | |
| parent | 567d3bbfc92aad2305987e3d6adedcb92615d5d5 (diff) | |
| download | open-axiom-5687e549faf2a00133c91dd21b48d876e0e2c449.tar.gz | |
Update algebra bootstrap cache.
Diffstat (limited to 'src/algebra/strap/NNI.lsp')
| -rw-r--r-- | src/algebra/strap/NNI.lsp | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp index 35a0c86b..3628c587 100644 --- a/src/algebra/strap/NNI.lsp +++ b/src/algebra/strap/NNI.lsp @@ -11,12 +11,28 @@ |$CategoryFrame|))) |$CategoryFrame|))) +(DECLAIM (FTYPE (FUNCTION + ((|%IntegerSection| 0) (|%IntegerSection| 0) + |%Shell|) + (|%IntegerSection| 0)) + |NNI;sup;3$;1|)) + (PUT '|NNI;sup;3$;1| '|SPADreplace| 'MAX) -(DEFUN |NNI;sup;3$;1| (|x| |y| $) (MAX |x| |y|)) +(DECLAIM (FTYPE (FUNCTION ((|%IntegerSection| 0) |%Integer| |%Shell|) + (|%IntegerSection| 0)) + |NNI;shift;$I$;2|)) (PUT '|NNI;shift;$I$;2| '|SPADreplace| 'ASH) +(DECLAIM (FTYPE (FUNCTION + ((|%IntegerSection| 0) (|%IntegerSection| 0) + |%Shell|) + |%Pair|) + |NNI;subtractIfCan;2$U;3|)) + +(DEFUN |NNI;sup;3$;1| (|x| |y| $) (MAX |x| |y|)) + (DEFUN |NNI;shift;$I$;2| (|x| |n| $) (ASH |x| |n|)) (DEFUN |NNI;subtractIfCan;2$U;3| (|x| |y| $) @@ -30,7 +46,7 @@ (DEFUN |NonNegativeInteger| () (PROG () (RETURN - (PROG (#0=#:G1406) + (PROG (#0=#:G1409) (RETURN (COND ((LETT #0# (HGET |$ConstructorCache| '|NonNegativeInteger|) |