Tommy Hofmann
Tommy Hofmann
Usually we do not do automatic promotion, where the parent of the result has to be constructed (like scalar times polynomial), but we should make an (additional) exception for matrices...
I am inclined to allow this fancy stuff only for matrices constructed via `matrix`, and not the matrix ring elements. For the matrix ring/algebra elements, one has to jump through...
> b. Algorithms which theoretically work with probability 1 (e.g., relying on a random choice being generic) Since we don't (and can't) take random elements from infinite fields (but only...
I understand why this could be useful in general, but I have some reservations about this. - Exposing anything like "verification_level" looks very bad IMHO, even if the default is...
Yes, they were left out for a reason, since it is not clear whether it should be 1)`Vector{ZZRingElem}` instead of `ZZMatrix`; or 2) called `coordinates`.
> Can we get this merged? Or is there any serious blocker (perhaps `dual` should be moved to `AA` -- or not. But surely we can decide that later? In...
What is the mechanism to get the full output? I think there should be one similar to `err`.
> Should this go in the message? I guess it could say > > > `` "…[printing stopped after displaying $(Base.format_bytes(e.maxbytes)); call `show(stdout, MIME"text/plain"(), ans)` to print without truncation]" ``...
(please ping me when you tag GAP.jl 0.11.0)
Strange, I guess tagbot did not work? I only look at the right hand side of https://github.com/oscar-system/GAP.jl to check the latest release. Edit: Everyhing is fine.