|
|
ae7c50cc76
|
remove reltable from headers; introduce "add row" and "fill row"
|
2019-12-28 00:50:52 -05:00 |
|
JCRaymond
|
083673ef04
|
Removed deprecated RelTable struct
|
2019-12-27 23:25:44 -05:00 |
|
JCRaymond
|
9447fc57f7
|
Restructure RelTables to support deleting useless information from RelTables.
|
2019-12-27 23:24:33 -05:00 |
|
|
|
873102a8c3
|
introduce RelationSet, fix namespace for groups.cpp/.h
|
2019-12-27 21:58:15 -05:00 |
|
|
|
3aae0b5286
|
group constructors use "dim" as parameters where appropriate
|
2019-12-27 17:19:40 -05:00 |
|
|
|
96b27cd642
|
split "cosets" and "solver" data. "solver.cpp" now only for solution logic.
|
2019-12-27 17:06:25 -05:00 |
|
|
|
c489d530a9
|
restructure cmake project
|
2019-12-27 16:59:06 -05:00 |
|
|
|
08aa3f5453
|
split definitions and declarations, move to "tc" namespace
|
2019-12-27 16:46:33 -05:00 |
|
|
|
186ddc425c
|
split definitions and declarations, move to "tc" namespace
|
2019-12-27 16:45:58 -05:00 |
|
|
|
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 |
|
