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, 0 insertions, 266 deletions
diff --git a/src/algebra/strap/QFCAT-.lsp b/src/algebra/strap/QFCAT-.lsp
index 00304cb1..78512ea8 100644
--- a/src/algebra/strap/QFCAT-.lsp
+++ b/src/algebra/strap/QFCAT-.lsp
@@ -519,269 +519,3 @@
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-07-01 02:34:06 +0000