Tommy Hofmann
Tommy Hofmann
We should just implement it here in AA, even for the non-square case. People working with things where the caching is turned off cannot use the syntax `v * A`...
As I wrote above, I am happy to add this. (Some of the functions added in Oscar are wrong for non-square matrices and the `v * A * u` should...
Could we still do ring-dependent tuning of the cutoff parameters?
Why must we do a "1.0" release?
Version number "1.0" sounds so mature. I think we already did a great job, but we are still lacking basic functionality to do linear system solving. Even in the field...
@fieker we forgot (did not have time) to discuss this. What is up with this `@assert`?
Yes, unfortunately we don't have any useful linear algebra over inexact fields. Also, the whole model for p-adics, unramified extenions and arbitrary local fields is currently remodelled. In the meantime,...
Can someone supply an example? Then we can add a test and get this in.
Makes inference worse in some "unrelated" place, thus making the tests fail. (I have seen this happening before. I still don't know why.)
Yeah, more (random) inference errors.