sheaf
0eb0724dde
Refactors in preparation for stroke hierarchy
2024-09-27 17:21:24 +02:00
sheaf
bb9b381cb5
workaround for TH linking bugs
2024-09-06 13:08:40 +02:00
sheaf
2bae92dc5e
more SIMD experiments
2024-08-29 00:26:19 +02:00
sheaf
5f98165276
WIP: SIMD experiments
2024-08-01 21:36:44 +02:00
sheaf
e64ce375d2
housekeeping
2024-07-29 13:39:13 +02:00
sheaf
af66b3b5ac
update bounds for GHC 9.10
2024-05-23 11:17:36 +02:00
sheaf
91ac61e3cd
WIP: add Walter's LP approach to interval Newton
2024-05-23 11:04:17 +02:00
sheaf
2a21980ffc
Fix issues in withTangent & strictlyParallel function
2024-04-29 19:35:53 +02:00
sheaf
c89fba7fd2
Improve specialisation + add degree computation
2024-04-25 21:53:27 +02:00
sheaf
ac9deb968a
Clean up benchmarking component
2024-04-22 22:11:07 +02:00
sheaf
d797abc5e4
Modularise root isolation algorithms
...
Different root isolation algorithms now live in separate modules,
and are all instances of the RootIsolationAlgorithm typeclass.
This separates the algorithmic code from the top-level driver code
in Math.Root.Isolation.
2024-04-22 20:06:03 +02:00
sheaf
01fdd9a126
Improve robustness of quadratic equation solver
...
Based on ideas from the paper
"The Ins and Outs of Solving Quadratic Equations with Floating-Point Arithmetic"
(Frédéric Goualard, 2023)
Could still be improved further, but I think this is acceptable for now.
2024-04-21 14:19:37 +02:00
sheaf
131753da82
Split off root-isolation algorithms into Math.Root.Isolation
2024-04-17 20:41:21 +02:00
sheaf
55470d1f0e
make cusp-finding algorithm choice more configurable
2024-04-03 18:46:08 +02:00
sheaf
60ebf7886f
Split up succFP etc into separate module
2024-03-11 14:09:54 +01:00
sheaf
34c129d72a
Add tests and fix MonomialBasis D3A3 instance
2024-03-08 15:35:39 +01:00
sheaf
2289468a84
Fixes and restructuring
2024-02-28 17:20:34 +01:00
sheaf
d1b3765335
Split out benchmark for cusp finding
2024-02-23 17:03:28 +01:00
sheaf
b70f7ba133
Add mechanisms to log envelope equation data
2024-02-19 16:46:09 +01:00
sheaf
6b658acedd
Restructure project & update bounds
2024-02-17 13:58:40 +01:00