Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`InductiveProofs`
MultiwayGeodesicGraph  |
|
| | ||||
▪
axioms is a list of equational axioms; seeds is a list of starting expressions (or a single expression, whose geodesic to a proved is shown).
True
▪
The following options can be given:
option | default | description | |
"CriticalPairs" | False | include superposition (critical-pair) rules | |
"WellFormedOnly" | True | keep only well-formed configurations | |
"ShowLength" | False | label the graph with the geodesic length | |
"Oriented" | False | rewrite downhill only | |
"Ordering" | "LeafCount" | the term weight used when oriented | |
"CloudUndirected" | False | draw the surrounding cloud as undirected | |
"VertexLabels" | Automatic | label vertices with rendered terms | |
"ArrowSize" | Automatic | arrowhead size | |
"CalloutMaxWidth" | 240 | maximum width of seed callouts |
Examples
(1)
Basic Examples
(1)
Show the geodesic between a two-cell ones run and its -appended form:
s1
In[1]:=
 | MultiwayGeodesicGraph |
Out[1]=
 |
|
""