polynomial residue class algebra