diff options
Diffstat (limited to 'src/algebra/strap/EUCDOM.lsp')
-rw-r--r-- | src/algebra/strap/EUCDOM.lsp | 80 |
1 files changed, 37 insertions, 43 deletions
diff --git a/src/algebra/strap/EUCDOM.lsp b/src/algebra/strap/EUCDOM.lsp index b4b66503..ecceaa38 100644 --- a/src/algebra/strap/EUCDOM.lsp +++ b/src/algebra/strap/EUCDOM.lsp @@ -4,50 +4,44 @@ (DEFPARAMETER |EuclideanDomain;AL| 'NIL) (DEFUN |EuclideanDomain;| () - (PROG (#0=#:G1413) - (RETURN - (PROG1 (LETT #0# - (|Join| (|PrincipalIdealDomain|) - (|mkCategory| '|domain| - '(((|sizeLess?| ((|Boolean|) $ $)) T) - ((|euclideanSize| - ((|NonNegativeInteger|) $)) - T) - ((|divide| - ((|Record| (|:| |quotient| $) - (|:| |remainder| $)) - $ $)) - T) - ((|quo| ($ $ $)) T) - ((|rem| ($ $ $)) T) - ((|extendedEuclidean| - ((|Record| (|:| |coef1| $) - (|:| |coef2| $) - (|:| |generator| $)) - $ $)) - T) - ((|extendedEuclidean| - ((|Union| - (|Record| (|:| |coef1| $) - (|:| |coef2| $)) - "failed") - $ $ $)) - T) - ((|multiEuclidean| - ((|Union| (|List| $) "failed") - (|List| $) $)) - T)) - NIL - '((|List| $) (|NonNegativeInteger|) - (|Boolean|)) - NIL)) - |EuclideanDomain|) - (|setShellEntry| #0# 0 '(|EuclideanDomain|)))))) + (LET ((#0=#:G1413 + (|Join| (|PrincipalIdealDomain|) + (|mkCategory| '|domain| + '(((|sizeLess?| ((|Boolean|) $ $)) T) + ((|euclideanSize| ((|NonNegativeInteger|) $)) + T) + ((|divide| + ((|Record| (|:| |quotient| $) + (|:| |remainder| $)) + $ $)) + T) + ((|quo| ($ $ $)) T) ((|rem| ($ $ $)) T) + ((|extendedEuclidean| + ((|Record| (|:| |coef1| $) + (|:| |coef2| $) + (|:| |generator| $)) + $ $)) + T) + ((|extendedEuclidean| + ((|Union| (|Record| (|:| |coef1| $) + (|:| |coef2| $)) + "failed") + $ $ $)) + T) + ((|multiEuclidean| + ((|Union| (|List| $) "failed") + (|List| $) $)) + T)) + NIL + '((|List| $) (|NonNegativeInteger|) + (|Boolean|)) + NIL)))) + (|setShellEntry| #0# 0 '(|EuclideanDomain|)) + #0#)) (DEFUN |EuclideanDomain| () - (LET () - (COND - (|EuclideanDomain;AL|) - (T (SETQ |EuclideanDomain;AL| (|EuclideanDomain;|)))))) + (COND + (|EuclideanDomain;AL|) + (T (SETQ |EuclideanDomain;AL| (|EuclideanDomain;|))))) (MAKEPROP '|EuclideanDomain| 'NILADIC T) |