Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
is_planar_transitive had an unnecessary condition that n > 2.
This needs to be corrected.
Then, after we're done with the current precomputing efforts in #551, we need to correct the values for all graphs with n <= 2. There are only two graphs. The values should be set to True.
is_planar_transitive
had an unnecessary condition thatn > 2
. This needs to be corrected.Then, after we're done with the current precomputing efforts in #551, we need to correct the values for all graphs with
n <= 2
. There are only two graphs. The values should be set to True.