gap-packages/YangBaxter

LeftSeries misidentifies full skew brace

Opened this issue · 0 comments

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.