Ioannis Filippidis

Also, `omega.games.enumeration` tries to minimize the number of states while enumerating: it prefers edges that lead to states that have already been enumerated, and computes those symbolically. I believe that...

This will essentially address also #37.

Thank you for finding this API bug. The function `polytope.polytope.is_convex` is named as a predicate (a [Boolean-valued expression](https://lamport.azurewebsites.net/tla/book.html)). Based on the naming convention in CPython (e.g., the function [`os.path.isfile`](https://docs.python.org/3/library/os.path.html#os.path.isfile)) and...

I only faintly remember my thoughts at the time. I think that what I had in mind was to start by applying some geometric transformation that stretches / squeezes dimensions...

The method `bounding_box` of the `Region` (or `Polytope`) class is being used in `tulip`, in the following modules of the subpackage `tulip.abstract`: - [`discretization`](https://github.com/tulip-control/tulip-control/blob/053101e8e743c87585daf33ddb479e7bfa0dcfd6/tulip/abstract/discretization.py#L907) (plotting) - [`plot`](https://github.com/tulip-control/tulip-control/blob/7647d64607c731f060a223a4e121f5be3ec34678/tulip/abstract/plot.py#L70) (plotting) - [`prop2partition`](https://github.com/tulip-control/tulip-control/blob/7647d64607c731f060a223a4e121f5be3ec34678/tulip/abstract/prop2partition.py#L304)...

Regarding version management, I increment the minor version number for incompatible API changes. The version up to a037b555758ed9ee736fa7cb324d300b8d622fb4 has been below 1.0.0, so this practice happens to be compatible with...

I agree, with the note that the next version as of 4d541aecbc856e28ea56175d1175661807619a0b will be `polytope == 0.1.4`, so that the bug fixes become available to `tulip == 1.3.0`. As implied...

In a bounding box matrix of shape `(2, N)`, the coordinates of each corner form a row. In the literature, we usually transform points represented as matrices of shape `(N,...

The "inconsistencies" mentioned in the OP may have led to this characterization.

Indeed, I agree that a recursive implementation would be more readable, and that in CPython it would also be more limited, due to the potential for raising a [`RecursionError`](https://docs.python.org/3/library/exceptions.html#RecursionError).