Ideals and left ideals

[vendramin]

Add support for ideals and left ideals. Compute the socle and check if the (skew) brace is simple. Compute quotients of skew braces by ideals

[vendramin]

We should also display ideals as ideals.

[olexandr-konovalov]

@vendramin the 1st comment is already implemented. The 2nd would really be an improvement. We think with @VanAntwerpen of something like

<two-sided ideal of size 4 in <brace of size 8>>

properly handling cases of left or two-sides, classical or skew etc.

[vendramin]

Sounds good. Note that we need to use (left) ideals as independent skew braces as well as ideals of a bigger skew brace.

…

On 18 May 2023, at 13:57, Olexandr Konovalov ***@***.***> wrote: @vendramin the 1st comment is already implemented. The 2nd would really be an improvement. We think with @VanAntwerpen of something like <two-sided ideal of size 4 in <brace of size 8>> properly handling cases of left or two-sides, classical or skew etc. — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you were mentioned.Message ID: ***@***.***>