search

math1um / objects-invariants-properties

Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
14 stars 6 forks source link

loading class0graphs #657

Open math1um opened 1 year ago

math1um commented 1 year ago

class0graphs.sage is loaded and the corresponding graphs are constructed every time gt.sage is loaded.

the strings are useful - but maybe it would be better to put off constructing the graphs until a user wants this collection of graphs,

Need:

  1. a function that builds the graphs when a user wants the class0graphs, and
  2. a message at gt.sage runtime that these graphs aren't loaded and what the name of the function is that will load them.