saraedum
commented
6 years ago The things that I'd like to investigate are to what extent Hensel lifting can be used here and maybe I can also use some ideas from https://arxiv.org/pdf/1602.01303.pdf.
Open saraedum opened 6 years ago
saraedum
commented
6 years ago The things that I'd like to investigate are to what extent Hensel lifting can be used here and maybe I can also use some ideas from https://arxiv.org/pdf/1602.01303.pdf.
The usual bottleneck of the whole Mac Lane infrastructure is the computation of
quo_rems of say integer polynomials. Let's discuss how this can be sped up.