cisimplicial.lib. 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)