|
D.4.25.2 toric_std
Procedure from library toric.lib (see toric_lib).
- Usage:
- toric_std(I); I ideal
- Return:
- ideal: standard basis of I
- Note:
- This procedure computes the standard basis of I using a specialized
Buchberger algorithm. The generating system by which I is given has
to consist of binomials of the form x^u-x^v. There is no real check
if I is toric. If I is generated by binomials of the above form,
but not toric, toric_std computes an ideal `between' I and its
saturation with respect to all variables.
For the mathematical background, see
Toric ideals and integer programming.
Example:
See also:
Toric ideals;
intprog_lib;
toric_ideal;
toric_lib.
|