search

thetensor-space / TameGenus

Algorithms for isomorphism testing of groups with small genus
MIT License
1 stars 0 forks source link

__Radical_removal #20

Closed joshmaglione closed 4 years ago

joshmaglione commented 4 years ago

The following is a bug from @eobr007 posted as Issue 13 at Auto-Sandbox.

Potential error with __Radical_removal. It seems most likely that the input is not something we are expecting. 

> G:=SmallGroup (5^6, 15);
> A := AutomorphismGroupByInvariants (G);

AutomorphismGroupByInvariants(
    G: GrpPC
)
TGPseudoIsometryGroup(
    t: Tensor of valence 3, U2 x U1 >-> U0 U2 : Full Vector space o...
)
__Radical_removal(
    t: Tensor of valence 3, U2 x U1 >-> U0 U2 : Full Vector space o...
)
In file "/home/eobr007/Stabiliser/TameGenus/src/Util.m", line 167, column 23:
>>     C_im := Complement(Generic(Codomain(t)), t_im);
                         ^
Runtime error in 'Complement': Bad argument types
Argument types given: ModTupFld[FldFin], ModTupRng[RngInt]

debug>
joshmaglione commented 4 years ago

It seems this issue is fixed on dev right now. More testing is needed to make sure the 0-dimensional stuff is all cleared. I'll come back to it soon.