Changes between Version 4 and Version 5 of Ticket #18220


Ignore:
Timestamp:
03/06/17 01:12:43 (4 years ago)
Author:
vdelecroix
Comment:

New commits:

c28fcf018220: raise an error for non exact fields

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18220

    • Property Status changed from new to needs_review
    • Property Authors changed from to Vincent Delecroix
    • Property Summary changed from Bug when creating a polyhedron with coefficients in RR to disallow non exact fields for the 'field' backend
    • Property Branch changed from to u/vdelecroix/18220
    • Property Commit changed from to c28fcf05115ba98f832e74a94eb518bb53117d2a
  • Ticket #18220 – Description

    v4 v5  
     1The 'field' backend does not properly support non exact fields
    12{{{
    23sage: omega = 2*RR.pi() / 5
     
    67Traceback (most recent call last):
    78...
    8 /sage/local/lib/python2.7/site-packages/sage/geometry/polyhedron/double_description_inhomogeneous.pyc in _extract_Vrep(self, DD)
    9     309         vertices = []
    10     310         for v in R1 + L1:
    11 --> 311             assert v[0] == 1
    12     312             vertices.append(v[1:])
    13     313         self.vertices = vertices
    149AssertionError:
    1510}}}
    16 
    17 There are also other types of wrong behavior:
    18 
     11or
    1912{{{
    2013sage: Q = polytopes.icosahedron()
     
    2821A 3-dimensional polyhedron in (Real Field with 103 bits of precision)^3 defined as the convex hull of 1 vertex and 3 rays
    2922}}}
     23
     24We simply raise an error if somebody want to try this.