Skip to content

Commit

Permalink
FIX: Keep shortname when translating Lie Class B2->C2
Browse files Browse the repository at this point in the history
  • Loading branch information
hulpke authored and fingolfin committed May 3, 2021
1 parent cbf7d31 commit d8fdd19
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion grp/simple.gi
Original file line number Diff line number Diff line change
Expand Up @@ -1000,7 +1000,8 @@ local nam,e,efactors,par,expo,prime,result,aut,i,classical,classaut,shortname,

# fix O5 to SP4
if id.series="B" and id.parameter[1]=2 then
id:=rec(name:=id.name,series:="C",parameter:=id.parameter);
id:=rec(name:=id.name,series:="C",parameter:=id.parameter,
shortname:=Concatenation("S4(",String(id.parameter[2]),")"));
fi;

if IsBound(id.parameter) then
Expand Down

0 comments on commit d8fdd19

Please sign in to comment.