Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
Several of the database methods compute the canonical graph6 strings as part of a loop. This operation takes a long time and repeating it makes these methods slow.
For example, list_missing_invariants should be fast, but is slowed down by the recomputing.
These methods should be refactored to compute the labels once, store them, and iterate over them with recomputing.
Several of the database methods compute the canonical graph6 strings as part of a loop. This operation takes a long time and repeating it makes these methods slow. For example,
list_missing_invariantsshould be fast, but is slowed down by the recomputing.These methods should be refactored to compute the labels once, store them, and iterate over them with recomputing.