alexej-jordan

Avoid frequent tiny allocations by implementing specific C++ functionality. This mainly focuses on conversion between `Polymake` native types (`Integer` and `Rational`) and `Oscar` native types (`fmpz` and `fmpq`), as well...

Streamline docs for `vertices`/`rays` and `minimal_faces`/`rays_modulo_lineality`

1

@lkastner

We want to be able to have different field types for computations in Oscar, e.g. have a meaningful implementation of a `Polyhedron{T}`. Field types coming from other parts of Oscar...

Improve stability of tests in PolyhedralGeometry

2

Prevent tests from randomly failing if the order of some properties changes or rays are represented differently.

Introduce `halfspace_matrix_pair(ZZ, ...)`

2

With `halfspace_matrix_pair(ZZ, ...)` we can ask for integral representations of its content. This solves #4682 . In the following example we compare the default case to the integral case and...