Changes between Initial Version and Version 1 of Ticket #29568


Ignore:
Timestamp:
05/05/20 14:17:32 (21 months ago)
Author:
gh-kliem
Comment:

New commits:

aa5ef80initalize cdd with both Hrep and Vrep to deal with numerical inconsistency

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29568

    • Property Commit changed from to aa5ef80e50468ab04c644e59f3550a35e403fe02
    • Property Branch changed from to public/29568
    • Property Summary changed from Initialize polyhedra with backend cdd with both Vrepresentation and Hrepresentation to Initialize polyhedra with backend cdd over RDF with both Vrepresentation and Hrepresentation
  • Ticket #29568 – Description

    initial v1  
    1111On the other hand `2*P` always threw this warning (also before #29200).
    1212
    13 We should use that we are given both Vrepresentation and Hrepresentation in cdd to make things work.
     13We use that we are given both Vrepresentation and Hrepresentation to use whichever works. It works if the calculated object has the correct length of Vrepresentation and Hrepresentation (that's the standard for cdd).