diff options
Diffstat (limited to 'src/algebra/strap/RNS.lsp')
-rw-r--r-- | src/algebra/strap/RNS.lsp | 55 |
1 files changed, 23 insertions, 32 deletions
diff --git a/src/algebra/strap/RNS.lsp b/src/algebra/strap/RNS.lsp index 6a02c744..baaa933b 100644 --- a/src/algebra/strap/RNS.lsp +++ b/src/algebra/strap/RNS.lsp @@ -4,39 +4,30 @@ (DEFPARAMETER |RealNumberSystem;AL| 'NIL) (DEFUN |RealNumberSystem;| () - (PROG (#0=#:G1405) - (RETURN - (PROG1 (LETT #0# - (|sublisV| - (PAIR '(#1=#:G1401 #2=#:G1402 #3=#:G1403 - #4=#:G1404) - (LIST '(|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))) - |RealNumberSystem|) - (|setShellEntry| #0# 0 '(|RealNumberSystem|)))))) + (LET ((#0=#:G1405 + (|sublisV| + (PAIR '(#1=#:G1401 #2=#:G1402 #3=#:G1403 #4=#:G1404) + (LIST '(|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))))) + (|setShellEntry| #0# 0 '(|RealNumberSystem|)) + #0#)) (DEFUN |RealNumberSystem| () - (LET () - (COND - (|RealNumberSystem;AL|) - (T (SETQ |RealNumberSystem;AL| (|RealNumberSystem;|)))))) + (COND + (|RealNumberSystem;AL|) + (T (SETQ |RealNumberSystem;AL| (|RealNumberSystem;|))))) (MAKEPROP '|RealNumberSystem| 'NILADIC T) |