diff options
Diffstat (limited to 'src/algebra/strap/RNS-.lsp')
| -rw-r--r-- | src/algebra/strap/RNS-.lsp | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/src/algebra/strap/RNS-.lsp b/src/algebra/strap/RNS-.lsp index 693f7a64..09bc6d11 100644 --- a/src/algebra/strap/RNS-.lsp +++ b/src/algebra/strap/RNS-.lsp @@ -1,8 +1,39 @@ (/VERSIONCHECK 2) +(DECLAIM (FTYPE (FUNCTION (|%Shell|) (|%IntegerSection| 0)) + |RNS-;characteristic;Nni;1|)) + (PUT '|RNS-;characteristic;Nni;1| '|SPADreplace| '(XLAM NIL 0)) +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) + |RNS-;fractionPart;2S;2|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) + |RNS-;truncate;2S;3|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) + |RNS-;round;2S;4|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) + |RNS-;norm;2S;5|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) + |RNS-;coerce;FS;6|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) + |RNS-;convert;SP;7|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) + |RNS-;floor;2S;8|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) + |RNS-;ceiling;2S;9|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|) + |%Thing|) + |RNS-;patternMatch;SP2Pmr;10|)) + (DEFUN |RNS-;characteristic;Nni;1| ($) 0) (DEFUN |RNS-;fractionPart;2S;2| (|x| $) |