Coercion problem for polyhedra

[rharron]

I ran into the following problem of coercing a polyhedron over QQ to one over RDF:

sage: verts = Sequence([(1.732050808, 2.449489743, 4.242640687),
....:  (1.732050808, -1.224744871, 2.121320344),
....:  (1.732050808, -1.224744871, -2.121320344),
....:  (1.732050808, 2.449489743, 0.0),
....:  (-1.732050808, -2.449489743, -4.242640687),
....:  (-1.732050808, 1.224744871, -2.121320344),
....:  (-1.732050808, -2.449489743, 0.0),
....:  (-1.732050808, 1.224744871, 2.121320344)], universe=RDF^3)
sage: P_RDF = Polyhedron(vertices=verts)
sage: Space_RDF = P_RDF.parent()
sage: verts = Sequence([(1732051/1000000, 0, -400000393291/282842800000),
....:  (1732051/1000000, 666666505233/544331000000, -136082967219796951/192450130208500000),
....:  (1732051/1000000, 666666505233/544331000000, 136082967219796951/192450130208500000),
....:  (1732051/1000000, -666666505233/544331000000, -136082967219796951/192450130208500000),
....:  (1732051/1000000, -666666505233/544331000000, 136082967219796951/192450130208500000),
....:  (1732051/1000000, 0, 400000393291/282842800000),
....:  (577351/1000000, -888888520233/544331000000, -136082859839816063/96225065104250000),
....:  (577351/1000000, -6666671997/16329940000, -600000322261/282842800000),
....:  (577351/1000000, -6666671997/16329940000, 600000322261/282842800000),
....:  (577351/1000000, -888888520233/544331000000, 136082859839816063/96225065104250000),
....:  (577351/1000000, 1111110920133/544331000000, 146640983940592/207381605828125),
....:  (-1732051/1000000, -666666505233/544331000000, 136082967219796951/192450130208500000),
....:  (-577351/1000000, -1111110920133/544331000000, 146640983940592/207381605828125),
....:  (-577351/1000000, -1111110920133/544331000000, -146640983940592/207381605828125),
....:  (-1732051/1000000, -666666505233/544331000000, -136082967219796951/192450130208500000),
....:  (-577351/1000000, 888888520233/544331000000, 136082859839816063/96225065104250000),
....:  (-577351/1000000, 6666671997/16329940000, 600000322261/282842800000),
....:  (577351/1000000, 1111110920133/544331000000, -146640983940592/207381605828125),
....:  (-1732051/1000000, 666666505233/544331000000, 136082967219796951/192450130208500000),
....:  (-1732051/1000000, 0, 400000393291/282842800000),
....:  (-1732051/1000000, 666666505233/544331000000, -136082967219796951/192450130208500000),
....:  (-577351/1000000, 888888520233/544331000000, -136082859839816063/96225065104250000),
....:  (-577351/1000000, 6666671997/16329940000, -600000322261/282842800000),
....:  (-1732051/1000000, 0, -400000393291/282842800000)], universe=QQ^3)
sage: P_QQ = Polyhedron(verts)
sage: P_RDF_QQ = Space_RDF(P_QQ)
sage: P_RDF_QQ.Hrepresentation()
AttributeError: 'Polyhedra_RDF_cdd_with_category.element_class' object has no attribute '_Hrepresentation'
sage: P_RDF_QQ.Vrepresentation()
AttributeError: 'Polyhedra_RDF_cdd_with_category.element_class' object has no attribute '_Vrepresentation'

Component: geometry

Keywords: polyhedron

Reviewer: Volker Braun

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

[vbraun]

comment:1

Fixed in sage-5.10.beta1 (#14479)

[nathanncohen]

comment:2

I've been raised by the previous release managers to set the duplicate/wontfix tickets to "positive_review". Do we still do that under your reign ? :-P

Nathann

[vbraun]

comment:3

keep doing it ;)

[jdemeyer]

Reviewer: Volker Braun