diff options
Diffstat (limited to 'src/algebra/strap/RNS.lsp')
| -rw-r--r-- | src/algebra/strap/RNS.lsp | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/src/algebra/strap/RNS.lsp b/src/algebra/strap/RNS.lsp deleted file mode 100644 index 5dd2cd32..00000000 --- a/src/algebra/strap/RNS.lsp +++ /dev/null @@ -1,33 +0,0 @@ - -(/VERSIONCHECK 2) - -(DEFPARAMETER |RealNumberSystem;AL| 'NIL) - -(DEFUN |RealNumberSystem;| () - (LET ((#0=#:G1381 - (|sublisV| - (PAIR '(#1=#:G1377 #2=#:G1378 #3=#:G1379 #4=#:G1380) - '((|Integer|) (|Fraction| (|Integer|)) - (|Pattern| (|Float|)) (|Float|))) - (|Join| (|Field|) (|OrderedRing|) (|RealConstant|) - (|RetractableTo| '#1#) (|RetractableTo| '#2#) - (|RadicalCategory|) (|ConvertibleTo| '#3#) - (|PatternMatchable| '#4#) - (|CharacteristicZero|) - (|mkCategory| '|domain| - '(((|norm| ($ $)) T) ((|ceiling| ($ $)) T) - ((|floor| ($ $)) T) - ((|wholePart| ((|Integer|) $)) T) - ((|fractionPart| ($ $)) T) - ((|truncate| ($ $)) T) - ((|round| ($ $)) T) ((|abs| ($ $)) T)) - NIL '((|Integer|)) NIL))))) - (SETF (|shellEntry| #0# 0) '(|RealNumberSystem|)) - #0#)) - -(DEFUN |RealNumberSystem| () - (COND - (|RealNumberSystem;AL|) - (T (SETQ |RealNumberSystem;AL| (|RealNumberSystem;|))))) - -(MAKEPROP '|RealNumberSystem| 'NILADIC T) |