Claus Fieker

On Wed, Mar 15, 2023 at 08:47:22AM -0700, Thomas Breuer wrote: > Concerning the infinite abelian matrix group, `IsomorphismPcpGroup` from GAP's Polenta package would be the natural candidate, but the...

On Wed, Apr 05, 2023 at 12:30:25PM -0700, YueRen wrote: > @fingolfin Is the current ideal functionality good enough? If so, we should close the issue: > > ``` >...

On Thu, Apr 06, 2023 at 12:00:01AM -0700, Tommy Hofmann wrote: > We actually have the "geometric interface" for all our other ideals: > ``` > julia> QQQ, = rationals_as_number_field();...

On Sat, Dec 30, 2023 at 10:49:04AM -0800, Tommy Hofmann wrote: > After the discussions we had a while ago, the following is the best I can come up with:...

I don't mind too much, but would argue that algebraic_closure is the outlier. almost any field(extensions) return 2 things. Admittedly, I don't now what algebraic_closure could do here. I think...

On Tue, Dec 05, 2023 at 01:58:55AM -0800, Lena wrote: > The field of rational functions does not come with an order in Oscar which doesn't let me construct a...

On Fri, Nov 11, 2022 at 08:02:24AM -0800, Tommy Hofmann wrote: > I don't think the soon to be introduced `quotient_ring` has any relation to `quo`. > I think it...

On Fri, Nov 18, 2022 at 11:04:14AM -0800, Tommy Hofmann wrote: > I am sure we came to some conclusion, but I forgot to write it down. I think we...

On Tue, Feb 27, 2024 at 02:20:43PM -0800, Stefan Kohl wrote: > I think the best equivalent of a non-author maintainer for print publications is probably an employee of the...

It's more complicated as there are false positives... On Fri, 16 Jun 2023, 15:35 Lars Göttgens, ***@***.***> wrote: > Another possible benefit I can see is that future changes (in...