Claus Fieker
Claus Fieker
can_be_defined_over would also work with ZZ (if the input is over a number field/ QQ)
This should, currently, given an error, so after verfication -> close
On Thu, Apr 11, 2024 at 02:07:25AM -0700, Aaruni Kaushik wrote: > I've come up with a pipe of greps and seds from the Oscar.jl directory which produces 28 functions....
On Thu, Feb 29, 2024 at 12:34:09PM -0800, Thomas Breuer wrote: > addresses #3468 > > There is still a problem with the requirements for `gens` of pc groups (corresponding...
That is between you @ThomasBreuer and @fingolfin . map_word as it is useful, in fact I have already stolen this into my code. The Pc vs. Pcp is independent and...
@jankoboehm will have a look at this one
On Tue, Apr 09, 2024 at 05:33:21AM -0700, Lars Göttgens wrote: > @lgoettgens commented on this pull request. > > > > > + upper_points(cycle_partition(perm(symmetric_group(length(pp_1)), 1:length(pp_1))))) > + end >...
wair for @fingolfin
On Thu, Oct 12, 2023 at 07:23:04AM -0700, Lars Göttgens wrote: > It seems that there just is no `factor` method for `AbstractAlgebra.Generic.MPoly{ZZModRingElem}`, so the fallback in Hecke calls itself...
Actually, all should fails as by type, Z/nZ is not a field. However a useful error should be generated