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