added new structure which says yea or nea on graph equivalence
added stubs for eq class table and fast graph enumeration structure
added GraphEntry structure
added graph entry and data, instantiating EqClassTab inside of FastGraphEnum, for now...
functorised EqClass, made type in EqClassTab correct
wrote a first implementation of EqClassTab. Note that it always checks a new graph against *all* redexes before it is added, and does not yet support adding lists and a time and doing post-filtering. Next implement that and fabio's discrimination net code.
made function for adding list. does not post-filter yet.
added code to shift rep and congs into redexes and replace rep in the event that a new minimal representative is found
comment
imported davids code
davids code now typechecks. changed =LESS to <>GREATER
updated metric to get data the new way
stubbed out existing controller
added some basic files for modular controller
wrote controller registry, working on dispatch fn
dispatch plumbed
importing io functions from old code
added ruby script that will serve as console. IO not working right yet
ruby script talks successfully with the core
help cmd