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

Clean up lists in graphs, props, invs, and theorems #553

Open yirkajk opened 6 years ago

yirkajk commented 6 years ago

There are many different lists, few of which are maintained.

yirkajk commented 6 years ago

This includes standardizing and possibly verifying efficient vs intractable lists

nvcleemp commented 6 years ago

This might be more easy to do once #548 has been dealt with. If we have a module (and likely some submodules), we could easily list all functions in that module and check whether they have been classified somewhere. At the moment everything gets dumped into the global namespace, and it's hard to distinguish which methods came from us, and which were already there.