dim(F,R)
Computes the dimension of a face. If F.indices is present (usually the case by construction) this requires no computations.
If F.indices is not present but a polynomial ring R can be associated to F (which is the case if F.ofComplex is present (or given as a second argument) or F is non-empty) then R.grading (which can be installed by addCokerGrading) is used to compute the dimension of the plane spanned by F.
|
|
|
|
|
|
If F.indices is not present this returns a dimension as explained above but note that this does not check whether F is a face of the convex hull of the rows of R.grading.