Polymake v0.3.0

[kalmarek]

This is to align OscarPolytope.jl with recent developments in Polymake.jl

As we're doing this these questions need to be answered:

• are we doing colum-major (julia style) or row-major (polymake style) input/output? ← at the moment it's column-major @saschatimme @micjoswig
• what kind of integration with Nemo types do we need? @fieker
• what are the use-cases for Polyhedron, etc. What kind of constructors, functionalities do you need @fieker

[fieker]

OK: I'd do row matrices as this is the Oscar default - and dictated by non-commutative modules (2 months of discussions)
Use cases: many, possibly. So far I have inequalities, lattice points in polytopes and Hilbert basis of cones (to be precise in github.com/fieker/Oscar.jl#fieker/ in Polymake
plus some in Rings/mpoly-graded

[thofma]

For my application, I have a set of points (as rows) and need the convex hull as a polytope. For this polytope I need to iterate over the faces and facets.

Thanks!