add quotient ring check in 'normal.lib' functions