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