aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/SYMBOL.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/SYMBOL.lsp')
-rw-r--r--src/algebra/strap/SYMBOL.lsp187
1 files changed, 0 insertions, 187 deletions
diff --git a/src/algebra/strap/SYMBOL.lsp b/src/algebra/strap/SYMBOL.lsp
index 8f641a49..f19cf4da 100644
--- a/src/algebra/strap/SYMBOL.lsp
+++ b/src/algebra/strap/SYMBOL.lsp
@@ -915,191 +915,4 @@
1 2 0 21 0 0 50)))))
'|lookupComplete|))
-(SETQ |$CategoryFrame|
- (|put| '|Symbol| '|isFunctor|
- '(((|sample| ($)) T (CONST $ 124))
- ((|list| ((|List| $) $)) T (ELT $ 107))
- ((|string| ((|String|) $)) T (ELT $ 84))
- ((|elt| ($ $ (|List| (|OutputForm|)))) T (ELT $ 58))
- ((|argscript| ($ $ (|List| (|OutputForm|)))) T
- (ELT $ 60))
- ((|superscript| ($ $ (|List| (|OutputForm|)))) T
- (ELT $ 59))
- ((|subscript| ($ $ (|List| (|OutputForm|)))) T
- (ELT $ 57))
- ((|script|
- ($ $
- (|Record| (|:| |sub| (|List| (|OutputForm|)))
- (|:| |sup| (|List| (|OutputForm|)))
- (|:| |presup| (|List| (|OutputForm|)))
- (|:| |presub| (|List| (|OutputForm|)))
- (|:| |args| (|List| (|OutputForm|))))))
- T (ELT $ 82))
- ((|script| ($ $ (|List| (|List| (|OutputForm|))))) T
- (ELT $ 56))
- ((|scripts|
- ((|Record| (|:| |sub| (|List| (|OutputForm|)))
- (|:| |sup| (|List| (|OutputForm|)))
- (|:| |presup| (|List| (|OutputForm|)))
- (|:| |presub| (|List| (|OutputForm|)))
- (|:| |args| (|List| (|OutputForm|))))
- $))
- T (ELT $ 87))
- ((|scripted?| ((|Boolean|) $)) T (ELT $ 22))
- ((|name| ($ $)) T (ELT $ 83))
- ((|coerce| ($ (|String|))) T (ELT $ 48))
- ((|resetNew| ((|Void|))) T (ELT $ 106))
- ((|new| ($ $)) T (ELT $ 101)) ((|new| ($)) T (ELT $ 95))
- ((|patternMatch|
- ((|PatternMatchResult| (|Float|) $) $
- (|Pattern| (|Float|))
- (|PatternMatchResult| (|Float|) $)))
- T (ELT $ 73))
- ((|patternMatch|
- ((|PatternMatchResult| (|Integer|) $) $
- (|Pattern| (|Integer|))
- (|PatternMatchResult| (|Integer|) $)))
- T (ELT $ 66))
- ((|convert| ((|Pattern| (|Float|)) $)) T (ELT $ 75))
- ((|convert| ((|Pattern| (|Integer|)) $)) T (ELT $ 77))
- ((|convert| ((|Symbol|) $)) T (ELT $ 47))
- ((|OMwrite| ((|Void|) (|OpenMathDevice|) $ (|Boolean|)))
- T (ELT $ 36))
- ((|OMwrite| ((|Void|) (|OpenMathDevice|) $)) T
- (ELT $ 35))
- ((|OMwrite| ((|String|) $ (|Boolean|))) T (ELT $ 34))
- ((|OMwrite| ((|String|) $)) T (ELT $ 33))
- ((|convert| ((|InputForm|) $)) T (ELT $ 46))
- ((|min| ($ $ $)) T (ELT $ NIL))
- ((|max| ($ $ $)) T (ELT $ NIL))
- ((<= ((|Boolean|) $ $)) T (ELT $ NIL))
- ((>= ((|Boolean|) $ $)) T (ELT $ NIL))
- ((> ((|Boolean|) $ $)) T (ELT $ NIL))
- ((< ((|Boolean|) $ $)) T (ELT $ 50))
- ((|latex| ((|String|) $)) T (ELT $ 90))
- ((|hash| ((|SingleInteger|) $)) T (ELT $ NIL))
- ((|coerce| ((|OutputForm|) $)) T (ELT $ 53))
- ((= ((|Boolean|) $ $)) T (ELT $ 49))
- ((~= ((|Boolean|) $ $)) T (ELT $ NIL)))
- (|addModemap| '|Symbol| '(|Symbol|)
- '((|Join| (|OrderedSet|)
- (|ConvertibleTo| (|InputForm|)) (|OpenMath|)
- (|ConvertibleTo| (|Symbol|))
- (|ConvertibleTo| (|Pattern| (|Integer|)))
- (|ConvertibleTo| (|Pattern| (|Float|)))
- (|PatternMatchable| (|Integer|))
- (|PatternMatchable| (|Float|))
- (CATEGORY |domain| (SIGNATURE |new| ($))
- (SIGNATURE |new| ($ $))
- (SIGNATURE |resetNew| ((|Void|)))
- (SIGNATURE |coerce| ($ (|String|)))
- (SIGNATURE |name| ($ $))
- (SIGNATURE |scripted?| ((|Boolean|) $))
- (SIGNATURE |scripts|
- ((|Record|
- (|:| |sub|
- (|List| (|OutputForm|)))
- (|:| |sup|
- (|List| (|OutputForm|)))
- (|:| |presup|
- (|List| (|OutputForm|)))
- (|:| |presub|
- (|List| (|OutputForm|)))
- (|:| |args|
- (|List| (|OutputForm|))))
- $))
- (SIGNATURE |script|
- ($ $
- (|List| (|List| (|OutputForm|)))))
- (SIGNATURE |script|
- ($ $
- (|Record|
- (|:| |sub|
- (|List| (|OutputForm|)))
- (|:| |sup|
- (|List| (|OutputForm|)))
- (|:| |presup|
- (|List| (|OutputForm|)))
- (|:| |presub|
- (|List| (|OutputForm|)))
- (|:| |args|
- (|List| (|OutputForm|))))))
- (SIGNATURE |subscript|
- ($ $ (|List| (|OutputForm|))))
- (SIGNATURE |superscript|
- ($ $ (|List| (|OutputForm|))))
- (SIGNATURE |argscript|
- ($ $ (|List| (|OutputForm|))))
- (SIGNATURE |elt|
- ($ $ (|List| (|OutputForm|))))
- (SIGNATURE |string| ((|String|) $))
- (SIGNATURE |list| ((|List| $) $))
- (SIGNATURE |sample| ($) |constant|))))
- T '|Symbol|
- (|put| '|Symbol| '|mode|
- '(|Mapping|
- (|Join| (|OrderedSet|)
- (|ConvertibleTo| (|InputForm|))
- (|OpenMath|)
- (|ConvertibleTo| (|Symbol|))
- (|ConvertibleTo|
- (|Pattern| (|Integer|)))
- (|ConvertibleTo|
- (|Pattern| (|Float|)))
- (|PatternMatchable| (|Integer|))
- (|PatternMatchable| (|Float|))
- (CATEGORY |domain|
- (SIGNATURE |new| ($))
- (SIGNATURE |new| ($ $))
- (SIGNATURE |resetNew| ((|Void|)))
- (SIGNATURE |coerce|
- ($ (|String|)))
- (SIGNATURE |name| ($ $))
- (SIGNATURE |scripted?|
- ((|Boolean|) $))
- (SIGNATURE |scripts|
- ((|Record|
- (|:| |sub|
- (|List| (|OutputForm|)))
- (|:| |sup|
- (|List| (|OutputForm|)))
- (|:| |presup|
- (|List| (|OutputForm|)))
- (|:| |presub|
- (|List| (|OutputForm|)))
- (|:| |args|
- (|List| (|OutputForm|))))
- $))
- (SIGNATURE |script|
- ($ $
- (|List|
- (|List| (|OutputForm|)))))
- (SIGNATURE |script|
- ($ $
- (|Record|
- (|:| |sub|
- (|List| (|OutputForm|)))
- (|:| |sup|
- (|List| (|OutputForm|)))
- (|:| |presup|
- (|List| (|OutputForm|)))
- (|:| |presub|
- (|List| (|OutputForm|)))
- (|:| |args|
- (|List| (|OutputForm|))))))
- (SIGNATURE |subscript|
- ($ $ (|List| (|OutputForm|))))
- (SIGNATURE |superscript|
- ($ $ (|List| (|OutputForm|))))
- (SIGNATURE |argscript|
- ($ $ (|List| (|OutputForm|))))
- (SIGNATURE |elt|
- ($ $ (|List| (|OutputForm|))))
- (SIGNATURE |string|
- ((|String|) $))
- (SIGNATURE |list| ((|List| $) $))
- (SIGNATURE |sample| ($)
- |constant|))))
- |$CategoryFrame|))))
-
(MAKEPROP '|Symbol| 'NILADIC T)
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-03 22:41:18 +0000