Remove unnecessary uses of SR and symbolic functions in sage.algebras, sage.combinat

[mkoeppe]

git grep -E '[.](symbolic|calculus|functions).*import' reveals a number of calls to the symbolic calculus subsystem of Sage that can be avoided.

Examples:

• ArikiKoikeAlgebra._BasesCategory.ParentMethods.dimension uses sage.functions.other.factorial although it only needs ZZ.factorial

• Likewise, sage.categories.finite_dimensional_lie_algebras_with_basis uses symbolic binomial but only needs ZZ.binomial

• ClassicalCrystals.ParentMethods.demazure_character could be generalized to take a "variables" parameter so that users can obtain the result as an element of a polynomial ring instead of SR; or as a sympy expression

• Many more examples like this in sage.combinat whenever counting formulas or similar are produced

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

CC: @tscrim

Component: refactoring

Author: Frédéric Chapoton

Branch/Commit: ec09c4e

Reviewer: Matthias Koeppe

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

[fchapoton]

Branch: public/ticket/32411

[sagetrac-git]

Commit: 4a95d8a

[sagetrac-git]

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

4a95d8a

changing imports of binomial, factorial and floor in algebras and combinat

[sagetrac-git]

Changed commit from 4a95d8a to c1485e5

[sagetrac-git]

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

c1485e5

remove one import of SR in combinat

[sagetrac-git]

Changed commit from c1485e5 to ad0b243

[sagetrac-git]

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

ad0b243

fix typo

[sagetrac-git]

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

ec09c4e

fix in cluster

[sagetrac-git]

Changed commit from ad0b243 to ec09c4e

[mkoeppe]

Author: Frédéric Chapoton

[mkoeppe]

comment:7

Thanks a lot, LGTM.

[mkoeppe]

Reviewer: Matthias Koeppe

[vbraun]

Changed branch from public/ticket/32411 to ec09c4e