Zeno Rogue
5146fc00f0
using smaller field_quotients for rule_fp; also a list of field quotients is included in devmods
2022-08-25 10:31:28 +02:00
Zeno Rogue
14a9961f92
reg3/field:: incorrect field computations generate errors; fixed a bug in suspending discovery; more elegant fieldpattern search not based on cgi.rels
2022-08-25 01:10:07 +02:00
Zeno Rogue
b7c8e7b754
field:: hooks_solve3
2022-08-23 21:52:36 +02:00
Zeno Rogue
d22d840f01
fpattern for Cube Tiling
2022-08-17 17:24:20 +02:00
Zeno Rogue
793148729b
An option to play on a disk (and use bounded space rules). Also renamed 'bounded' flag to 'closed' or similar, and improved Halloween
2022-05-21 13:08:42 +02:00
Zeno Rogue
d3f397fe27
fieldpattern:: call analyze immediately
2021-12-12 00:29:03 +01:00
Zeno Rogue
df2180cf67
fieldpattern:: removed currfp. in analyze which could cause a loop
2021-12-12 00:28:48 +01:00
Zeno Rogue
aa6c0cb1cd
fixup to save field 3d fix
2021-09-17 13:49:31 +02:00
Zeno Rogue
9af73d9543
space436 now loads faster
2021-05-23 16:00:49 +02:00
Zeno Rogue
ce3098de65
change FP_RULES to bool use_rule_fp
2021-05-23 16:00:13 +02:00
Zeno Rogue
20771ddae4
fieldpattern:: an option to use 'quotient group' fieldpatterns in 3D for more efficient representation
2021-05-23 16:00:13 +02:00
Zeno Rogue
4da935a4e2
fixed switching to 2d field quotient after 3d field quotient, and refactored
2021-04-23 20:10:06 +02:00
Zeno Rogue
5a73510c4f
added some guards for MAXMDIM >= 4 and CAP_SOLV
2021-03-30 11:27:48 +02:00
Zeno Rogue
3b0c760289
removed static initialization order fiasco from fieldpattern
2021-03-11 10:00:41 +01:00
Zeno Rogue
7cc628fb55
fixed to work with other CAP options
2021-03-10 08:40:43 +01:00
Zeno Rogue
6e942e98f5
fieldpattern:: now can work with triplets
2021-03-08 13:30:55 +01:00
Zeno Rogue
fca9834d02
fixed some bugs when faking Euclidean
2020-05-29 02:43:30 +02:00
Zeno Rogue
77a39dd072
getcurrfp set for new spaces, and increased max p to 19 for unknown spaces
2020-05-28 01:40:15 +02:00
Zeno Rogue
1b96658a05
fake curvature
2020-05-15 11:46:26 +02:00
Zeno Rogue
6f6586b3f2
Merge branch 'master' into hooks-naming
2020-04-19 13:39:07 +02:00
Zeno Rogue
7c9e37031e
added missing MAXMDIM guards in fieldpattern
2020-04-17 15:36:32 +02:00
Arthur O'Dwyer
934e3d9a42
Consistently name every hookset with prefix hooks_
. NFC.
...
I'm sure this causes massive merge-conflicts in the non-public code,
but I think it'd be a good idea, if only to avoid confusion between
e.g. `clearMemory` and the-variable-formerly-known-as `clearmemory`.
2020-04-12 10:49:32 -04:00
Zeno Rogue
cfbd5f830c
fixed some warnings and errors with ll to int assignment
2020-04-06 09:13:20 +02:00
Zeno Rogue
1b9cdab98c
added missing CAP_COMMANDLINE guards
2020-04-06 09:13:20 +02:00
Zeno Rogue
233adddd36
moved reg3 values to cgi
2020-04-05 10:58:56 +02:00
Zeno Rogue
cad1bccd1a
fixed a crash in some horospherical tessellations
2020-03-31 18:59:16 +02:00
Arthur O'Dwyer
14c098eaf9
Add whitespace to silence Clang's -Wmisleading-indentation
. NFC.
...
./fieldpattern.cpp:440:5: error: misleading indentation;
statement is not part of the previous 'if' [-Werror,-Wmisleading-indentation]
if(isize(res) > limitp) return res;
^
2020-03-23 15:07:46 -04:00
Zeno Rogue
e70915de9d
fixed distance computation in 3D fieldquotient
2020-03-21 10:14:54 +01:00
Zeno Rogue
fba1953f63
fixed getcurrfp in horospherical hyperbolic
2020-02-07 19:44:44 +01:00
Zeno Rogue
602ee9df0c
fixed rotspace
2020-02-07 18:34:19 +01:00
Zeno Rogue
f05fa60400
added MAXMDIM guards
2020-01-29 18:18:51 +01:00
Zeno Rogue
fa64573971
fixed the thread locking
2020-01-28 17:58:55 +01:00
Zeno Rogue
c556d21434
renamed/documented/improved the rule generators, and the rules now include centers for all fieldvals
2020-01-28 17:58:55 +01:00
Zeno Rogue
b58138cd94
fieldpattern:: load found solutions from shstreams
2020-01-28 17:58:55 +01:00
Zeno Rogue
9e2a9604bd
fieldpattern: fixed Prime in 536, also added small quotients as comments in 435 and 534
2020-01-25 19:23:37 +01:00
Zeno Rogue
29a2cb58ef
fixed CAP_THREAD==0
2020-01-19 00:33:57 +01:00
Zeno Rogue
fbd978598e
getcurrfp returns fp_invalid for other quotient spaces
2020-01-18 17:16:16 +01:00
Zeno Rogue
cb338ca607
changed mutex to recursive_mutex
2020-01-16 19:19:44 +01:00
Zeno Rogue
5382038c4e
field quotient discovery
2020-01-16 17:13:57 +01:00
Zeno Rogue
7038df605c
field:: quick distance computations in 3D
2020-01-16 17:13:57 +01:00
Zeno Rogue
19769feaaf
fieldpattern:: error detection in EASY
2020-01-16 17:13:47 +01:00
Zeno Rogue
b12e1a71dd
fieldpattern:: matrix now based on std::array
2020-01-16 17:13:47 +01:00
Zeno Rogue
59a9605b13
arb::relative_matrix
2020-01-16 17:13:37 +01:00
Zeno Rogue
6331ca1e1d
field:: {3,12} base available
2019-11-30 18:03:00 +01:00
Zeno Rogue
82083ba83d
fieldpattern:: made the prime lists equal -- 6 primes
2019-11-17 13:46:42 +01:00
Zeno Rogue
6f541c0a3e
field quotient generalized
2019-11-17 13:35:07 +01:00
Zeno Rogue
362b11a383
more elegant fpattern::solve()
2019-11-17 11:12:06 +01:00
Zeno Rogue
848eb8f48b
export everything: modules compiled separately
2019-09-12 22:50:16 +02:00
Zeno Rogue
82f24b4b6c
exporting necessary stuff all over (in progress)
2019-09-12 22:50:16 +02:00
Zeno Rogue
fedb170b55
struct fpattern exported
2019-09-12 22:50:16 +02:00