#30330 closed defect (fixed)

`cdd` backend fails to initialize empty polyhedron from double description

Reported by: gh-kliem Owned by:
Priority: critical Milestone: sage-9.2
Component: geometry Keywords: empty polyhedron, RDF, cdd
Cc: jipilab, gh-LaisRast Merged in:
Authors: Jonathan Kliem Reviewers: Matthias Koeppe
Report Upstream: N/A Work issues:
Branch: c3896a2 (Commits, GitHub, GitLab) Commit: c3896a287563b4d19515e67bd7022f2d2a3b0118
Dependencies: Stopgaps:

Status badges

Description

sage: P1 = polytopes.regular_polygon(5, exact=False)
sage: P2 = Polyhedron()
sage: P1*P2
---------------------------------------------------------------------------
KeyError                                  Traceback (most recent call last)
...
TypeError: can't multiply sequence by non-int of type 'NoneType'

We use the method _init_empty_polyhedron if applicable to fix this.

Change History (4)

comment:1 Changed 12 months ago by gh-kliem

  • Branch set to public/30330
  • Commit set to c3896a287563b4d19515e67bd7022f2d2a3b0118
  • Status changed from new to needs_review

New commits:

c3896a2fix initialization of impty RDF polyhedron from double descpription

comment:2 Changed 12 months ago by mkoeppe

  • Priority changed from major to critical
  • Reviewers set to Matthias Koeppe
  • Status changed from needs_review to positive_review

comment:3 Changed 12 months ago by gh-kliem

Thank you.

comment:4 Changed 12 months ago by vbraun

  • Branch changed from public/30330 to c3896a287563b4d19515e67bd7022f2d2a3b0118
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.