diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-20 07:57:14 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-20 07:57:14 +0000 |
commit | 90dee68c255cd77c5e72fb78da8a02d07e3c1c49 (patch) | |
tree | f1bda1d35b9549660a6275890865894e87ebaf44 /src/algebra/strap/SINT.lsp | |
parent | 29c64f74f12bbeebb82045b08db420d2d2b60cf7 (diff) | |
download | open-axiom-90dee68c255cd77c5e72fb78da8a02d07e3c1c49.tar.gz |
* algebra/coerce.spad.pamphlet (CoercibleFrom): New.
(ConvertibleFrom): Likewise.
(RetractableTo): Use it.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
KRCFROM and KVTFROM.
* share/algebra/: Update databases.
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
-rw-r--r-- | src/algebra/strap/SINT.lsp | 202 |
1 files changed, 3 insertions, 199 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index f1c1c5f9..2da14713 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -572,7 +572,7 @@ (|leftUnitary| . 0) (|unitsKnown| . 0)) (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 - 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0)) (CONS '#(|IntegerNumberSystem&| |EuclideanDomain&| |UniqueFactorizationDomain&| NIL NIL |GcdDomain&| |IntegralDomain&| |Algebra&| NIL @@ -582,7 +582,7 @@ |Monoid&| NIL NIL |OrderedSet&| |AbelianSemiGroup&| |SemiGroup&| |Logic&| NIL |SetCategory&| NIL NIL NIL NIL NIL NIL - |RetractableTo&| NIL |BasicType&| NIL) + |RetractableTo&| NIL NIL |BasicType&| NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) @@ -613,6 +613,7 @@ (|ConvertibleTo| 92) (|ConvertibleTo| 94) (|RetractableTo| 12) + (|CoercibleFrom| 12) (|ConvertibleTo| 12) (|BasicType|) (|CoercibleTo| 29)) (|makeByteWordVec2| 104 @@ -659,201 +660,4 @@ 0 56 0 1 2 0 0 104 0 1))))) '|lookupComplete|)) -(SETQ |$CategoryFrame| - (|put| '|SingleInteger| '|isFunctor| - '(((|Or| ($ $ $)) T (ELT $ 47)) - ((|And| ($ $ $)) T (ELT $ 46)) - ((|Not| ($ $)) T (ELT $ 45)) - ((|xor| ($ $ $)) T (ELT $ 48)) - ((|not| ($ $)) T (ELT $ 42)) ((|min| ($)) T (ELT $ 39)) - ((|max| ($)) T (ELT $ 38)) - ((|OMwrite| ((|Void|) (|OpenMathDevice|) $ (|Boolean|))) - T (ELT $ 25)) - ((|OMwrite| ((|Void|) (|OpenMathDevice|) $)) T - (ELT $ 24)) - ((|OMwrite| ((|String|) $ (|Boolean|))) T (ELT $ 23)) - ((|OMwrite| ((|String|) $)) T (ELT $ 21)) - ((~ ($ $)) T (ELT $ 41)) ((|/\\| ($ $ $)) T (ELT $ 43)) - ((|\\/| ($ $ $)) T (ELT $ 44)) - ((|invmod| ($ $ $)) T (ELT $ NIL)) - ((|powmod| ($ $ $ $)) T (ELT $ NIL)) - ((|mulmod| ($ $ $ $)) T (ELT $ 73)) - ((|submod| ($ $ $ $)) T (ELT $ 75)) - ((|addmod| ($ $ $ $)) T (ELT $ 74)) - ((|mask| ($ $)) T (ELT $ NIL)) - ((|dec| ($ $)) T (ELT $ 51)) - ((|inc| ($ $)) T (ELT $ 50)) - ((|copy| ($ $)) T (ELT $ NIL)) - ((|random| ($ $)) T (ELT $ 84)) - ((|random| ($)) T (ELT $ 83)) - ((|rationalIfCan| - ((|Union| (|Fraction| (|Integer|)) "failed") $)) - T (ELT $ NIL)) - ((|rational| ((|Fraction| (|Integer|)) $)) T - (ELT $ NIL)) - ((|rational?| ((|Boolean|) $)) T (ELT $ NIL)) - ((|symmetricRemainder| ($ $ $)) T (ELT $ NIL)) - ((|positiveRemainder| ($ $ $)) T (ELT $ 81)) - ((|bit?| ((|Boolean|) $ $)) T (ELT $ NIL)) - ((|shift| ($ $ $)) T (ELT $ 72)) - ((|length| ($ $)) T (ELT $ 71)) - ((|base| ($)) T (ELT $ 37)) - ((|even?| ((|Boolean|) $)) T (ELT $ NIL)) - ((|odd?| ((|Boolean|) $)) T (ELT $ 64)) - ((|init| ($)) T (CONST $ NIL)) - ((|nextItem| ((|Union| $ "failed") $)) T (ELT $ NIL)) - ((|convert| ((|DoubleFloat|) $)) T (ELT $ NIL)) - ((|convert| ((|Float|) $)) T (ELT $ NIL)) - ((|permutation| ($ $ $)) T (ELT $ NIL)) - ((|factorial| ($ $)) T (ELT $ NIL)) - ((|binomial| ($ $ $)) T (ELT $ NIL)) - ((|patternMatch| - ((|PatternMatchResult| (|Integer|) $) $ - (|Pattern| (|Integer|)) - (|PatternMatchResult| (|Integer|) $))) - T (ELT $ NIL)) - ((|convert| ((|Pattern| (|Integer|)) $)) T (ELT $ NIL)) - ((|convert| ((|InputForm|) $)) T (ELT $ NIL)) - ((|reducedSystem| ((|Matrix| (|Integer|)) (|Matrix| $))) - T (ELT $ 28)) - ((|reducedSystem| - ((|Record| (|:| |mat| (|Matrix| (|Integer|))) - (|:| |vec| (|Vector| (|Integer|)))) - (|Matrix| $) (|Vector| $))) - T (ELT $ 80)) - ((|retract| ((|Integer|) $)) T (ELT $ NIL)) - ((|retractIfCan| ((|Union| (|Integer|) "failed") $)) T - (ELT $ NIL)) - ((|coerce| ($ (|Integer|))) T (ELT $ 82)) - ((|convert| ((|Integer|) $)) T (ELT $ 32)) - ((|differentiate| ($ $)) T (ELT $ NIL)) - ((D ($ $)) T (ELT $ NIL)) - ((|differentiate| ($ $ (|NonNegativeInteger|))) T - (ELT $ NIL)) - ((D ($ $ (|NonNegativeInteger|))) T (ELT $ NIL)) - ((|abs| ($ $)) T (ELT $ 63)) - ((|sign| ((|Integer|) $)) T (ELT $ NIL)) - ((|negative?| ((|Boolean|) $)) T (ELT $ 76)) - ((|positive?| ((|Boolean|) $)) T (ELT $ NIL)) - ((|min| ($ $ $)) T (ELT $ 68)) - ((|max| ($ $ $)) T (ELT $ 67)) - ((<= ((|Boolean|) $ $)) T (ELT $ NIL)) - ((>= ((|Boolean|) $ $)) T (ELT $ NIL)) - ((> ((|Boolean|) $ $)) T (ELT $ NIL)) - ((< ((|Boolean|) $ $)) T (ELT $ 49)) - ((|principalIdeal| - ((|Record| (|:| |coef| (|List| $)) - (|:| |generator| $)) - (|List| $))) - T (ELT $ NIL)) - ((|expressIdealMember| - ((|Union| (|List| $) "failed") (|List| $) $)) - T (ELT $ NIL)) - ((|sizeLess?| ((|Boolean|) $ $)) T (ELT $ NIL)) - ((|euclideanSize| ((|NonNegativeInteger|) $)) T - (ELT $ NIL)) - ((|divide| - ((|Record| (|:| |quotient| $) (|:| |remainder| $)) - $ $)) - T (ELT $ 61)) - ((|quo| ($ $ $)) T (ELT $ 58)) - ((|rem| ($ $ $)) T (ELT $ 59)) - ((|extendedEuclidean| - ((|Record| (|:| |coef1| $) (|:| |coef2| $) - (|:| |generator| $)) - $ $)) - T (ELT $ NIL)) - ((|extendedEuclidean| - ((|Union| (|Record| (|:| |coef1| $) - (|:| |coef2| $)) - "failed") - $ $ $)) - T (ELT $ NIL)) - ((|multiEuclidean| - ((|Union| (|List| $) "failed") (|List| $) $)) - T (ELT $ NIL)) - ((|factor| ((|Factored| $) $)) T (ELT $ NIL)) - ((|squareFreePart| ($ $)) T (ELT $ NIL)) - ((|squareFree| ((|Factored| $) $)) T (ELT $ NIL)) - ((|prime?| ((|Boolean|) $)) T (ELT $ NIL)) - ((|gcdPolynomial| - ((|SparseUnivariatePolynomial| $) - (|SparseUnivariatePolynomial| $) - (|SparseUnivariatePolynomial| $))) - T (ELT $ NIL)) - ((|lcm| ($ (|List| $))) T (ELT $ NIL)) - ((|lcm| ($ $ $)) T (ELT $ NIL)) - ((|gcd| ($ (|List| $))) T (ELT $ NIL)) - ((|gcd| ($ $ $)) T (ELT $ 62)) - ((|unit?| ((|Boolean|) $)) T (ELT $ NIL)) - ((|associates?| ((|Boolean|) $ $)) T (ELT $ NIL)) - ((|unitCanonical| ($ $)) T (ELT $ NIL)) - ((|unitNormal| - ((|Record| (|:| |unit| $) (|:| |canonical| $) - (|:| |associate| $)) - $)) - T (ELT $ 86)) - ((|exquo| ((|Union| $ "failed") $ $)) T (ELT $ NIL)) - ((|coerce| ($ $)) T (ELT $ NIL)) - ((|coerce| ($ (|Integer|))) T (ELT $ 82)) - ((|characteristic| ((|NonNegativeInteger|))) T - (ELT $ NIL)) - ((|One| ($)) T (CONST $ 36)) - ((|one?| ((|Boolean|) $)) T (ELT $ 66)) - ((** ($ $ (|NonNegativeInteger|))) T (ELT $ 57)) - ((|recip| ((|Union| $ "failed") $)) T (ELT $ NIL)) - ((* ($ $ $)) T (ELT $ 55)) - ((** ($ $ (|PositiveInteger|))) T (ELT $ NIL)) - ((* ($ (|Integer|) $)) T (ELT $ 34)) - ((- ($ $ $)) T (ELT $ 54)) ((- ($ $)) T (ELT $ 52)) - ((|subtractIfCan| ((|Union| $ "failed") $ $)) T - (ELT $ NIL)) - ((* ($ (|NonNegativeInteger|) $)) T (ELT $ NIL)) - ((|zero?| ((|Boolean|) $)) T (ELT $ 65)) - ((|sample| ($)) T (CONST $ NIL)) - ((|Zero| ($)) T (CONST $ 35)) - ((* ($ (|PositiveInteger|) $)) T (ELT $ NIL)) - ((+ ($ $ $)) T (ELT $ 53)) - ((|latex| ((|String|) $)) T (ELT $ NIL)) - ((|hash| ((|SingleInteger|) $)) T (ELT $ 70)) - ((|coerce| ((|OutputForm|) $)) T (ELT $ 31)) - ((= ((|Boolean|) $ $)) T (ELT $ 40)) - ((~= ((|Boolean|) $ $)) T (ELT $ NIL))) - (|addModemap| '|SingleInteger| '(|SingleInteger|) - '((|Join| (|IntegerNumberSystem|) (|Logic|) - (|OpenMath|) - (CATEGORY |domain| (ATTRIBUTE |canonical|) - (ATTRIBUTE |canonicalsClosed|) - (ATTRIBUTE |noetherian|) - (SIGNATURE |max| ($)) - (SIGNATURE |min| ($)) - (SIGNATURE |not| ($ $)) - (SIGNATURE ~ ($ $)) - (SIGNATURE |/\\| ($ $ $)) - (SIGNATURE |\\/| ($ $ $)) - (SIGNATURE |xor| ($ $ $)) - (SIGNATURE |Not| ($ $)) - (SIGNATURE |And| ($ $ $)) - (SIGNATURE |Or| ($ $ $))))) - T '|SingleInteger| - (|put| '|SingleInteger| '|mode| - '(|Mapping| - (|Join| (|IntegerNumberSystem|) (|Logic|) - (|OpenMath|) - (CATEGORY |domain| - (ATTRIBUTE |canonical|) - (ATTRIBUTE |canonicalsClosed|) - (ATTRIBUTE |noetherian|) - (SIGNATURE |max| ($)) - (SIGNATURE |min| ($)) - (SIGNATURE |not| ($ $)) - (SIGNATURE ~ ($ $)) - (SIGNATURE |/\\| ($ $ $)) - (SIGNATURE |\\/| ($ $ $)) - (SIGNATURE |xor| ($ $ $)) - (SIGNATURE |Not| ($ $)) - (SIGNATURE |And| ($ $ $)) - (SIGNATURE |Or| ($ $ $))))) - |$CategoryFrame|)))) - (MAKEPROP '|SingleInteger| 'NILADIC T) |