Home Online Manual
Top
Back: assPrimes
Forward: minMult
FastBack: assprimeszerodim_lib
FastForward: elim_lib
Up: Commutative algebra
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.4 cisimplicial_lib

Library:
cisimplicial.lib
Purpose:
. Determines if the toric ideal of a simplicial toric variety is a complete intersection

Authors:
I.Bermejo, ibermejo@ull.es
I.Garcia-Marco, iggarcia@ull.es

Overview:
A library for determining if a simplicial toric ideal is a complete intersection with NO NEED of computing explicitly a system of generators of such ideal. The procedures are based on two papers: I. Bermejo, I. Garcia-Marco and J.J. Salazar-Gonzalez: 'An algorithm for checking whether the toric ideal of an affine monomial curve is a complete intersection', J. Symbolic Computation 42 (2007) pags: 971--991 and I.Bermejo and I. Garcia-Marco: 'Complete intersections in simplicial toric varieties', Preprint (2010)

Procedures:

D.4.4.1 minMult  computes the minimum multiple of a that belongs to the semigroup generated by b
D.4.4.2 belongSemigroup  checks whether A*x = v has a nonnegative integral solution
D.4.4.3 oneDimBelongSemigroup  checks whether v*x = n has a nonnegative integral solution
D.4.4.4 cardGroup  computes the cardinal of Z^m / ZA
D.4.4.5 isCI  checks wether I(A) is a complete intersection