freem_to_Nm/
Nmonoid/
Nm_to_cycm/
Nm_to_freem/
Nposmonoid/
Qmonoid/
Qposmonoid/
QSposmonoid/
twoelemmonoid/
Zmonoid/