diff options
Diffstat (limited to 'src/algebra/strap')
| -rw-r--r-- | src/algebra/strap/NNI.lsp | 11 | ||||
| -rw-r--r-- | src/algebra/strap/PI.lsp | 11 | ||||
| -rw-r--r-- | src/algebra/strap/SINT.lsp | 9 |
3 files changed, 5 insertions, 26 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) diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp index 2cf0e75e..72a7e508 100644 --- a/src/algebra/strap/PI.lsp +++ b/src/algebra/strap/PI.lsp @@ -1,15 +1,8 @@ (/VERSIONCHECK 2) -(SETQ |$CategoryFrame| - (|put| #0='|PositiveInteger| '|SuperDomain| - #1='(|NonNegativeInteger|) - (|put| #1# '|SubDomain| - (CONS '(|PositiveInteger| < 0 |#1|) - (DELASC #0# - (|get| #1# '|SubDomain| - |$CategoryFrame|))) - |$CategoryFrame|))) +(|noteSubDomainInfo| '|PositiveInteger| '(|NonNegativeInteger|) + '(< 0 |#1|)) (DEFUN |PositiveInteger| () (PROG () diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index 7db8a6cd..90441a90 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -1,14 +1,7 @@ (/VERSIONCHECK 2) -(SETQ |$CategoryFrame| - (|put| #0='|SingleInteger| '|SuperDomain| #1='(|Integer|) - (|put| #1# '|SubDomain| - (CONS '(|SingleInteger| SMINTP |#1|) - (DELASC #0# - (|get| #1# '|SubDomain| - |$CategoryFrame|))) - |$CategoryFrame|))) +(|noteSubDomainInfo| '|SingleInteger| '(|Integer|) '(SMINTP |#1|)) (DECLAIM (FTYPE (FUNCTION (|%Thing| |%Short| |%Shell|) |%Void|) |SINT;writeOMSingleInt|)) |