diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-05 01:23:36 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-05 01:23:36 +0000 |
| commit | 5768bef1b2b7cd3fd38733a26a33ec2f0d8e6c01 (patch) | |
| tree | bbe038276bb180f6d391dee2ca22388cd1aba2d2 /src/algebra/strap/INS.lsp | |
| parent | 9d2955097e1bd70c06df5c5a55da67fb151466c2 (diff) | |
| download | open-axiom-5768bef1b2b7cd3fd38733a26a33ec2f0d8e6c01.tar.gz | |
* interp/c-util.boot (backendCompileSPADSLAM): Generate more
readable Lisp code.
Diffstat (limited to 'src/algebra/strap/INS.lsp')
| -rw-r--r-- | src/algebra/strap/INS.lsp | 115 |
1 files changed, 51 insertions, 64 deletions
diff --git a/src/algebra/strap/INS.lsp b/src/algebra/strap/INS.lsp index ef6261ca..774558d4 100644 --- a/src/algebra/strap/INS.lsp +++ b/src/algebra/strap/INS.lsp @@ -4,71 +4,58 @@ (DEFPARAMETER |IntegerNumberSystem;AL| 'NIL) (DEFUN |IntegerNumberSystem;| () - (PROG (#0=#:G1413) - (RETURN - (PROG1 (LETT #0# - (|sublisV| - (PAIR '(#1=#:G1407 #2=#:G1408 #3=#:G1409 - #4=#:G1410 #5=#:G1411 #6=#:G1412) - (LIST '(|Integer|) '(|Integer|) - '(|Integer|) '(|InputForm|) - '(|Pattern| (|Integer|)) - '(|Integer|))) - (|Join| (|UniqueFactorizationDomain|) - (|EuclideanDomain|) - (|OrderedIntegralDomain|) - (|DifferentialRing|) - (|ConvertibleTo| '#1#) - (|RetractableTo| '#2#) - (|LinearlyExplicitRingOver| '#3#) - (|ConvertibleTo| '#4#) - (|ConvertibleTo| '#5#) - (|PatternMatchable| '#6#) - (|CombinatorialFunctionCategory|) - (|RealConstant|) (|CharacteristicZero|) - (|StepThrough|) - (|mkCategory| '|domain| - '(((|odd?| ((|Boolean|) $)) T) - ((|even?| ((|Boolean|) $)) T) - ((|base| ($)) T) - ((|length| ($ $)) T) - ((|shift| ($ $ $)) T) - ((|bit?| ((|Boolean|) $ $)) T) - ((|positiveRemainder| ($ $ $)) T) - ((|symmetricRemainder| ($ $ $)) T) - ((|rational?| ((|Boolean|) $)) T) - ((|rational| - ((|Fraction| (|Integer|)) $)) - T) - ((|rationalIfCan| - ((|Union| - (|Fraction| (|Integer|)) - "failed") - $)) - T) - ((|random| ($)) T) - ((|random| ($ $)) T) - ((|copy| ($ $)) T) - ((|inc| ($ $)) T) - ((|dec| ($ $)) T) - ((|mask| ($ $)) T) - ((|addmod| ($ $ $ $)) T) - ((|submod| ($ $ $ $)) T) - ((|mulmod| ($ $ $ $)) T) - ((|powmod| ($ $ $ $)) T) - ((|invmod| ($ $ $)) T)) - '((|multiplicativeValuation| T) - (|canonicalUnitNormal| T)) - '((|Fraction| (|Integer|)) - (|Boolean|)) - NIL))) - |IntegerNumberSystem|) - (|setShellEntry| #0# 0 '(|IntegerNumberSystem|)))))) + (LET ((#0=#:G1413 + (|sublisV| + (PAIR '(#1=#:G1407 #2=#:G1408 #3=#:G1409 #4=#:G1410 + #5=#:G1411 #6=#:G1412) + (LIST '(|Integer|) '(|Integer|) '(|Integer|) + '(|InputForm|) '(|Pattern| (|Integer|)) + '(|Integer|))) + (|Join| (|UniqueFactorizationDomain|) + (|EuclideanDomain|) (|OrderedIntegralDomain|) + (|DifferentialRing|) (|ConvertibleTo| '#1#) + (|RetractableTo| '#2#) + (|LinearlyExplicitRingOver| '#3#) + (|ConvertibleTo| '#4#) (|ConvertibleTo| '#5#) + (|PatternMatchable| '#6#) + (|CombinatorialFunctionCategory|) + (|RealConstant|) (|CharacteristicZero|) + (|StepThrough|) + (|mkCategory| '|domain| + '(((|odd?| ((|Boolean|) $)) T) + ((|even?| ((|Boolean|) $)) T) + ((|base| ($)) T) ((|length| ($ $)) T) + ((|shift| ($ $ $)) T) + ((|bit?| ((|Boolean|) $ $)) T) + ((|positiveRemainder| ($ $ $)) T) + ((|symmetricRemainder| ($ $ $)) T) + ((|rational?| ((|Boolean|) $)) T) + ((|rational| + ((|Fraction| (|Integer|)) $)) + T) + ((|rationalIfCan| + ((|Union| (|Fraction| (|Integer|)) + "failed") + $)) + T) + ((|random| ($)) T) ((|random| ($ $)) T) + ((|copy| ($ $)) T) ((|inc| ($ $)) T) + ((|dec| ($ $)) T) ((|mask| ($ $)) T) + ((|addmod| ($ $ $ $)) T) + ((|submod| ($ $ $ $)) T) + ((|mulmod| ($ $ $ $)) T) + ((|powmod| ($ $ $ $)) T) + ((|invmod| ($ $ $)) T)) + '((|multiplicativeValuation| T) + (|canonicalUnitNormal| T)) + '((|Fraction| (|Integer|)) (|Boolean|)) + NIL))))) + (|setShellEntry| #0# 0 '(|IntegerNumberSystem|)) + #0#)) (DEFUN |IntegerNumberSystem| () - (LET () - (COND - (|IntegerNumberSystem;AL|) - (T (SETQ |IntegerNumberSystem;AL| (|IntegerNumberSystem;|)))))) + (COND + (|IntegerNumberSystem;AL|) + (T (SETQ |IntegerNumberSystem;AL| (|IntegerNumberSystem;|))))) (MAKEPROP '|IntegerNumberSystem| 'NILADIC T) |