From a098bc11f9066736c002819b869fd28c1aea310c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jean-Philippe=20Labb=C3=A9?= Date: Fri, 17 Mar 2017 10:35:56 +0100 Subject: [PATCH] Added tests from the ticket --- src/sage/geometry/polyhedron/constructor.py | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/sage/geometry/polyhedron/constructor.py b/src/sage/geometry/polyhedron/constructor.py index 949373e37cf..000bfd24c79 100644 --- a/src/sage/geometry/polyhedron/constructor.py +++ b/src/sage/geometry/polyhedron/constructor.py @@ -220,6 +220,19 @@ :mod:`Parents for polyhedra ` +.. TESTS: + +Check :trac:`22552`:: + + sage: Polyhedron(vertices=[(8.3319544851638732, 7.0567045956967727), (6.4876921900819049, 4.8435898415984129)]) + Traceback (most recent call last): + ... + ValueError: no appropriate backend for computations with Real Field with 57 bits of precision + sage: Polyhedron(vertices =[(8.3319544851638732, 7.0567045956967727), (6.4876921900819049, 4.8435898415984129)], base_ring=RealField(40)) + Traceback (most recent call last): + ... + ValueError: no appropriate backend for computations with Real Field with 40 bits of precision + Base classes ------------