Remove unnecessary uses of SR and symbolic functions in sage.geometry (except .hyperbolic_space)

[mkoeppe]

(and except sage.geometry.riemannian_manifolds, which is removed in #32228)

Similar to what is done in #32411.

This is part of Meta-ticket #29705 (modularization) - to remove unnecessary dependencies on the distribution sagemath-symbolics (#31695)

CC: @kliem @fchapoton

Component: refactoring

Author: Jonathan Kliem

Branch/Commit: c40df1a

Reviewer: Matthias Koeppe

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

[kliem]

comment:1

I'm working on this at the moment. Using sympy.symbols is ok, right?
Probably yes, because geometry depends on categories.sets_cat, which depends on sympy.

I'm just too lazy to reinvent the wheel and was looking for something that prints linear combinations of symbolic variables as well. Of course it is not too hard to write this yourself...

[mkoeppe]

comment:2

Hm... what do you need this for? Are you just looking for repr_lincomb?

[kliem]

comment:3

Yes, that is exactly what I was looking for.

[kliem]

Branch: u/gh-kliem/remove_symbolics_from_geometry

[kliem]

comment:4

This is a partial solution.

• Some doctests need to be marked optional yet. In this ticket?
• sage.geometry.polyhedron.base.Polyhedron_base.affine_hull_manifold is missing yet.
• sage.geometry.hyperplane_arrangement.plot is missing. Not sure that this even works.

---

New commits:

d3479c7

remove some of symbolics from sage.geometry

[kliem]

Author: Jonathan Kliem, ...

[kliem]

Commit: d3479c7

[mkoeppe]

comment:5

These changes look good to me so far.

[mkoeppe]

comment:6

Replying to @kliem:

• Some doctests need to be marked optional yet. In this ticket?

We don't really have "optional" tags for things like sagemath_symbolics yet. You could add it to the beginning of sage.doctest.control (auto_optional_tags) but a more general solution is needed in the long term, see #30746

[mkoeppe]

Changed author from Jonathan Kliem, ... to Jonathan Kliem

[mkoeppe]

comment:8

Let's see what the patchbot thinks

[mkoeppe]

comment:9

1 doctest failure from the changed latex whitespace in representation printing

sage -t --long --random-seed=0 src/doc/en/thematic_tutorials/geometry/tips.rst
**********************************************************************
File "src/doc/en/thematic_tutorials/geometry/tips.rst", line 82, in doc.en.thematic_tutorials.geometry.tips
Failed example:
    print(TCube.Hrepresentation_str(latex=True))

[sagetrac-git]

Changed commit from d3479c7 to c40df1a

[sagetrac-git]

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

ef19b5a	Merge branch 'u/gh-kliem/remove_symbolics_from_geometry' of git://trac.sagemath.org/sage into u/gh-kliem/remove_symbolics_from_geometry
c40df1a	fix doctest

[mkoeppe]

Reviewer: Matthias Koeppe

[mkoeppe]

comment:11

LGTM, thanks.

[mkoeppe]

comment:12

Replying to @mkoeppe:

We don't really have "optional" tags for things like sagemath_symbolics yet.

Now provided by #32614

[vbraun]

Changed branch from u/gh-kliem/remove_symbolics_from_geometry to c40df1a