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 |