Opened 8 years ago
Last modified 7 years ago
#11763 closed enhancement
Parents for polyhedra — at Version 6
| 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 )
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)
- RDF
Apply:
Change History (11)
comment:1 Changed 8 years ago by
comment:2 Changed 8 years ago by
We don't have an implementation of the double description algorithm for other base rings, so we wouldn't be able to compute anything.
comment:3 Changed 8 years ago by
- 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 8 years ago by
- Description modified (diff)
comment:5 Changed 8 years ago by
Fix comparison of H/V-representation objects:
sage: triangle = Polyhedron([(0,0), (1,0), (0,1)]) sage: ieq = triangle.inequality_generator().next() sage: ieq == copy(ieq) False
Now returns True, as it should.
comment:6 Changed 8 years ago by
- Description modified (diff)
The new patch I posted at #11634 broke these, so I rebased them.
Apply trac_11763_ZZ_polyhedron-rebase.patch, trac_11763_parents-rebase.patch
Would there be any benefit in supporting real fields of arbitrary precision?