|
|
04566bc179
|
disable rotation for demo screenshot
|
2020-01-16 21:17:04 -05:00 |
|
|
|
90d7858006
|
revert back to master branch of vendor/toddcox
|
2020-01-16 21:11:48 -05:00 |
|
|
|
47c37fac08
|
lower resolution of readme image
|
2020-01-12 12:11:16 -05:00 |
|
|
|
71fd309bde
|
Create README.md
|
2020-01-12 12:10:09 -05:00 |
|
|
|
0408ecd5c4
|
add edge drawing, stereographic geometry shader for handling curved projections
|
2020-01-12 12:07:35 -05:00 |
|
|
|
437dae0205
|
duplicate scene from polytopia
|
2020-01-11 22:13:41 -05:00 |
|
|
|
214f54fe89
|
add basic 4d rotation matrix utility
|
2020-01-10 16:09:01 -05:00 |
|
|
|
9989933853
|
load shaders from files.
|
2020-01-10 15:59:23 -05:00 |
|
|
|
f54d34455b
|
explicitly import ctime
|
2020-01-10 15:53:05 -05:00 |
|
|
|
dfc109a17d
|
add clion project definition files
|
2020-01-10 15:08:08 -05:00 |
|
|
|
1ef711c7ae
|
add file to keep shaders directory
|
2020-01-10 15:03:37 -05:00 |
|
|
|
f08b706460
|
windows compat
|
2020-01-09 13:21:27 -05:00 |
|
|
|
eec9c0b0d8
|
allow higher dimensions in mirror solver
|
2020-01-08 23:43:40 -05:00 |
|
|
|
fb33a78718
|
working on memoization
|
2020-01-08 22:03:35 -05:00 |
|
|
|
cee667d1b3
|
decomposing "build" into reusable steps. raise is still broken.
|
2020-01-07 19:47:41 -05:00 |
|
|
|
7f73604075
|
starting new triangulation technique. verified working with edges.
|
2020-01-07 16:27:35 -05:00 |
|
|
|
050475b66b
|
fix type
|
2020-01-07 14:38:31 -05:00 |
|
|
|
d34d3e6af5
|
first attempt at a general triangulation algorithm
|
2020-01-07 14:37:41 -05:00 |
|
|
|
4d4ef45956
|
some more opengl boilerplate
|
2020-01-04 20:48:18 -05:00 |
|
|
|
624edb3bbb
|
point generation working; still needs broken into functions though.
|
2020-01-04 15:01:33 -05:00 |
|
|
|
5026daefec
|
Merge remote-tracking branch 'origin/refactor'
# Conflicts:
# solver.cpp
# test.cpp
|
2020-01-04 02:06:29 -05:00 |
|
|
|
45c3b422e2
|
remove debugging message
|
2020-01-04 02:01:30 -05:00 |
|
|
|
d73fca9f45
|
replace glad submodule with generated glad and cmakelists
|
2020-01-04 02:00:22 -05:00 |
|
|
|
cbdd15bdf9
|
remove glad module
|
2020-01-04 01:58:53 -05:00 |
|
|
|
d602837659
|
break apart into modules; add vendor dependencies; add OpenGL boilerplate to get started
|
2020-01-04 01:30:19 -05:00 |
|
|
|
a8d9451502
|
move headers to tc directory.
|
2020-01-03 22:38:52 -05:00 |
|
|
|
3c3cd69be7
|
Add spanning tree path to cosets.
|
2020-01-03 22:37:11 -05:00 |
|
|
|
f1c57b241f
|
add simple docs and use namespaced tc::solve
|
2020-01-03 22:36:32 -05:00 |
|
|
|
0c94d48235
|
rename "Mults" class to "Rel"; rename variables where appropriate. now all instances of "mult" refer to a multiplicity, not a relation.
|
2019-12-30 18:31:50 -05:00 |
|
|
|
18d6e24518
|
use CPU time in benchmark.
|
2019-12-30 15:23:27 -05:00 |
|
|
|
544ac85820
|
cmake project name same as git repository
|
2019-12-30 12:05:39 -05:00 |
|
|
|
17cde9a44f
|
add group names
|
2019-12-28 01:50:10 -05:00 |
|
|
|
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 |
|
