LeftSeries misidentifies full skew brace
Opened this issue · 0 comments
VanAntwerpen commented
The Method LeftSeries
should return a list of left ideals, but the skew brace itself is not identified as a left ideal, just as a skew brace. Stemming from the initialization of the list where it is just passed a ShallowCopy
:
InstallMethod(LeftSeries, "for a skew brace", [IsSkewbrace], function(obj)
local tmp, old, new, l, done;
done := false;
old := ShallowCopy(obj);
l := [old];
A similar function to AsIdeal
, but for left ideals, would solve the problem, which is also why RightSeries
does not have the same problem.