add: in std computation over Z, the following strategy was added:
one compute the standard bases over Q. If this is <1>, then find
the constant poly which lies in Z via syz. Add this number to
initial ideal to keep coefficients small