### 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

User manual for Singular version 4-0-3, 2016, generated by texi2html.