Nemo.jl

Nemo.jl copied to clipboard

Currently most flint functions, especially the scalar_divexact ones don't respect the check=true flag and just assume exact division. We either have to implement this throughout Flint with return values, or...

wbhart

Surprising comparisons with complex numbers

4

julia> AcbField(64)(1) == 1+0im false julia> fmpq(1) == 1+0im false

fredrik-johansson

Wrapping Calcium

41

Here are my current thoughts on a Nemo interface to Calcium. We'd want the following Julia types, wrapping the corresponding C types: * ca * ca_mat * ca_poly * ca_vec...

fredrik-johansson

delete some of the parent object (ring) printing code

2

In connection with https://github.com/Nemocas/AbstractAlgebra.jl/pull/887, it would be nice not to have, for example, the following pointless duplication https://github.com/Nemocas/Nemo.jl/blob/d530e05417be934630f0ef9cda2ffc021c63f052/src/flint/fmpz_mpoly.jl#L283-L300 There is minimal required interface to get this working generically.

tthsqe12

Powering of power series over Z/nZ

15

Over Z/nZ it is possible to end up with greater precision when powering power series than when doing it over Z or some other integral domain. This is because the...

wbhart

Sudden Loss/Reset of Precision in Bessel Functions

3

There seems to be some loss/reset of precision in the `besselk`, `bessely` and `besselj` Bessel functions (the worst breakdown is for `besselk`, I didn't notice any for `besseli`). An example...

Neutrino155

Implement lu for fmpz_mod_mat

8

This can be implemented in Flint first, based on the nmod_mat implementation.

wbhart

Implement solve for fmpz_mod_mat's

5

This can be implemented in Flint first, based on the nmod_mat implementation.

wbhart

In `AbstractAlgebra`, `RealField` is a `Field` (using `BigFloat` with whatever precision is active), whereas in `Nemo`, `RealField == ArbField` is a field constructor, i.e. `RealField(64)` creates a field with 64...

rfourquet

Implement function to return a generator with a given name

1

Anders Skovsted Buch has requested the following: ``` R, _ = PolynomialRing(B, ["x", "y", "t5", "q"]) my_t5 = gen(R, "t5") ``` This would return the generator with the given "name",...

wbhart