Tommy Hofmann
Tommy Hofmann
Does it work with Magma?
Internally we also have the version, where one can provide additional forms. If you can share the Magma code, we can probably translate it. Same applies to the second question.
I should change the Oscar docs to use the new files (same files, but with proper hierachy) and then delete those here. This should make the `canonical = false` superfluous....
Should be fixed with #1565
Not terminating for the following example: ``` julia> Qx, x = QQ["x"]; julia> K, a = number_field(x^16 + 36*x^12 - 120*x^10 + 392*x^8 - 432*x^6 + 216*x^4 - 48*x^2 +...
Let's do a mini multivariate polynomial triage and decide: 1. Should we always use the trick to work over $\mathbf{F}_p[X]/(f)$ with squarefree $f$? But this does not seem to scale...
No. Yes. Yes.
Should be good to go. I noticed no regression. Even for `rationals_as_number_field()`, passing to the rationals is still faster.
@benlorenz Some non-canonical output changed for the booktest (but the result is isomorphic). What is the recommended way? Do a breaking release and then adjust it?
Test failure looks real