aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/QFCAT-.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/QFCAT-.lsp')
-rw-r--r--src/algebra/strap/QFCAT-.lsp266
1 files changed, 266 insertions, 0 deletions
diff --git a/src/algebra/strap/QFCAT-.lsp b/src/algebra/strap/QFCAT-.lsp
index 2197438a..3ef776d0 100644
--- a/src/algebra/strap/QFCAT-.lsp
+++ b/src/algebra/strap/QFCAT-.lsp
@@ -438,3 +438,269 @@
67 0 70 1 0 76 0 79 1 0 0 55 57 1 0 0
85 90 0 0 29 31 2 0 48 0 0 50)))))
'|lookupComplete|))
+
+(SETQ |$CategoryFrame|
+ (|put| '|QuotientFieldCategory&| '|isFunctor|
+ '(((< ((|Boolean|) $ $)) T (ELT $ 50))
+ ((|init| ($)) T (ELT $ 16))
+ ((|nextItem| ((|Union| $ "failed") $)) T (ELT $ 20))
+ ((|retract| ((|Integer|) $)) T (ELT $ 92))
+ ((|retractIfCan| ((|Union| (|Integer|) "failed") $)) T
+ (ELT $ 95))
+ ((|retract| ((|Fraction| (|Integer|)) $)) T (ELT $ NIL))
+ ((|retractIfCan|
+ ((|Union| (|Fraction| (|Integer|)) "failed") $))
+ T (ELT $ NIL))
+ ((|convert| ((|DoubleFloat|) $)) T (ELT $ 47))
+ ((|convert| ((|Float|) $)) T (ELT $ 44))
+ ((|convert| ((|InputForm|) $)) T (ELT $ 40))
+ ((|retract| ((|Symbol|) $)) T (ELT $ 60))
+ ((|retractIfCan| ((|Union| (|Symbol|) "failed") $)) T
+ (ELT $ 65))
+ ((|coerce| ($ (|Symbol|))) T (ELT $ 57))
+ ((|random| ($)) T (ELT $ 98))
+ ((|fractionPart| ($ $)) T (ELT $ 54))
+ ((|denominator| ($ $)) T (ELT $ 12))
+ ((|numerator| ($ $)) T (ELT $ 10))
+ ((|patternMatch|
+ ((|PatternMatchResult| (|Float|) $) $
+ (|Pattern| (|Float|))
+ (|PatternMatchResult| (|Float|) $)))
+ T (ELT $ 84))
+ ((|patternMatch|
+ ((|PatternMatchResult| (|Integer|) $) $
+ (|Pattern| (|Integer|))
+ (|PatternMatchResult| (|Integer|) $)))
+ T (ELT $ 75))
+ ((|convert| ((|Pattern| (|Float|)) $)) T (ELT $ 79))
+ ((|convert| ((|Pattern| (|Integer|)) $)) T (ELT $ 70))
+ ((|reducedSystem| ((|Matrix| |#2|) (|Matrix| $))) T
+ (ELT $ 28))
+ ((|reducedSystem|
+ ((|Record| (|:| |mat| (|Matrix| |#2|))
+ (|:| |vec| (|Vector| |#2|)))
+ (|Matrix| $) (|Vector| $)))
+ T (ELT $ 112))
+ ((|reducedSystem|
+ ((|Record| (|:| |mat| (|Matrix| (|Integer|)))
+ (|:| |vec| (|Vector| (|Integer|))))
+ (|Matrix| $) (|Vector| $)))
+ T (ELT $ NIL))
+ ((|reducedSystem| ((|Matrix| (|Integer|)) (|Matrix| $)))
+ T (ELT $ NIL))
+ ((|differentiate| ($ $ (|Mapping| |#2| |#2|))) T
+ (ELT $ 36))
+ ((|differentiate|
+ ($ $ (|Mapping| |#2| |#2|) (|NonNegativeInteger|)))
+ T (ELT $ NIL))
+ ((|differentiate|
+ ($ $ (|List| (|Symbol|))
+ (|List| (|NonNegativeInteger|))))
+ T (ELT $ NIL))
+ ((|differentiate|
+ ($ $ (|Symbol|) (|NonNegativeInteger|)))
+ T (ELT $ NIL))
+ ((|differentiate| ($ $ (|List| (|Symbol|)))) T
+ (ELT $ NIL))
+ ((|differentiate| ($ $ (|Symbol|))) T (ELT $ NIL))
+ ((|differentiate| ($ $ (|NonNegativeInteger|))) T
+ (ELT $ NIL))
+ ((|differentiate| ($ $)) T (ELT $ NIL))
+ ((|map| ($ (|Mapping| |#2| |#2|) $)) T (ELT $ 22))
+ ((|retract| (|#2| $)) T (ELT $ NIL))
+ ((|retractIfCan| ((|Union| |#2| "failed") $)) T
+ (ELT $ NIL))
+ ((|coerce| ($ |#2|)) T (ELT $ NIL))
+ ((|coerce| ($ (|Fraction| (|Integer|)))) T (ELT $ 90))
+ ((|coerce| ($ $)) T (ELT $ NIL))
+ ((|coerce| ($ (|Integer|))) T (ELT $ NIL))
+ ((|characteristic| ((|NonNegativeInteger|))) T
+ (ELT $ 31))
+ ((|coerce| ((|OutputForm|) $)) T (ELT $ NIL)))
+ (|addModemap| '|QuotientFieldCategory&|
+ '(|QuotientFieldCategory&| |#1| |#2|)
+ '((CATEGORY |domain|
+ (SIGNATURE < ((|Boolean|) |#1| |#1|))
+ (SIGNATURE |init| (|#1|))
+ (SIGNATURE |nextItem|
+ ((|Union| |#1| "failed") |#1|))
+ (SIGNATURE |retract| ((|Integer|) |#1|))
+ (SIGNATURE |retractIfCan|
+ ((|Union| (|Integer|) "failed") |#1|))
+ (SIGNATURE |retract|
+ ((|Fraction| (|Integer|)) |#1|))
+ (SIGNATURE |retractIfCan|
+ ((|Union| (|Fraction| (|Integer|)) "failed")
+ |#1|))
+ (SIGNATURE |convert| ((|DoubleFloat|) |#1|))
+ (SIGNATURE |convert| ((|Float|) |#1|))
+ (SIGNATURE |convert| ((|InputForm|) |#1|))
+ (SIGNATURE |retract| ((|Symbol|) |#1|))
+ (SIGNATURE |retractIfCan|
+ ((|Union| (|Symbol|) "failed") |#1|))
+ (SIGNATURE |coerce| (|#1| (|Symbol|)))
+ (SIGNATURE |random| (|#1|))
+ (SIGNATURE |fractionPart| (|#1| |#1|))
+ (SIGNATURE |denominator| (|#1| |#1|))
+ (SIGNATURE |numerator| (|#1| |#1|))
+ (SIGNATURE |patternMatch|
+ ((|PatternMatchResult| (|Float|) |#1|) |#1|
+ (|Pattern| (|Float|))
+ (|PatternMatchResult| (|Float|) |#1|)))
+ (SIGNATURE |patternMatch|
+ ((|PatternMatchResult| (|Integer|) |#1|)
+ |#1| (|Pattern| (|Integer|))
+ (|PatternMatchResult| (|Integer|) |#1|)))
+ (SIGNATURE |convert|
+ ((|Pattern| (|Float|)) |#1|))
+ (SIGNATURE |convert|
+ ((|Pattern| (|Integer|)) |#1|))
+ (SIGNATURE |reducedSystem|
+ ((|Matrix| |#2|) (|Matrix| |#1|)))
+ (SIGNATURE |reducedSystem|
+ ((|Record| (|:| |mat| (|Matrix| |#2|))
+ (|:| |vec| (|Vector| |#2|)))
+ (|Matrix| |#1|) (|Vector| |#1|)))
+ (SIGNATURE |reducedSystem|
+ ((|Record|
+ (|:| |mat| (|Matrix| (|Integer|)))
+ (|:| |vec| (|Vector| (|Integer|))))
+ (|Matrix| |#1|) (|Vector| |#1|)))
+ (SIGNATURE |reducedSystem|
+ ((|Matrix| (|Integer|)) (|Matrix| |#1|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|Mapping| |#2| |#2|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|Mapping| |#2| |#2|)
+ (|NonNegativeInteger|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|List| (|Symbol|))
+ (|List| (|NonNegativeInteger|))))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|Symbol|)
+ (|NonNegativeInteger|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|List| (|Symbol|))))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|Symbol|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|NonNegativeInteger|)))
+ (SIGNATURE |differentiate| (|#1| |#1|))
+ (SIGNATURE |map|
+ (|#1| (|Mapping| |#2| |#2|) |#1|))
+ (SIGNATURE |retract| (|#2| |#1|))
+ (SIGNATURE |retractIfCan|
+ ((|Union| |#2| "failed") |#1|))
+ (SIGNATURE |coerce| (|#1| |#2|))
+ (SIGNATURE |coerce|
+ (|#1| (|Fraction| (|Integer|))))
+ (SIGNATURE |coerce| (|#1| |#1|))
+ (SIGNATURE |coerce| (|#1| (|Integer|)))
+ (SIGNATURE |characteristic|
+ ((|NonNegativeInteger|)))
+ (SIGNATURE |coerce| ((|OutputForm|) |#1|)))
+ (|QuotientFieldCategory| |#2|) (|IntegralDomain|))
+ T '|QuotientFieldCategory&|
+ (|put| '|QuotientFieldCategory&| '|mode|
+ '(|Mapping|
+ (CATEGORY |domain|
+ (SIGNATURE < ((|Boolean|) |#1| |#1|))
+ (SIGNATURE |init| (|#1|))
+ (SIGNATURE |nextItem|
+ ((|Union| |#1| "failed") |#1|))
+ (SIGNATURE |retract|
+ ((|Integer|) |#1|))
+ (SIGNATURE |retractIfCan|
+ ((|Union| (|Integer|) "failed")
+ |#1|))
+ (SIGNATURE |retract|
+ ((|Fraction| (|Integer|)) |#1|))
+ (SIGNATURE |retractIfCan|
+ ((|Union| (|Fraction| (|Integer|))
+ "failed")
+ |#1|))
+ (SIGNATURE |convert|
+ ((|DoubleFloat|) |#1|))
+ (SIGNATURE |convert| ((|Float|) |#1|))
+ (SIGNATURE |convert|
+ ((|InputForm|) |#1|))
+ (SIGNATURE |retract|
+ ((|Symbol|) |#1|))
+ (SIGNATURE |retractIfCan|
+ ((|Union| (|Symbol|) "failed")
+ |#1|))
+ (SIGNATURE |coerce| (|#1| (|Symbol|)))
+ (SIGNATURE |random| (|#1|))
+ (SIGNATURE |fractionPart| (|#1| |#1|))
+ (SIGNATURE |denominator| (|#1| |#1|))
+ (SIGNATURE |numerator| (|#1| |#1|))
+ (SIGNATURE |patternMatch|
+ ((|PatternMatchResult| (|Float|)
+ |#1|)
+ |#1| (|Pattern| (|Float|))
+ (|PatternMatchResult| (|Float|)
+ |#1|)))
+ (SIGNATURE |patternMatch|
+ ((|PatternMatchResult| (|Integer|)
+ |#1|)
+ |#1| (|Pattern| (|Integer|))
+ (|PatternMatchResult| (|Integer|)
+ |#1|)))
+ (SIGNATURE |convert|
+ ((|Pattern| (|Float|)) |#1|))
+ (SIGNATURE |convert|
+ ((|Pattern| (|Integer|)) |#1|))
+ (SIGNATURE |reducedSystem|
+ ((|Matrix| |#2|) (|Matrix| |#1|)))
+ (SIGNATURE |reducedSystem|
+ ((|Record|
+ (|:| |mat| (|Matrix| |#2|))
+ (|:| |vec| (|Vector| |#2|)))
+ (|Matrix| |#1|) (|Vector| |#1|)))
+ (SIGNATURE |reducedSystem|
+ ((|Record|
+ (|:| |mat|
+ (|Matrix| (|Integer|)))
+ (|:| |vec|
+ (|Vector| (|Integer|))))
+ (|Matrix| |#1|) (|Vector| |#1|)))
+ (SIGNATURE |reducedSystem|
+ ((|Matrix| (|Integer|))
+ (|Matrix| |#1|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|Mapping| |#2| |#2|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|Mapping| |#2| |#2|)
+ (|NonNegativeInteger|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|List| (|Symbol|))
+ (|List| (|NonNegativeInteger|))))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|Symbol|)
+ (|NonNegativeInteger|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|List| (|Symbol|))))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|Symbol|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1| (|NonNegativeInteger|)))
+ (SIGNATURE |differentiate|
+ (|#1| |#1|))
+ (SIGNATURE |map|
+ (|#1| (|Mapping| |#2| |#2|) |#1|))
+ (SIGNATURE |retract| (|#2| |#1|))
+ (SIGNATURE |retractIfCan|
+ ((|Union| |#2| "failed") |#1|))
+ (SIGNATURE |coerce| (|#1| |#2|))
+ (SIGNATURE |coerce|
+ (|#1| (|Fraction| (|Integer|))))
+ (SIGNATURE |coerce| (|#1| |#1|))
+ (SIGNATURE |coerce|
+ (|#1| (|Integer|)))
+ (SIGNATURE |characteristic|
+ ((|NonNegativeInteger|)))
+ (SIGNATURE |coerce|
+ ((|OutputForm|) |#1|)))
+ (|QuotientFieldCategory| |#2|)
+ (|IntegralDomain|))
+ |$CategoryFrame|))))
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-08 04:36:15 +0000