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