ˌbodʲɪˈɡrʲim
ˌbodʲɪˈɡrʲim
Closes #157 It is already competitive with the existing sieve and is 10 times simpler, but I need to merge more performance patches into https://github.com/Bodigrim/bitvec to make this code really...
Some inspiration might be found in http://hackage.haskell.org/package/toysolver-0.6.0/docs/ToySolver-Data-Polynomial.html#t:Factor
Develop a routine to solve Thue equations. https://en.wikipedia.org/wiki/Thue_equation https://www.sciencedirect.com/science/article/pii/0022314X89900140?via%3Dihub
TB{A,C,D}
It may be fun to extend [Math.NumberTheory.Moduli.Jacobi](https://github.com/cartazio/arithmoi/blob/master/Math/NumberTheory/Moduli/Jacobi.hs) to cover not only [quadratic reciprocity](https://en.wikipedia.org/wiki/Quadratic_reciprocity), but [cubic](https://en.wikipedia.org/wiki/Cubic_reciprocity) as well. Quadratic reciprocity symbol or [Jacobi symbol](https://github.com/cartazio/arithmoi/blob/master/Math/NumberTheory/Moduli/Jacobi.hs#L33) answers the question whether an equation `x^2...
I've been thinking recently about implementing something along these lines: ```haskell type family Totient (m :: Nat) :: Nat totientNat :: Integral a => SFactors a m -> (() :-...
It would be nice to implement a basic support for [quadratic integers](https://en.wikipedia.org/wiki/Quadratic_integer) in `arithmoi`. There is a proof of concept in [`Math.NumberTheory.Quadratic.GaussianIntegers`](https://github.com/cartazio/arithmoi/blob/master/Math/NumberTheory/Quadratic/GaussianIntegers.hs) and [`Math.NumberTheory.Quadratic.EisensteinIntegers`](https://github.com/cartazio/arithmoi/blob/master/Math/NumberTheory/Quadratic/EisensteinIntegers.hs) modules. 1. Implement quadratic integers as...
[Our implementation](https://github.com/cartazio/arithmoi/blob/master/Math/NumberTheory/Primes/Sieve/Eratosthenes.hs) of Eratosthenes sieve is notoriously difficult to read. It has been heavily optimized long time ago and I have no clue if these patterns still make sense for...