Change error message in construction of polyhedron object

[jplab]

The current error message given by

    sage: Polyhedron([[sqrt(2)]])
    Traceback (most recent call last):
    ...
    ValueError: for polyhedra with floating point numbers, the only allowed ring is RDF with backend 'cdd'

should be replaced by "ValueError: the only allowed inexact ring is RDF with backend 'cdd'"

Depends on #22572

CC: @videlec @mo271

Component: geometry

Keywords: days93, IMA-PolyGeom

Author: Jean-Philippe Labbé

Branch/Commit: 7005c9e

Reviewer: Moritz Firsching

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

[mo271]

comment:1

Wouldn't it be good, if it automatically detected AA? (Perhaps not..)

sage: P = Polyhedron([[sqrt(2)]], base_ring=AA)
sage: P.vertices()
(A vertex at (1.414213562373095?),)

[jplab]

Dependencies: 22572

[mo271]

Changed dependencies from 22572 to #22572

[videlec]

comment:4

Replying to @mo271:

Wouldn't it be good, if it automatically detected AA? (Perhaps not..)

sage: P = Polyhedron([[sqrt(2)]], base_ring=AA)
sage: P.vertices()
(A vertex at (1.414213562373095?),)

I don't want to special case input coming from the symbolic ring in the polyhedron code. This is the kind of thing that would have to be repeated everywhere. So either sqrt(2) should be a proper number field element (possibly AA) or this will stay as it is.

[jplab]

comment:5

Replying to @mo271:

Wouldn't it be good, if it automatically detected AA? (Perhaps not..)

sage: P = Polyhedron([[sqrt(2)]], base_ring=AA)
sage: P.vertices()
(A vertex at (1.414213562373095?),)

Forcing the base ring to be algebraic numbers is a bit "DWIM"... so I would allow it as it is above. If the user is lazy and still puts the base ring to be AA with square roots everywhere... it's still nice to be able to get what you want, but it should not allow to simply but symbolic stuff at all.

[jplab]

New commits:

18293d5	initial commit
e1904c6	22572: first draft of polyhedra tutorial
5a09b69	22572: revamp polyhedra tutorials
db5e413	Updated to 8.2.b5, fixed many errors
62c5d56	Merge branch 'public/22572v8.2b5' of trac.sagemath.org:sage into 24835
84ec284	Fixed the tutorial

[jplab]

Branch: u/jipilab/24835

[jplab]

Commit: 84ec284

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

85dc6f4

pep8

[sagetrac-git]

Changed commit from 84ec284 to 85dc6f4