deg01

where
result = 
Usage:
    <deg01 I d result
Given an ideal I in 2 sets of variables (i.e. ring has two blocks), find
a k-basis for the degree (d, 1) part of the quotient ring S/I.
Parameters:
 I 	= ideal, bihomogeneous, where first weight vector is the one used in
  the ring, and the second is: each variable in the first block
  of variables has degree 1, and the rest have degree 0.  It is
  assumed that a STANDARD BASIS of I HAS BEEN COMPUTED.
 d	= integer.
Output values:
 result = the ideal consisting of a set of  monomials of 
      degree (d, 1) which form a basis of S/I in degree (d,1).