no currRing in libpolys