parallel version of Singular's primdec.lib