You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
You mention groups, magmas and arithmoi. But there is another nice package that I wielded some time ago to implement actions of a symmetric group — it is called acts. It depends on groups too, so maybe it is even compatible with group-theory.
The text was updated successfully, but these errors were encountered:
You mention
groups
,magmas
andarithmoi
. But there is another nice package that I wielded some time ago to implement actions of a symmetric group — it is calledacts
. It depends ongroups
too, so maybe it is even compatible withgroup-theory
.The text was updated successfully, but these errors were encountered: