This is a subset distribution that includes all of sagemath-standard except for sage.symbolic and modules that use that.

As preparation, we remove gratuitous module-level imports from sage.symbolic, sage.functions, sage.calculus which block this modularization.

• either by making these imports lazy_import

• or by moving module-level imports to individual methods

• or by replacing unnecessary uses of symbolic functions

• or by using .abc (see Meta-ticket: Replace is_Class functions, create abstract base classes to enable modularization #32414)
  The command git grep -E '^from.*sage[.](symbolic|calculus|functions).*import' helps to find these imports.

• Remove unnecessary uses of SR and symbolic functions in sage.algebras, sage.combinat #32411/Remove unnecessary uses of SR and symbolic functions in sage.categories, sage.coding #32413/Remove unnecessary uses of symbolic functions in sage.tensor.modules #32415/Remove unnecessary uses of SR and symbolic functions in sage.geometry (except .hyperbolic_space) #32416: Remove unnecessary uses of SR and symbolic functions

• sage.structure, sage.sets: Remove hard dependencies on the symbolic ring / polynomial rings #32599: sage.structure, sage.sets: Remove hard dependencies on the symbolic ring / polynomial rings

• sage.modules, sage.matrix: Remove import-time dependencies on the symbolic ring #32593: sage.modules, sage.matrix: Remove import-time dependencies on the symbolic ring

• sage.tensor.modules: remove dependency on sage.manifolds #32708: sage.tensor.modules: remove dependency on sage.manifolds

• sage.tensor.modules: make doctests involving SR optional #32712 sage.tensor.modules: make doctests involving SR optional

• Move sage.functions.other.sqrt to sage.misc.functional #32717: Remove use of sage.functions.other.sqrt (outside of sage.symbolic, sage.functions, sage.manifolds)

• Avoid ceil, floor from sage.functions.other in non-symbolic uses #32731: Avoid ceil, floor from sage.functions.other in non-symbolic uses

• sage.functions.log.log: Move to sage.misc.functional #32794: sage.functions.log.log: Move to sage.misc.functional

• sage.matrix: Modularization fixes after #33159 #33392: sage.matrix: Modularization fixes after wrong result solving equation system with symbolic matrix #33159

• Replace "... is SR" by isinstance(..., sage.rings.abc.SymbolicRing) to handle symbolic subrings #32724: Replace ... is SR by isinstance(..., sage.rings.abc.SymbolicRing) to handle symbolic subrings

• Remove or tag uses of SR and symbolic functions in combinat, categories, etc. #32609 Remove more unnecessary uses of SR and symbolic functions in sage.combinat

• Removing remaining uses of is_CallableSymbolicExpression #34215 Removing remaining uses of is_CallableSymbolicExpression

• sage.combinat.finite_state_machine: Remove use of "var" #34217 sage.combinat.finite_state_machine: Remove use of "var"

• Methods __round__, __trunc__, __floor__, __ceil__ #25827: Methods __round__, __trunc__, __floor__, __ceil__

• Remove module-level imports from sage.symbolic etc. (outside of sage.symbolic, sage.calculus etc.) #32718: Remove module-level imports from sage.symbolic etc. (outside of sage.symbolic, sage.calculus etc.)

• Remove abuse of predefined x in doctests #32721: Remove abuse of predefined x in doctests

• sage.categories.classical_crystals: Remove use of sage.symbolic #33673: sage.categories.classical_crystals: Remove use of sage.symbolic

• sage.combinat.root_system.coxeter_type: Replace module-level import of SR #33674: sage.combinat.root_system.coxeter_type: Replace module-level import of SR

To test:

./bootstrap && ./configure && make build && ./sage -sh -c '(cd pkgs/sagemath-standard-no-symbolics && SAGE_NUM_THREADS=16 tox -v -v -v -e sagepython-sagewheels-nopypi)'

See also:

• Modularization of sagelib: Break out separate package sagemath-symbolics #31695 Modularization of sagelib: Break out separate package sagemath-symbolics

Depends on #34547
Depends on #16522
Depends on #34855

CC: @kliem @egourgoulhon @tobiasdiez @anneschilling

Component: refactoring

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