Merge pull request oscar-system#2797 from oscar-system/zkg/facet_prop…

…erties
JohnAAbbott · Oct 4, 2023 · 1a1cac0 · 1a1cac0
2 parents 5ec1474 + da80751
commit 1a1cac0
Show file tree

Hide file tree

Showing 9 changed files with 769 additions and 307 deletions.
diff --git a/docs/src/PolyhedralGeometry/Polyhedra/auxiliary.md b/docs/src/PolyhedralGeometry/Polyhedra/auxiliary.md
@@ -32,8 +32,10 @@ relative_interior_point(P::Polyhedron{T}) where T<:scalar_types
 nfacets(P::Polyhedron)
 nvertices(P::Polyhedron)
 f_vector(P::Polyhedron)
+facet_sizes(P::Polyhedron)
 g_vector(P::Polyhedron)
 h_vector(P::Polyhedron)
+vertex_sizes(P::Polyhedron)
 ```
 
 ## Groups

diff --git a/docs/src/PolyhedralGeometry/Polyhedra/constructions.md b/docs/src/PolyhedralGeometry/Polyhedra/constructions.md
@@ -196,6 +196,7 @@ a new polyhedron.
 bipyramid
 intersect(::Polyhedron...)
 pyramid
+vertex_figure
 ```
 
 The convex hull of two polytopes can be computed via `convex_hull`.

diff --git a/docs/src/PolyhedralGeometry/cones.md b/docs/src/PolyhedralGeometry/cones.md
@@ -38,6 +38,7 @@ secondary_cone(SOP::SubdivisionOfPoints{T}) where T<:scalar_types
 ambient_dim(C::Cone)
 Base.in(v::AbstractVector, C::Cone)
 Base.issubset(C0::Cone{T}, C1::Cone{T}) where T<:scalar_types
+facet_degrees(C::Cone)
 f_vector(C::Cone)
 hilbert_basis(C::Cone{QQFieldElem})
 codim(C::Cone)
@@ -52,4 +53,5 @@ nfacets(C::Cone)
 nrays(C::Cone)
 rays(C::Cone{T}) where T<:scalar_types
 rays_modulo_lineality(C::Cone{T}) where T<:scalar_types
+ray_degrees(C::Cone)
 ```