Commit Graph

87 Commits

Author SHA1 Message Date
Arthur O'Dwyer 62629f3e70 Change `static const` to `static constexpr` wherever possible
Since we require C++11, most of these consts can be constexpr.

Two `static const ld` remain non-compile-time-evaluable because
they depend on the runtime `log` function. One `static const cld`
remains non-compile-time because `std::complex<T>` doesn't become
constexpr until C++14.
2023-08-23 09:47:28 -08:00
Zeno Rogue 3e733ae6e9 Big change: spatial_embedding option 2022-12-09 02:33:15 +01:00
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