Tommy Hofmann
Tommy Hofmann
Hm, I think one can assume that nothing is thread-safe (due to caching or precision handling). Maybe we should mention this somewhere.
`R = MatrixAlgebra(QQ, 2)` and `a = R([1 2; 3 4])` if you want an element. Or `rand(R, -10:10)` for something random.
As said, the tests will fail, so no need to approve anything. I have to reapprove for the next commit anyway.
We are missing the `factor(x::Rational) = factor(QQ(x))` fallback and similar for the two-argument version.
One could use https://julialang.github.io/PackageCompiler.jl/stable/sysimages.html to do it for as many packages one wants. There is not much we can do on our part.
- Are you planning to rename the group types? I have not been at all meetings and I can't find it in one of those HackMD documents. - I must...
Hm, yes, I wonder whether this is correct: ``` mutable struct ModOrdering{T}
I was thinking about the following situation: The polynomial ring has one variable and the module is free of rank one. Then `:lex` and `:degrevlex` and whatnot define all the...
If you change the Hecke version in the file `Oscar/src/Project.toml` to `0.30.2`, you should be able to get rid of `complex_conjugation2`.
The coefficient field is ``` Relative number field with defining polynomial T^2 - z_16^6 + z_16^4 - z_16^2 over number field with defining polynomial _$^8 + 1 over rational field...