add quotient ring check

 no unconditional check in static routines