Opened 11 months ago
Last modified 5 weeks ago
#30198 new enhancement
Polyhedra in vector spaces without distinguished basis
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.4 |
Component: | geometry | Keywords: | |
Cc: | gh-kliem, jipilab, tscrim | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Currently, the ambient space of a polyhedron is always a vector space constructed by VectorSpace
.
In this ticket, we define polyhedra in more general vector spaces (anything in the category VectorSpaces(K).FiniteDimensional()
for some real field K
). This includes:
sage.combinat.free_module.CombinatorialFreeModule
sage.tensor.modules.finite_rank_free_module.FiniteRankFreeModule
(vector spaces without distinguished basis)
In particular, the latter has the notion of linear forms, which would be used in the H-description of the polyhedra.
The implementation reduces the problem to the existing polyhedral backends in the coordinates w.r.t. an arbitrary basis.
Change History (10)
comment:1 Changed 11 months ago by
- Dependencies set to #30094
comment:2 Changed 11 months ago by
- Dependencies changed from #30094 to #30094, #30204
comment:3 Changed 11 months ago by
- Branch set to u/mkoeppe/polyhedra_in_vector_spaces_without_distinguished_basis
comment:4 Changed 11 months ago by
- Commit set to 2b672f5220c20613b32ab1ba6f87c51fbd723c0c
comment:5 Changed 10 months ago by
- Milestone changed from sage-9.2 to sage-9.3
comment:6 Changed 4 months ago by
- Milestone changed from sage-9.3 to sage-9.4
Setting new milestone based on a cursory review of ticket status, priority, and last modification date.
comment:7 Changed 5 weeks ago by
- Dependencies #30094, #30204 deleted
comment:8 Changed 5 weeks ago by
- Branch u/mkoeppe/polyhedra_in_vector_spaces_without_distinguished_basis deleted
- Commit 2b672f5220c20613b32ab1ba6f87c51fbd723c0c deleted
comment:9 Changed 5 weeks ago by
There was no code on the branch; removed.
comment:10 Changed 5 weeks ago by
An alternative approach is #31660, which provides Polyhedron.as_manifold_subset
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
sage.geometry.polyhedron.parent.Polyhedra: Generalize the factory
Merge branch 't/30204/generalize_polyhedra_parent_factory_to_handle_more_general_ambient_spaces' into t/30198/polyhedra_in_vector_spaces_without_distinguished_basis