Semigroups
Semigroups copied to clipboard
Implement LeftSemigroupIdeal and RightSemigroupIdeal
A pull request for #939. Implements LeftSemigroupIdeal using a LeftMagmaIdeal and RightSemigroupIdeal as a RightMagmaIdeal.