grobner bases finally working. sequential part is over