Initial implemenation of polynomial class with degrevlex ordering