aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/SINT.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
-rw-r--r--src/algebra/strap/SINT.lsp202
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)
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 02:44:41 +0000