Facet and Vertex Properties of Polyhedra and Cones

[zkgeiselmann]

Added polymake properties as functions:

• facet_sizes
• vertex_sizes
• facet_degrees
• ray_degrees (in pm called vertex_degrees)

Added polymake function

• vertex_figure

[codecov]

Codecov Report

Merging #2797 (c76bcb1) into master (33f88fd) will increase coverage by 8.04%.
Report is 213 commits behind head on master.
The diff coverage is 95.23%.

@@            Coverage Diff             @@
##           master    #2797      +/-   ##
==========================================
+ Coverage   72.54%   80.59%   +8.04%     
==========================================
  Files         443      456      +13     
  Lines       62975    65015    +2040     
==========================================
+ Hits        45685    52398    +6713     
+ Misses      17290    12617    -4673     

Files	Coverage Δ
src/PolyhedralGeometry/Cone/properties.jl	91.35% <100.00%> (-3.01%)	⬇️
src/PolyhedralGeometry/Polyhedron/properties.jl	85.86% <100.00%> (+23.03%)	⬆️
...edralGeometry/Polyhedron/standard_constructions.jl	95.91% <90.00%> (+25.34%)	⬆️

... and 288 files with indirect coverage changes

[benlorenz]

Thanks, one further change request regarding no_coordinates. Otherwise this looks good.

[lkastner]

Thank you.

I noticed that some of the lines got a bit long, so I decided to run the Julia formatter to just format everything. This is why it might seem like there are many changes, but this should be fine, since @benlorenz already approved.