Tommy Hofmann
Tommy Hofmann
Those issues trigger some bad memories for me. My summary over the years (last decade): - julia documentation infrastructure is underpowered for large projects - no one with commit rights...
(During the "Great Renaming" we also changed the matrix algebras to use `MatAlgebra`.)
No, this is not possible. The Howell form of a 2x17 matrix can be a 17x17 matrix. In general, the Howell form of a matrix will have as many rows...
Out of curiosity, what is the status of this? For my own project, shall I just copy it from https://lux.csail.mit.edu/dev/?
I am happy with 1) or 2), but would be against 3).
I think we should still fix this.
Today we (@lgoettgens and I) discussed this and came to the following conclusion: - This is the expected behavior of flint. It is not a bug in flint, since the...
There is a lot of code duplication. How much slower is it to just do `is_zero_det_probablisitic(numerator(x))` in the rational case?
Thanks for checking. I agree that the overhead of converting to `ZZMatrix` is too large.
There is something looking odd on the technical side. This PR changes literally all 1800 something files in the Oscar repository. It seems that for most of them, it is...