Bug fixed: in hdegree.cc it was used pIsPurePower, but actually was need...

...ed p_IsPureMonomial, which was build in p_polys.cc, added new tests for stb over integers for ideals