Nemo.jl
Nemo.jl copied to clipboard
Julia bindings for various mathematical libraries (including flint2)
@fieker and I had a discussion today about how we should resolve some of the incompatibilities with Julia and some of the internal inconsistencies in Nemo. Here is a summary...
@fieker once reported: julia> log(coeff(c[1].data, 0)) ERROR: Unable to compute logarithm the doc or the implementation is faulty. t seems to work only if input x satisties val(x) = 0...
We were trying to obtain the rank of a matrix ``` [[0.00011015364363109848027144986315099790935442186164177886067663098929390073084178202332522746864308829471917611943594454819972166601665909687446475501476806346297897523394289606189070250508012655434338977398970331034825610049547622666971696227892424913331970 +/- 4.17e-258] + [-1.670972720460300136686529424363248884985809632661010327106290729528175518598320809534065810891124199356490034173152672697676402645180076757270315384420556866998811014883293990129245567257894925806818271067454461151137926841111258737256769772048210252330e-6 +/- 5.52e-259]*im [-0.00011015364363109848027144986315099790935442186164177886067663098929390073084178202332522746864308829471917611943594454819972166601665909687446475501476806346297897523394289606189070250508012655434338977398970331034825610049547622666971696227892424913331970 +/- 4.17e-258] + [1.670972720460300136686529424363248884985809632661010327106290729528175518598320809534065810891124199356490034173152672697676402645180076757270315384420556866998811014883293990129245567257894925806818271067454461151137926841111258737256769772048210252330e-6 +/- 5.52e-259]*im 0 0 0] [[-0.0001542158757220834096894266305012464386000517658032560655373972076676508012409726975608102967687405694075252901608437433697590559071340713235084618917903094882958115580351727035352471224606460715018114464887661885171841476274550552010023397806911415195259 +/-...
These are still not implemented as per https://github.com/Nemocas/Nemo.jl/issues/862 though all the other functions in the table there are now implemented for integer types.
Is it possible to have the rational complex field instead of the float number complex field? Meanwhile maybe fit into LaurentSeriesField(ComplexField(QQ), 5, "ep")?
Do this once https://github.com/JuliaLang/julia/pull/33284 is merged.
Many of the matrix algorithms have no references. In many cases this is because the algorithms are not in the literature, e.g. some of the fraction free algorithms. Instead, the...
In order to support e.g. interpolation in more general rings, we need to be able to have and test more ring and elem properties, both mathematically and functionally: Rings: (ignore...
Hi, I would expect the following to work ```julia julia> RR = ArbField(100); julia> fmpz(RR(1)) 1 julia> fmpz(RR(1)/3*3) ERROR: Argument must represent a unique integer ``` The code looks suspicious...
This ticket is for discussion of the various issues related to divexact/divides and sqrt/issquare. @thofma @tthsqe12 We will not discuss the Euclidean division operator div and friends here. There is...