Thomas Breuer
Thomas Breuer
The following happens in GAP 4.14.0 as well as in the master branch. Here is a correct computation. ``` gap> g1:= ExtraspecialGroup( 2^3, "+" );; gap> g2:= CyclicGroup( 4 );;...
Let `F` be a finite field. `PrimitiveElement( F )` returns an element that generates the field in the sense that there is no smaller field over the given subfield `LeftActingDomain(...
Rudolf Tange has sent me the following suggestions concerning MeatAxe functionality. - [x] There are two implementations of `MTX.BasisRadical`, one based on `SMTX.BasesMaximalSubmodules` and one based on `SMTX.DualModule` and `SMTX.BasisSocle`;...
The following happens in GAP 4.14.0 as well as in the current master branch. ``` gap> G:= Group( (1,2), (1,2) ); Group([ (1,2), (1,2) ]) gap> CanEasilyComputePcgs( G ); false...
I would like to ask for comments about the following situation. Let us look at functions like `Orbit` or `Permutation` from the viewpoint that they apply (group) elements to points,...
(motivated by #4471) Currently maps of the type `AbstractAlgebra.Generic.CompositeMap` (and perhaps other types) do not support functions such as `is_injective`, `is_surjective`, `kernel`, and the unary version of `image`. Eventually we...
These changes are intended to solve the problems described in the discussion #4749. (They require the GAP changes from gap-system/gap/pull/5970.) The idea is to set the GAP filter `MayBeHandledByNiceMonomorphism` in...
The following happens in Julia 1.12.0 and seems to be reproducible. I start Julia, load Oscar, and then enter `GAP.Globals.Pc`, followed by ``. All involved Julia packages are the currently...
Since #1238 got merged, we recommend prescribing a Julia type for the GAP-to-Julia conversion in order to avoid an unspecific recursive conversion. This does currently not work for the conversion...
The recipe from the section "Using GAP.jl with a different version of GAP than what `GAP_jll` provides" in `etc/README.md` works, except that GAP cannot load some GAP packages: For the...