degbound

Hello

I want to compute in K[x,z] a Groebner Basis. The computation of the whole Groebner Basis takes a lot of time, but actually I need only those entries in the Groebner Basis which have deg_z = 1.
Degbound works only for the total degree, so is there a way to modify debound?

And how does degbound work?
Can it guarantue that I will get all entries with total degree smaller than degbound?

thanks

degbound removes all pairs from the list of pairs where the degree of
the leading term of the s-poly is bigger than degbound.

If your input is homogeneous then you will get a partial
groebner base, i.e. the result is correct up to degbound.

In all other cases, a removed pair could result in a new element
for the Groebner basis with a degree smaller than degbound.

Hans Schoenemann