Package cc.redberry.rings.poly