Procedures:
D.4.30.1 toric_ideal computes the toric ideal of A D.4.30.2 toric_std standard basis of I by a specialized Buchberger algorithm