A Bug in the backend `field`

[LaisRast]

The backend field have the following bug:

sage: Polyhedron(lines=[[1]], backend='field')
The empty polyhedron in QQ^1

This is fixed by fixing #17339. We add a doctest verifying the fix.

Depends on #17339

CC: @jplab @kliem @videlec

Component: geometry

Keywords: polytopes, fields, empty, lines

Author: Jonathan Kliem

Branch/Commit: b8543fe

Reviewer: Laith Rastanawi

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

[kliem]

comment:1

It seems to be related to #17339.

When one tries to fix this, the verification that checks

Polyhedron(ieqs=[], ambient_dim=1) == Polyhedron(lines=[[1]])

in the class Hrep2Vrep in double_description_inhomogeneous.py will fail.

[kliem]

Dependencies: #17339

[kliem]

Author: Jonathan Kliem

[kliem]

Description changed:

--- 
+++ 
@@ -4,3 +4,5 @@
 sage: Polyhedron(lines=[[1]], backend='field')
 The empty polyhedron in QQ^1
 ```
+
+This is fixed by fixing #17339. We add a doctest verifying the fix.

[kliem]

Branch: public/28654

[kliem]

Commit: b8543fe

[kliem]

New commits:

b8543fe

backend field treats polyhedra that are universe correctly

[LaisRast]

Reviewer: Laith Rastanawi

[LaisRast]

comment:4

#17339 fixed the problem.
Since #17339 is on positive review, this also should be on positive review.