[Bug]: Fix "IsCyclic" method

[limakzi]

What happened?

The IsCyclic function must be defined clearly.

We say antimagma is cyclic if there exists element $m \in M$ such that $M \langle m \rangle$. The associativity does not matter here, more-over, left and right sides does not matter too.

1. Remove IsLeftCyclic
2. Remove IsRightCyclic
3. Add IsCyclic, template:

ForAny(Elements(M), m -> Size(Submagma(M, [m])) = Size(M) )

4. Remove tests too.

Version

0.5.0 (Default)

What browsers are you seeing the problem on?

No response

Relevant log output

Code of Conduct

• I agree to follow this project's Code of Conduct