id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
32013 Initialize a Set from a ConvexSet_base instance mkoeppe "A `Polyhedron` is not a `Parent`, so `Set` refuses to construct the set of its elements.
We change this by creating a new abstract base class for non-necessarily-parent sets with methods `union`, `intersection`, etc.
`ConvexSet_base` (from #31919) now inherits from `Set_base`.
So we can now do the following things:
{{{
sage: Set(polytopes.cube())
Set of elements of A 3-dimensional polyhedron in ZZ^3 defined as the convex hull of 8 vertices
sage: polytopes.cube().union(polytopes.tetrahedron())
Set-theoretic union of Set of elements of A 3-dimensional polyhedron in ZZ^3 defined as the convex hull of 8 vertices and Set of elements of A 3-dimensional polyhedron in ZZ^3 defined as the convex hull of 4 vertices
}}}
" enhancement needs_review major sage-9.4 geometry gh-kliem tscrim Matthias Koeppe N/A u/mkoeppe/initialize_a_set_from_a_convexset_base_instance e1443896851ac805a89e8747e8c7412bbc7d9d10 #31990