Lines Matching defs:vertex

44 /// of its dual, pointed at the origin (not at the original vertex).
76 /// num is computed by expressing the vertex as a weighted
81     ParamPoint vertex, int sign, const ConeH &cone) {
84   // Let the vertex be given by the matrix [ 2  2   0], with 2 params.
115   // The vertex is v \in Z^{d x (n+1)}
128   unsigned numColumns = vertex.getNumColumns();
129   unsigned numRows = vertex.getNumRows();
134       ithCol[j] = vertex(j, i);
220   ParamPoint vertex =
223   vertex.negateMatrix();
224   return vertex;
298 ///    is the number of variables), we solve to obtain the vertex in terms of
300 ///    this vertex satisfies the remaining (n - d) inequalities.
301 /// 2. For each vertex, identify the tangent cone and compute the generating
303 ///    parametric expression of the vertex and the (non-parametric) generators
306 ///    (chambers) where each vertex is active, and accordingly compute the
321   // For each vertex, we store the corresponding active region and the
353     // Find the vertex, if any, corresponding to the current subset of
355     std::optional<ParamPoint> vertex =
358     if (!vertex)
360     if (llvm::is_contained(vertices, vertex))
362     // If this subset corresponds to a vertex that has not been considered,
364     vertices.emplace_back(*vertex);
366     // If a vertex is formed by the intersection of more than d facets, we
368     // expression. This assumption is valid because, if the vertex has two
373     // Let the current vertex be [X | y], where
377     // The region (in parameter space) where this vertex is active is given
378     // by substituting the vertex into the *remaining* inequalities of the
396       activeRegion.setRow(i, vertex->preMultiplyWithRow(a2.getRow(i)));
405     // Now, we compute the generating function at this vertex.
406     // We collect the inequalities corresponding to each vertex to compute
407     // the tangent cone at that vertex.
430                  computeUnimodularConeGeneratingFunction(*vertex, sign, cone);
432     // We store the vertex we computed with the generating function of its
439   // space where each vertex is active. These regions (chambers) have the