polytopes.snub_cube should allow exact coordinates

[mkoeppe]

polytopes.snub_cube should allow to have vertices with exact coordinates.

In preparation for #25097, the method has the new optional parameters verbose, base_ring, and exact.

CC: @nvcleemp @jplab @LaisRast

Component: geometry

Keywords: snub_cube, polytopes

Author: Laith Rastanawi, Matthias Koeppe

Branch/Commit: 13d8c44

Reviewer: Vincent Delecroix, Jean-Philippe Labbé, Travis Scrimshaw

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

[LaisRast]

Changed keywords from none to snub_cube, polytopes

[LaisRast]

Commit: 57a9d10

[LaisRast]

Branch: public/26340

[LaisRast]

New commits:

57a9d10

add exact option to snub_cube

[LaisRast]

Author: Laith Rastanawi

[videlec]

Reviewer: vincent Delecroix

[videlec]

comment:4

sage -t --long src/doc/en/thematic_tutorials/geometry/polyhedra_tutorial.rst
**********************************************************************
File "src/doc/en/thematic_tutorials/geometry/polyhedra_tutorial.rst", line 770, in doc.en.thematic_tutorials.geometry.polyhedra_tutorial
Failed example:
    E = polytopes.snub_cube(); E
Expected:
    A 3-dimensional polyhedron in RDF^3 defined as the convex hull of 24 vertices
Got:
    A 3-dimensional polyhedron in (Number Field in z with defining polynomial x^3 + x^2 + x - 1)^3 defined as the convex hull of 24 vertices
**********************************************************************
1 item had failures:
   1 of 109 in doc.en.thematic_tutorials.geometry.polyhedra_tutorial
    [108 tests, 1 failure, 57.00 s]
----------------------------------------------------------------------
sage -t --long src/doc/en/thematic_tutorials/geometry/polyhedra_tutorial.rst  # 1 doctest failed
----------------------------------------------------------------------

[sagetrac-git]

Changed commit from 57a9d10 to 8703f7f

[sagetrac-git]

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

8703f7f

fix snub cube example in polyhedra_tutorial.rst