Top
Back: toric_ideal
Forward: Algebraic geometry
FastBack: sing4ti2_lib
FastForward: Algebraic geometry
Up: toric_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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.


Top Back: toric_ideal Forward: Algebraic geometry FastBack: sing4ti2_lib FastForward: Algebraic geometry Up: toric_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.