155 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
David Allemang	caf65101dd	create cmake project	2019-12-26 23:21:49 -05:00
JCRaymond	d2dd002965	Remove lst and fam vector from RelTable, replace with lst_ptr vector. fam is identified by the pointer value, and lst is identified by referencing the pointer.	2019-12-25 01:01:22 -05:00
JCRaymond	8f82531a72	Add RelTable generator lookup to prevent scanning unnecessary RelTables	2019-12-25 00:04:35 -05:00
JCRaymond	55520fd50a	Modified facts to use heap	2019-12-24 23:23:12 -05:00
JCRaymond	ed69ba6dc0	First implementation of the Todd-Coxeter algorithm for Coxeter groups. Based on github.com/allemangD/toddcox-fast	2019-12-23 01:55:33 -05:00