Opened 10 years ago

Last modified 9 years ago

#11763 closed enhancement

Parents for polyhedra — at Version 4

Reported by: vbraun Owned by: mhampton
Priority: major Milestone: sage-5.6
Component: geometry Keywords:
Cc: robertwb Merged in:
Authors: Volker Braun Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #11634 Stopgaps:

Status badges

Description (last modified by vbraun)

The Polyhedron class is, so far, free-standing with some sort of coercion for the base ring tacked manually. This ticket strives to add parents for polyhedra and make the base ring coercion work more naturally.

There will be 3 supported base rings:

  • ZZ (meaning that the polyhedron is a lattice polytope, that is, both H- and V-representation are defined over ZZ)
  • QQ
  • RDF


Change History (6)

comment:1 Changed 10 years ago by novoselt

Would there be any benefit in supporting real fields of arbitrary precision?

comment:2 Changed 10 years ago by vbraun

We don't have an implementation of the double description algorithm for other base rings, so we wouldn't be able to compute anything.

Changed 10 years ago by vbraun

Initial patch

Changed 10 years ago by vbraun

Initial patch

comment:3 Changed 10 years ago by vbraun

  • Authors set to Volker Braun
  • Description modified (diff)
  • Status changed from new to needs_review

This is now ready for inclusion. Marshall, are you interested in reviewing this patch and its dependency? ;-)

comment:4 Changed 10 years ago by vbraun

  • Description modified (diff)
Note: See TracTickets for help on using tickets.