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