Nemo.jl
Nemo.jl copied to clipboard
Nemocas
Julia bindings for various mathematical libraries (including flint2)
Another suggestion of Anders Skovsted Buch. For example: ``` R, _ = PolynomialRing(ZZ, ["x"]) terms(x^3 + 2x + 1) ``` currently does not work.
Hello! I was trying to use [gso](https://nemocas.github.io/Nemo.jl/latest/matrix.html#Nemo.gso-Tuple{fmpq_mat}) today, however, unfortunately, it's only defined for `fmpq_mat`, and I wasn't able to use it with a matrix of complex values (`acb_mat`). `gso`...
We currently return the floor of the root, but after some discussion with @fieker we have decided to raise an exception if the root is not exact, and instead implement...
Would just like to confirm that this is the desired behavior and/or get the rationale.
We were testing some native functions. And we just found a confusing behavior. As shown in the following code, after setting the coefficient zero as "setcoeff!( x, 0, zero(CC) )",...
the lattice of finite fields identifies fields by degree - which cannot work if the fields have user chosen defining polynomials. We might (will have!) mutiple fields with the same...
Algorithms for matrix spaces over non-commutative rings: One solution would be to add another abstract type `Group :> Ring :> CRing :> ...` and write algorithms for `Rings` without assuming...
We don't currently have composition or evaluation of power series in any meaningful sense. After adding these, we probably should use them to provide proper exponentials of power series.
Nemo complains that we lack a mod function for fmpz_poly. It might be interesting to eventually support interpolation for this ring too, and it won't currently be supported by either...
I've tried to implement something in the spirit on NTRU. In this cryptosystem we are interested in the rings of the form Zq[X]/(X^N - 1). 1. The first thing that...
