Opened 8 years ago

Closed 7 years ago

#14744 closed defect (duplicate)

Coercion problem for polyhedra

Reported by: robharron Owned by: mhampton
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: geometry Keywords: coercion, polyhedron
Cc: Merged in:
Authors: Reviewers: Volker Braun
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

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'

Change History (4)

comment:1 Changed 8 years ago by vbraun

  • Milestone changed from sage-5.11 to sage-duplicate/invalid/wontfix
  • Status changed from new to needs_review

Fixed in sage-5.10.beta1 (#14479)

comment:2 Changed 7 years ago by ncohen

  • Status changed from needs_review to positive_review

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

comment:3 Changed 7 years ago by vbraun

keep doing it ;)

comment:4 Changed 7 years ago by jdemeyer

  • Resolution set to duplicate
  • Reviewers set to Volker Braun
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.