Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`InductiveProofs`
MultiwayRuleGraph  |
|
| | ||||
▪
The following options can be given:
option | default | description | |
"Generations" | 1 | superposition depth | |
"MaxNew" | 25 | maximum new rules per generation | |
"Oriented" | True | orient rules by a term-weight ordering | |
"Ordering" | "RunUnfold" | the term weight ( "RunUnfold" "LeafCount" | |
"Labeled" | False | draw labelled equation vertices instead of discs | |
"WellFormedOnly" | False | keep only well-formed critical pairs | |
"VertexScaling" | "Density" | how unlabelled vertex size adapts to node count | |
"VertexScale" | 1 | multiplier on the unlabelled vertex sizes | |
"ArrowSize" | 0.011 | arrowhead size |
Examples
(1)
Basic Examples
(1)
The rule space of the two run-length definitions for :
ones
In[1]:=
 | MultiwayRuleGraph |
Out[1]=
 |
|
""