added missing idealsAreEqual. (idealsEqual from primdec.lib cannot be used, since in may fail in cases where standard basis is computed by an algrorithm different from std()