Nemo.jl icon indicating copy to clipboard operation
Nemo.jl copied to clipboard

Make nf_elem_set support unreduced nf elements

Open wbhart opened this issue 6 years ago • 2 comments
trafficstars

In the Matrix and Poly modules, we read coeffs/entries, do an accumulation then write the accumulated result (this hack is a hack we introduced some time ago). This would all support delayed reduction if only the setting of the coeff/entry at the end of the accumulation supported setting of unreduced elements.

At present, in Antic, we only support addition and subtraction of unreduced number field elements.

This would have to be supported in Antic itself, and documented for any other module that was designed to support delayed reduction.

wbhart avatar Dec 19 '18 12:12 wbhart

It's also possible to introduce dot product functions for this (like in Arb).

fredrik-johansson avatar Dec 19 '18 12:12 fredrik-johansson

Yes, although our generic code would not be able to use them.

wbhart avatar Dec 19 '18 14:12 wbhart