PolyhedronRepresentation: Add subclasses StrictInequality, StrictRay

[mkoeppe]

This is preparation for #34327 (ConvexVPolyhedralSet_base, ConvexHPolyhedralSet_base)

CC: @kliem @kcrisman

Component: geometry

Work Issues: add StrictRay

Author: Matthias Koeppe

Branch/Commit: u/mkoeppe/polyhedronrepresentation__add_subclass_strictinequality @ c97760f

Reviewer: Vincent Delecroix

Issue created by migration from https://trac.sagemath.org/ticket/32159

[mkoeppe]

Branch: u/mkoeppe/polyhedronrepresentation__add_subclass_strictinequality

[mkoeppe]

Commit: 5cb0e3f

[mkoeppe]

New commits:

5cb0e3f

sage.geometry.polyhedron.representation.StrictInequality: New

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

comment:3

Setting a new milestone for this ticket based on a cursory review.

[mkoeppe]

comment:4

Stalled in needs_review or needs_info; likely won't make it into Sage 9.5.

[videlec]

Reviewer: Vincent Delecroix

[videlec]

comment:5

Does the provided code is enough to define a polyhedron with both strict and non-strict inequalities? It seems weird to introduce this class and not being able to use it.

[mkoeppe]

comment:6

Not by itself, no, which is why the lines marked # temporary workaround in the doctests are necessary.

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1 +1,2 @@
+This is preparation for #34327 (ConvexVPolyhedralSet_base, ConvexHPolyhedralSet_base)
 

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

30b6481

sage.geometry.polyhedron.representation.StrictInequality: New

[sagetrac-git]

Changed commit from 5cb0e3f to 30b6481

[mkoeppe]

Work Issues: add StrictRay