Opened 8 years ago

Last modified 7 years ago

#11763 closed enhancement

Parents for polyhedra — at Version 3

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:

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

Apply:

Change History (5)

comment:1 Changed 8 years ago by novoselt

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

comment:2 Changed 8 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 8 years ago by vbraun

Initial patch

Changed 8 years ago by vbraun

Initial patch

comment:3 Changed 8 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? ;-)

Note: See TracTickets for help on using tickets.