diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-17 08:59:26 +0000 |
| commit | 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 (patch) | |
| tree | fc93b37d696d3c1ca38437a5ad9a815a85fe46b7 /src/algebra/strap/EUCDOM.lsp | |
| parent | ffb91646c6f11e84fa886aa5abc2de61ba291cc1 (diff) | |
| download | open-axiom-5e504b6abaef6cf7e7c58c17e26bec33856b60c0.tar.gz | |
* algebra/Makefile.pamphlet (all-algstrap): New.
* algebra/strap: Update cached Lisp translation.
Diffstat (limited to 'src/algebra/strap/EUCDOM.lsp')
| -rw-r--r-- | src/algebra/strap/EUCDOM.lsp | 97 |
1 files changed, 51 insertions, 46 deletions
diff --git a/src/algebra/strap/EUCDOM.lsp b/src/algebra/strap/EUCDOM.lsp index c58fa54c..2597fe0b 100644 --- a/src/algebra/strap/EUCDOM.lsp +++ b/src/algebra/strap/EUCDOM.lsp @@ -1,53 +1,58 @@ -(|/VERSIONCHECK| 2) -(DEFPARAMETER |EuclideanDomain;AL| (QUOTE NIL)) +(/VERSIONCHECK 2) -(DEFUN |EuclideanDomain| NIL - (LET (#:G83585) - (COND +(DEFPARAMETER |EuclideanDomain;AL| 'NIL) + +(DEFUN |EuclideanDomain| () + (LET (#:G1411) + (COND (|EuclideanDomain;AL|) (T (SETQ |EuclideanDomain;AL| (|EuclideanDomain;|)))))) -(DEFUN |EuclideanDomain;| NIL - (PROG (#1=#:G83583) - (RETURN - (PROG1 - (LETT #1# - (|Join| - (|PrincipalIdealDomain|) - (|mkCategory| - (QUOTE |domain|) - (QUOTE ( - ((|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 - (QUOTE ((|List| |$|) (|NonNegativeInteger|) (|Boolean|))) - NIL)) - |EuclideanDomain|) - (SETELT #1# 0 (QUOTE (|EuclideanDomain|))))))) +(DEFUN |EuclideanDomain;| () + (PROG (#0=#:G1409) + (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|) + (SETELT #0# 0 '(|EuclideanDomain|)))))) -(MAKEPROP (QUOTE |EuclideanDomain|) (QUOTE NILADIC) T) +(SETQ |$CategoryFrame| + (|put| '|EuclideanDomain| '|isCategory| T + (|addModemap| '|EuclideanDomain| '(|EuclideanDomain|) + '((|Category|)) T '|EuclideanDomain| |$CategoryFrame|))) +(MAKEPROP '|EuclideanDomain| 'NILADIC T) |