Basic constructor for polyhedral complices that takes a matrix containing the vertices of the polyhedral complex and a list of lists with the indices of the vertices and rays in the maximal cells. Optionally one may provide a lineality space.
This constructor does not check well-definedness, see isWellDefined.
i1 : M = matrix {{0,1,2}} o1 = | 0 1 2 | 1 3 o1 : Matrix ZZ <--- ZZ |
i2 : L = {{0,1},{1,2}} o2 = {{0, 1}, {1, 2}} o2 : List |
i3 : PC = polyhedralComplex(M,L) o3 = PC o3 : PolyhedralComplex |