Update all__sagemath_{objects,categories,repl,environment}.py from sa…

…gemath#37900

src/sage/arith/all__sagemath_objects.py

@@ -1,3 +1,5 @@
 # sage_setup: distribution = sagemath-objects
 # The presence of this file ensures that sage_setup for sagemath-objects
 # considers this directory as a namespace package
+
+from sage.arith.power import generic_power as power

src/sage/calculus/all__sagemath_categories.py

@@ -0,0 +1 @@
+from sage.calculus.functional import diff, derivative, expand, simplify, taylor

src/sage/combinat/all__sagemath_categories.py

@@ -0,0 +1,27 @@
+from sage.combinat.matrices.all__sagemath_categories import *
+
+from sage.misc.lazy_import import lazy_import
+
+# Integer lists
+from sage.combinat.integer_lists import IntegerListsLex
+from sage.combinat.integer_vector import IntegerVectors
+
+from sage.combinat.combinat import (CombinatorialObject,
+                                    bell_number, bell_polynomial, bernoulli_polynomial,
+                                    catalan_number, euler_number,
+                                    fibonacci, fibonacci_sequence, fibonacci_xrange,
+                                    lucas_number1, lucas_number2,
+                                    number_of_tuples, number_of_unordered_tuples,
+                                    polygonal_number, stirling_number1, stirling_number2,
+                                    tuples, unordered_tuples)
+
+from sage.combinat.combination import Combinations
+from sage.combinat.composition import Composition, Compositions
+from sage.combinat.permutation import Permutation, Permutations, Arrangements, CyclicPermutations, CyclicPermutationsOfPartition
+from sage.combinat.subset import Subsets, subsets, powerset, uniq
+from sage.combinat.tuple import Tuples, UnorderedTuples
+
+
+from sage.combinat.dlx import DLXMatrix, AllExactCovers, OneExactCover
+
+del lazy_import

src/sage/combinat/matrices/all__sagemath_categories.py

@@ -0,0 +1,4 @@
+from sage.misc.lazy_import import lazy_import
+
+lazy_import('sage.combinat.matrices.dlxcpp', 'DLXCPP')
+del lazy_import

src/sage/data_structures/all__sagemath_categories.py

@@ -0,0 +1 @@
+from sage.data_structures.bitset import Bitset, FrozenBitset

src/sage/ext/all__sagemath_categories.py

@@ -0,0 +1,2 @@
+from sage.ext.fast_callable import fast_callable
+from sage.ext.fast_eval import fast_float

src/sage/groups/all__sagemath_categories.py

@@ -0,0 +1,10 @@
+from sage.groups.all__sagemath_objects import *
+
+from sage.groups.generic import (discrete_log, discrete_log_rho, discrete_log_lambda,
+                                 linear_relation, multiple, multiples, order_from_multiple)
+
+from sage.misc.lazy_import import lazy_import
+
+lazy_import('sage.groups', 'groups_catalog', 'groups')
+
+del lazy_import

src/sage/misc/all__sagemath_categories.py

@@ -0,0 +1,77 @@
+
+from sage.misc.all__sagemath_objects import *
+
+from sage.misc.html import html, pretty_print_default
+
+from sage.misc.mathml import mathml
+
+from sage.misc.table import table
+
+from sage.misc.map_threaded import map_threaded
+
+from sage.misc.mrange import xmrange, mrange, xmrange_iter, mrange_iter, cartesian_product_iterator
+
+from sage.misc.defaults import (set_default_variable_name,
+                                series_precision, set_series_precision)
+
+
+from sage.misc.functional import (additive_order,
+                                  base_ring,
+                                  base_field,
+                                  basis,
+                                  category,
+                                  charpoly,
+                                  characteristic_polynomial,
+                                  coerce,
+                                  cyclotomic_polynomial,
+                                  decomposition,
+                                  denominator,
+                                  det,
+                                  dimension,
+                                  dim,
+                                  discriminant,
+                                  disc,
+                                  eta,
+                                  fcp,
+                                  gen,
+                                  gens,
+                                  hecke_operator,
+                                  image,
+                                  integral, integrate,
+                                  integral_closure,
+                                  interval,
+                                  xinterval,
+                                  is_even,
+                                  is_odd,
+                                  kernel,
+                                  krull_dimension,
+                                  lift,
+                                  log as log_b,
+                                  minimal_polynomial,
+                                  minpoly,
+                                  multiplicative_order,
+                                  ngens,
+                                  norm,
+                                  numerator,
+                                  numerical_approx,
+                                  n, N,
+                                  objgens,
+                                  objgen,
+                                  order,
+                                  rank,
+                                  regulator,
+                                  round,
+                                  quotient,
+                                  quo,
+                                  isqrt,
+                                  squarefree_part,
+                                  sqrt,
+                                  symbolic_sum as sum,
+                                  symbolic_prod as product,
+                                  transpose)
+
+from sage.misc.latex import LatexExpr, latex, view
+
+from sage.misc.fpickle import pickle_function, unpickle_function
+
+from sage.misc.persist import unpickle_global

src/sage/misc/all__sagemath_repl.py

@@ -1,4 +1,16 @@
 # sage_setup: distribution = sagemath-repl
+
+from sage.misc.all__sagemath_objects import *
+
 from sage.misc.sage_eval import sage_eval, sageobj
 
 from sage.misc.sage_input import sage_input
+
+from sage.misc.banner import version
+
+lazy_import('sage.misc.sagedoc', ['browse_sage_doc',
+                                  'search_src', 'search_def', 'search_doc',
+                                  'tutorial', 'reference', 'manual', 'developer',
+                                  'constructions', 'help'])
+
+lazy_import('pydoc', 'help', 'python_help')

src/sage/rings/all__sagemath_categories.py

@@ -1,7 +1,29 @@
 # sage_setup: distribution = sagemath-categories
+
+from sage.misc.lazy_import import lazy_import
+
 # Ring base classes
-from sage.rings.ring import Ring
+from sage.rings.ring import (Ring, Field, CommutativeRing, IntegralDomain,
+                             PrincipalIdealDomain)
+
+lazy_import("sage.rings.ring", "DedekindDomain")
+
+# Ring element base classes
+from sage.structure.element import (CommutativeAlgebraElement,
+                                    RingElement, CommutativeRingElement, IntegralDomainElement,
+                                    DedekindDomainElement, PrincipalIdealDomainElement,
+                                    EuclideanDomainElement, FieldElement)
+
 # Ideals
 from sage.rings.ideal import Ideal
-
 ideal = Ideal
+
+# To be added in #36566:
+
+# from sage.rings.finite_rings.all__sagemath_categories import *
+# from sage.rings.function_field.all__sagemath_categories import *
+# from sage.rings.number_field.all__sagemath_categories import *
+# from sage.rings.padics.all__sagemath_categories import *
+# from sage.rings.polynomial.all__sagemath_categories import *
+
+del lazy_import

src/sage/rings/finite_rings/all__sagemath_categories.py

@@ -0,0 +1,8 @@
+from sage.rings.finite_rings.finite_field_constructor import FiniteField
+
+GF = FiniteField
+
+from sage.rings.finite_rings.conway_polynomials import conway_polynomial, exists_conway_polynomial
+
+# Finite residue fields
+from sage.rings.finite_rings.residue_field import ResidueField

src/sage/rings/function_field/all__sagemath_categories.py

@@ -0,0 +1 @@
+from sage.rings.function_field.constructor import FunctionField

src/sage/rings/padics/all__sagemath_categories.py

@@ -0,0 +1 @@
+from sage.rings.padics.padic_generic import local_print_mode

src/sage/rings/polynomial/all__sagemath_categories.py

@@ -0,0 +1,21 @@
+# Quotient of polynomial ring
+from sage.rings.polynomial.polynomial_quotient_ring import PolynomialQuotientRing
+from sage.rings.polynomial.polynomial_quotient_ring_element import PolynomialQuotientRingElement
+
+# Univariate Polynomial Rings
+from sage.rings.polynomial.polynomial_ring_constructor import PolynomialRing
+from sage.rings.polynomial.polynomial_ring import polygen, polygens
+from sage.rings.polynomial.polynomial_element import Polynomial
+
+# Multivariate Polynomial Rings
+from sage.rings.polynomial.term_order import TermOrder
+from sage.rings.polynomial.multi_polynomial_element import degree_lowest_rational_function
+
+# Infinite Polynomial Rings
+from sage.rings.polynomial.infinite_polynomial_ring import InfinitePolynomialRing
+
+# Laurent Polynomial Rings
+from sage.rings.polynomial.laurent_polynomial_ring import LaurentPolynomialRing
+
+# Evaluation of cyclotomic polynomials
+from sage.rings.polynomial.cyclotomic import cyclotomic_value

src/sage/schemes/all__sagemath_categories.py

@@ -0,0 +1,4 @@
+from sage.schemes.generic.all import *
+from sage.schemes.affine.all import *
+from sage.schemes.projective.all import *
+from sage.schemes.product_projective.all import *