allow Z/2Z and do not throw errors when mapping back to n_Z
type i comment
use QuotRem if the division is not exact
oneStep, pMaximalOrder available
start on order ideals