Timeline for What does this graph mean?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 27, 2018 at 17:15 | vote | accept | user64494 | ||
| Nov 27, 2018 at 17:15 | comment | added | user64494 | Thank you. I confirm that behavior. It should be documented. | |
| Nov 27, 2018 at 16:15 | comment | added | Szabolcs | @user64494 I hover the green thing with the mouse, I see "Axiom 1". Then I go to the proof notebook, there is a heading "Axiom 1", with the axiom written below it. Please post a screenshot of your proof notebook if these do not appear for you. | |
| Nov 27, 2018 at 16:04 | comment | added | Henrik Schumacher |
@user64494 Apparently, the axiom ForAll[a, g[a, inv[a]] == e] is needed nowhere in the proof; it is superseeded by the idempotence axiom ForAll[a, g[a, a] == e]. I suspect that the output of FindEquationalProof are meant to be minimal in some sense and that this minimality is why the axiom ForAll[a, g[a, inv[a]] == e] just does not appear in the returned ProofObject.
|
|
| Nov 27, 2018 at 15:07 | comment | added | user64494 | Can you kindly elaborate your statement "The axioms are clearly listed in both the dataset and the (easier to read) notebook for me under the same name as in the graph"? I repeat my open question "There are four axioms. Which of them is noticed by the left green node at the top of the graph? ". TIA. | |
| Nov 27, 2018 at 14:02 | history | edited | Szabolcs | CC BY-SA 4.0 |
added 243 characters in body
|
| Nov 27, 2018 at 13:58 | comment | added | Szabolcs | @user64494 I do not understand your comment. The axioms are clearly listed in both the dataset and the (easier to read) notebook for me under the same name as in the graph. I used M11.3. If your dataset does not contain them, please show a screenshot and indicate your Mathematica version (though I think M11.3 is the only released version with this functionality). | |
| Nov 27, 2018 at 13:56 | history | edited | Szabolcs | CC BY-SA 4.0 |
added 243 characters in body
|
| Nov 27, 2018 at 13:54 | comment | added | user64494 | There are four axioms. Which of them is noticed by the left green node at the top of the graph? The result of proof["ProofDataset"] says nothing about it for me. | |
| Nov 27, 2018 at 13:51 | comment | added | Szabolcs | @user64494 I thought that would be clear after looking at their names. Green ones are all Axioms, orange triangles "Critical Pair Lemma", etc. I am simply guessing from reading the node names. As I said, I am not familiar with this functionality either. | |
| Nov 27, 2018 at 13:49 | comment | added | user64494 | Thank you. Can you kindly elaborate your answer, explaining what the left green node at the top of the graph means? | |
| Nov 27, 2018 at 13:44 | history | answered | Szabolcs | CC BY-SA 4.0 |