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.lsp216
1 files changed, 208 insertions, 8 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp
index 2ad4d6de..f1b5503b 100644
--- a/src/algebra/strap/SINT.lsp
+++ b/src/algebra/strap/SINT.lsp
@@ -262,7 +262,7 @@
(DEFUN |SingleInteger| ()
(PROG ()
(RETURN
- (PROG (#0=#:G1486)
+ (PROG (#0=#:G1488)
(RETURN
(COND
((LETT #0# (HGET |$ConstructorCache| '|SingleInteger|)
@@ -377,8 +377,8 @@
|UniqueFactorizationDomain&| NIL NIL
|GcdDomain&| |IntegralDomain&| |Algebra&| NIL
NIL |DifferentialRing&| |OrderedRing&| NIL NIL
- |Module&| NIL NIL |Ring&| NIL NIL NIL NIL NIL
- |AbelianGroup&| NIL NIL |AbelianMonoid&|
+ |Module&| NIL |Ring&| NIL NIL NIL NIL NIL
+ |AbelianGroup&| NIL NIL NIL |AbelianMonoid&|
|Monoid&| NIL NIL |OrderedSet&|
|AbelianSemiGroup&| |SemiGroup&| |Logic&| NIL
|SetCategory&| NIL NIL NIL NIL NIL NIL
@@ -393,15 +393,15 @@
(|LinearlyExplicitRingOver| 12)
(|DifferentialRing|) (|OrderedRing|)
(|CommutativeRing|) (|EntireRing|)
- (|Module| $$) (|OrderedAbelianGroup|)
- (|BiModule| $$ $$) (|Ring|)
- (|OrderedCancellationAbelianMonoid|)
+ (|Module| $$) (|BiModule| $$ $$)
+ (|Ring|) (|OrderedAbelianGroup|)
(|LeftModule| $$) (|Rng|)
(|RightModule| $$)
- (|OrderedAbelianMonoid|)
+ (|OrderedCancellationAbelianMonoid|)
(|AbelianGroup|)
- (|OrderedAbelianSemiGroup|)
+ (|OrderedAbelianMonoid|)
(|CancellationAbelianMonoid|)
+ (|OrderedAbelianSemiGroup|)
(|AbelianMonoid|) (|Monoid|)
(|StepThrough|) (|PatternMatchable| 12)
(|OrderedSet|) (|AbelianSemiGroup|)
@@ -460,4 +460,204 @@
1 2 0 0 103 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 $ 72))
+ ((|submod| ($ $ $ $)) T (ELT $ 74))
+ ((|addmod| ($ $ $ $)) T (ELT $ 73))
+ ((|mask| ($ $)) T (ELT $ NIL))
+ ((|dec| ($ $)) T (ELT $ 51))
+ ((|inc| ($ $)) T (ELT $ 50))
+ ((|copy| ($ $)) T (ELT $ NIL))
+ ((|hash| ($ $)) T (ELT $ 69))
+ ((|random| ($ $)) T (ELT $ 83))
+ ((|random| ($)) T (ELT $ 82))
+ ((|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 $ 80))
+ ((|bit?| ((|Boolean|) $ $)) T (ELT $ NIL))
+ ((|shift| ($ $ $)) T (ELT $ 71))
+ ((|length| ($ $)) T (ELT $ 70))
+ ((|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 $ 79))
+ ((|retract| ((|Integer|) $)) T (ELT $ NIL))
+ ((|retractIfCan| ((|Union| (|Integer|) "failed") $)) T
+ (ELT $ NIL))
+ ((|coerce| ($ (|Integer|))) T (ELT $ 81))
+ ((|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 $ 75))
+ ((|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 $ 85))
+ ((|exquo| ((|Union| $ "failed") $ $)) T (ELT $ NIL))
+ ((|coerce| ($ $)) T (ELT $ NIL))
+ ((|coerce| ($ (|Integer|))) T (ELT $ 81))
+ ((|characteristic| ((|NonNegativeInteger|))) T
+ (ELT $ NIL))
+ ((|One| ($)) T (CONST $ 36))
+ ((|one?| ((|Boolean|) $)) T (ELT $ 66))
+ ((** ($ $ (|NonNegativeInteger|))) T (ELT $ 57))
+ ((^ ($ $ (|NonNegativeInteger|))) T (ELT $ NIL))
+ ((|recip| ((|Union| $ "failed") $)) T (ELT $ NIL))
+ ((* ($ $ $)) T (ELT $ 55))
+ ((** ($ $ (|PositiveInteger|))) T (ELT $ NIL))
+ ((^ ($ $ (|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 $ NIL))
+ ((|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-09-08 04:44:39 +0000