Coercion between algebraic polyhedra fails

[kliem]

For the following polyhedra all things involving coercion fail.

sage: P = polytopes.icosahedron(); P
A 3-dimensional polyhedron in (Number Field in sqrt5 with defining polynomial x^2 - 5 with sqrt5 = 2.236067977499790?)^3 defined as the convex hull of 12 vertices
sage: P1 = polytopes.small_rhombicuboctahedron(); P1
A 3-dimensional polyhedron in (Number Field in sqrt2 with defining polynomial x^2 - 2 with sqrt2 = 1.414213562373095?)^3 defined as the convex hull of 24 vertices

It seems to boil down to two issues:

• P.base_extend(P1.base_ring()) doesn't do anything, see Polyhedra coercion of base rings fails for number fields #28770,
• number fields can mostly not coerced by design.

Do we want to change that design for polyhedra? I think it is reasonable to coerce polyhedra over number fields by default. At least when there is exactly one composite field.

Depends on #28770

CC: @jplab @LaisRast @videlec

Component: geometry

Keywords: algebraic polyhedra, quadratic fields

Issue created by migration from https://trac.sagemath.org/ticket/28776

[kliem]

Changed dependencies from #28770, #28774 to #28770, #28774, #28778

[kliem]

Changed dependencies from #28770, #28774, #28778 to #28770, #28774

[kliem]

comment:3

As was pointed out to me, it is not desirable to coerce number fields to the smallest field in general. As it is not canonical, fragile and expensive.

However, it seems to be desirable for polyhedra, isn't it? Would it make sense to implement that somewhat as a standard behavior, e.g. that a polyhedron over QQ[sqrt(2)] and one over QQ[sqrt(3)] are coerced to one over QQ[sqrt(2) + sqrt(3)]?

[kliem]

Changed dependencies from #28770, #28774 to #28770

[embray]

comment:5

Ticket retargeted after milestone closed

[mkoeppe]

comment:6

Moving tickets to milestone sage-9.2 based on a review of last modification date, branch status, and severity.

[mkoeppe]

comment:8

Moving this ticket to 9.4, as it seems unlikely that it will be merged in 9.3, which is in the release candidate stage

[mkoeppe]

comment:9

Setting a new milestone for this ticket based on a cursory review.

[mkoeppe]

comment:10

Stalled in needs_review or needs_info; likely won't make it into Sage 9.5.