Changes between Initial Version and Version 1 of Ticket #31804


Ignore:
Timestamp:
May 9, 2021, 5:55:46 PM (17 months ago)
Author:
Matthias Köppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31804 – Description

    initial v1  
    55The category `PolyhedralSets` currently makes every parent an additive monoid (Minkowski sums). This will need to be changed -- the parent will be an additive monoid only if the sets of vertices/rays/lines, facets/equalities are.
    66
     7Related: #29819, #30198
    78