Changes between Version 5 and Version 6 of Ticket #31959


Ignore:
Timestamp:
Jun 11, 2021, 11:27:35 PM (16 months ago)
Author:
Matthias Köppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31959 – Description

    v5 v6  
    11... we only need to be careful with the method `ambient_dim`, which is the dimension of the polyhedron, not of the space.
    22
    3 So in this ticket we add:
    4 - the method `ambient` to `ConvexSet`, which is allowed to be a containing convex set, not necessarily a space,
     3So in this ticket we add to the API defined by `ConvexSet_base`:
     4- the method `ambient`, which is allowed to be a containing convex set, not necessarily a space,
    55- the method `ambient_vector_space`, which is always a vector space (even if `ambient` is only a free module).
    66