SB over rings with local ordering
small update
no currRing in libpolys
no currRing in libpolys
a
fixed bug pp_Mult_mm_Noether__T.cc
forgot to erase some debug outputs