diff options
Diffstat (limited to 'src/algebra/strap/FPS-.lsp')
-rw-r--r-- | src/algebra/strap/FPS-.lsp | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/src/algebra/strap/FPS-.lsp b/src/algebra/strap/FPS-.lsp index 312a0bbc..6cbb70df 100644 --- a/src/algebra/strap/FPS-.lsp +++ b/src/algebra/strap/FPS-.lsp @@ -55,41 +55,3 @@ 13 2 9 0 7 0 14 0 6 0 15 2 0 0 9 9 11 0 0 7 16))))) '|lookupComplete|)) - -(SETQ |$CategoryFrame| - (|put| '|FloatingPointSystem&| '|isFunctor| - '(((|digits| ((|PositiveInteger|) (|PositiveInteger|))) T - (ELT $ NIL)) - ((|digits| ((|PositiveInteger|))) T (ELT $ 16)) - ((|float| ($ (|Integer|) (|Integer|) - (|PositiveInteger|))) - T (ELT $ NIL)) - ((|float| ($ (|Integer|) (|Integer|))) T (ELT $ 11))) - (|addModemap| '|FloatingPointSystem&| - '(|FloatingPointSystem&| |#1|) - '((CATEGORY |domain| - (SIGNATURE |digits| - ((|PositiveInteger|) (|PositiveInteger|))) - (SIGNATURE |digits| ((|PositiveInteger|))) - (SIGNATURE |float| - (|#1| (|Integer|) (|Integer|) - (|PositiveInteger|))) - (SIGNATURE |float| - (|#1| (|Integer|) (|Integer|)))) - (|FloatingPointSystem|)) - T '|FloatingPointSystem&| - (|put| '|FloatingPointSystem&| '|mode| - '(|Mapping| - (CATEGORY |domain| - (SIGNATURE |digits| - ((|PositiveInteger|) - (|PositiveInteger|))) - (SIGNATURE |digits| - ((|PositiveInteger|))) - (SIGNATURE |float| - (|#1| (|Integer|) (|Integer|) - (|PositiveInteger|))) - (SIGNATURE |float| - (|#1| (|Integer|) (|Integer|)))) - (|FloatingPointSystem|)) - |$CategoryFrame|)))) |