Opened 5 years ago

Last modified 5 years ago

#25081 closed defect

The polar of a polyhedron should carry the backend used. — at Version 1

Reported by: Jean-Philippe Labbé Owned by:
Priority: major Milestone: sage-8.2
Component: geometry Keywords: polytope, polar, IMA-PolyGeom
Cc: Vincent Delecroix, Moritz Firsching, Matthias Köppe, Sebastian Gutsche Merged in:
Authors: Jean-Philippe Labbé Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Jean-Philippe Labbé)

Currently, sage does not carry the backend used when creating the polar polyhedron object:

sage: C = polytopes.hypercube(4,backend='cdd')
sage: C.polar().backend()
'ppl'

For consistency, it would make sense that sage tries to keep the backend used by self.

Change History (1)

comment:1 Changed 5 years ago by Jean-Philippe Labbé

Authors: Jean-Philippe Labbé
Description: modified (diff)
Note: See TracTickets for help on using tickets.