Added posibility to use zsolve

and add cost vectors to groebner.