diff options
Diffstat (limited to 'src/algebra/strap/NNI.lsp')
-rw-r--r-- | src/algebra/strap/NNI.lsp | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp index a6017162..9d034bca 100644 --- a/src/algebra/strap/NNI.lsp +++ b/src/algebra/strap/NNI.lsp @@ -1,15 +1,8 @@ (/VERSIONCHECK 2) -(SETQ |$CategoryFrame| - (|put| #0='|NonNegativeInteger| '|SuperDomain| #1='(|Integer|) - (|put| #1# '|SubDomain| - (CONS '(|NonNegativeInteger| COND ((< |#1| 0) 'NIL) - ('T 'T)) - (DELASC #0# - (|get| #1# '|SubDomain| - |$CategoryFrame|))) - |$CategoryFrame|))) +(|noteSubDomainInfo| '|NonNegativeInteger| '(|Integer|) + '(COND ((< |#1| 0) 'NIL) ('T 'T))) (DECLAIM (FTYPE (FUNCTION ((|%IntegerSection| 0) (|%IntegerSection| 0) |