sagemathgh-37390: Replace all :trac: with :issue: in docstrings

Following the PR sagemath#37385, I have
replaced all occurrences of `:trac:` with `:issue:`.

If changing so much in one PR is wrong and this should be done file by
file while working on other functions feel free to close this PR.

URL: sagemath#37390
Reported by: Giacomo Pope
Reviewer(s): Giacomo Pope, Kwankyu Lee

build/pkgs/configure/checksums.ini

@@ -1,4 +1,4 @@
 tarball=configure-VERSION.tar.gz
-sha1=ff35813eb1168b754ab9470066b39aeaca9d462c
-md5=834bc382880b0cfea48fa00bdff79534
-cksum=4002007446
+sha1=33da83a21d026381c616e847e8fdb14f84803776
+md5=063475b1211038fbd3bdde4f5ab6b34a
+cksum=1924665094

build/pkgs/configure/package-version.txt

@@ -1 +1 @@
-872ca39ec422cacd1005dd6b1ccd9737d5d88712
+463e015d627b968e317050e2578157a6a1ffe2eb

src/sage/algebras/clifford_algebra.py

@@ -987,7 +987,7 @@ def lift_module_morphism(self, m, names=None):
         TESTS:
 
         Check that the resulting morphism knows it is for
-        finite-dimensional algebras (:trac:`25339`)::
+        finite-dimensional algebras (:issue:`25339`)::
 
             sage: Q = QuadraticForm(ZZ, 3, [1,2,3,4,5,6])
             sage: Cl.<x,y,z> = CliffordAlgebra(Q)
@@ -1071,7 +1071,7 @@ def lift_isometry(self, m, names=None):
         TESTS:
 
         Check that the resulting morphism knows it is for
-        finite-dimensional algebras (:trac:`25339`)::
+        finite-dimensional algebras (:issue:`25339`)::
 
             sage: Q = QuadraticForm(ZZ, 3, [1,2,3,4,5,6])
             sage: Cl.<x,y,z> = CliffordAlgebra(Q)
@@ -1553,7 +1553,7 @@ def lift_morphism(self, phi, names=None):
         TESTS:
 
         Check that the resulting morphism knows it is for
-        finite-dimensional algebras (:trac:`25339`)::
+        finite-dimensional algebras (:issue:`25339`)::
 
             sage: E = ExteriorAlgebra(ZZ, 'e', 3)
             sage: T = jordan_block(0, 2).block_sum(jordan_block(0, 1))
@@ -1772,7 +1772,7 @@ def interior_product_on_basis(self, a, b):
             sage: E.interior_product_on_basis(k[7], k[5])
             -y
 
-        Check :trac:`34694`::
+        Check :issue:`34694`::
 
             sage: # needs sage.symbolic
             sage: E = ExteriorAlgebra(SR,'e',3)
@@ -2042,7 +2042,7 @@ def __init__(self, E, s_coeff):
             sage: TestSuite(par).run(skip="_test_pickling")
 
         Check that it knows it is a finite-dimensional algebra
-        morphism (:trac:`25339`):;
+        morphism (:issue:`25339`):;
 
             sage: par.category_for()
             Category of finite dimensional algebras with basis over Rational Field

src/sage/algebras/clifford_algebra_element.pyx

@@ -90,7 +90,7 @@ cdef class CliffordAlgebraElement(IndexedFreeModuleElement):
             sage: 0*x
             0
 
-        :trac:`34707`::
+        :issue:`34707`::
 
             sage: Q = QuadraticForm(QQ, 2, [0,5,0])
             sage: C.<p,q> = CliffordAlgebra(Q)

src/sage/algebras/cluster_algebra.py

@@ -1182,7 +1182,7 @@ def _mutated_F(self, k, old_g_vector):
             sage: S._mutated_F(0, (1, 0))
             u0 + 1
 
-        Check that :trac:`28176` is fixed::
+        Check that :issue:`28176` is fixed::
 
             sage: A = ClusterAlgebra(matrix([[0,2],[-2,0]]))
             sage: S = A.initial_seed()
@@ -1280,7 +1280,7 @@ def __classcall__(self, data, **kwargs):
             A Cluster Algebra with cluster variables x0, x1 and no coefficients
             over Integer Ring
 
-        Check that :trac:`28176` is fixed::
+        Check that :issue:`28176` is fixed::
 
             sage: A1 = ClusterAlgebra(['A',2])
             sage: A2 = ClusterAlgebra(['A',2], cluster_variable_prefix='x')
@@ -1503,7 +1503,7 @@ def _coerce_map_from_(self, other):
             sage: S.cluster_variable(seq2[-1]) == g(A3.cluster_variable((1, -2, 2)))
             True
 
-         Check that :trac:`23654` is fixed::
+         Check that :issue:`23654` is fixed::
 
             sage: A = ClusterAlgebra(['A',2])
             sage: AA = ClusterAlgebra(['A',3])
@@ -2443,7 +2443,7 @@ def mutate_initial(self, direction, **kwargs):
             sage: A.mutate_initial([0,1]*10, mutating_F=False)
             A Cluster Algebra with cluster variables x20, x21 and no coefficients over Integer Ring
 
-        Check that :trac:`28176` is fixed::
+        Check that :issue:`28176` is fixed::
 
             sage: A = ClusterAlgebra( matrix(5,[0,1,-1,1,-1]), cluster_variable_names=['p13'], coefficient_names=['p12','p23','p34','p41']); A
             A Cluster Algebra with cluster variable p13 and coefficients p12, p23, p34, p41 over Integer Ring

src/sage/algebras/commutative_dga.py

@@ -179,7 +179,7 @@ def __classcall__(cls, A, im_gens):
             sage: d1 is d2
             True
 
-        Check that :trac:`34818` is solved::
+        Check that :issue:`34818` is solved::
 
             sage: A.<a,b,x,u> = GradedCommutativeAlgebra(QQ,degrees=(2,2,3,3))
             sage: A = A.quotient(A.ideal([a*u,b*u,x*u]))
@@ -638,7 +638,7 @@ def differential_matrix_multigraded(self, n, total=False):
 
             Rename this to ``differential_matrix`` once inheritance,
             overriding, and cached methods work together better. See
-            :trac:`17201`.
+            :issue:`17201`.
 
         INPUT:
 
@@ -954,7 +954,7 @@ def __classcall__(cls, base, names=None, degrees=None, R=None, I=None, category=
             sage: A1 is A2
             True
 
-        Testing the single generator case (:trac:`25276`)::
+        Testing the single generator case (:issue:`25276`)::
 
             sage: A3.<z> = GradedCommutativeAlgebra(QQ)
             sage: z**2 == 0
@@ -2338,7 +2338,7 @@ def cohomology(self, n):
 
         TESTS:
 
-        Check that the issue discovered in :trac:`28155` is solved::
+        Check that the issue discovered in :issue:`28155` is solved::
 
             sage: A.<e1,e2,e3,e4,e5> = GradedCommutativeAlgebra(QQ)
             sage: B = A.cdg_algebra({e5:e1*e2+e3*e4})
@@ -3111,7 +3111,7 @@ def cohomology_class(self):
                 sage: b.cohomology_class().parent()
                 Free module generated by {} over Rational Field
 
-            Check that the issue detected in :trac:`28155` is solved::
+            Check that the issue detected in :issue:`28155` is solved::
 
                 sage: A.<e1,e2,e3,e4,e5> = GradedCommutativeAlgebra(QQ)
                 sage: B = A.cdg_algebra({e5: e1*e2+e3*e4})

src/sage/algebras/finite_dimensional_algebras/finite_dimensional_algebra_element.pyx

@@ -222,7 +222,7 @@ cdef class FiniteDimensionalAlgebraElement(AlgebraElement):
             sage: B(5).vector()
             (5, 0, 5)
         """
-        # By :trac:`23707`, ``self._vector`` now is a single row matrix,
+        # By :issue:`23707`, ``self._vector`` now is a single row matrix,
         # not a vector, which results in a speed-up.
         # For backwards compatibility, this method still returns a vector.
         return self._vector[0]
@@ -384,7 +384,7 @@ cdef class FiniteDimensionalAlgebraElement(AlgebraElement):
             sage: B(1) != 0
             True
 
-        By :trac:`23707`, an ordering is defined on finite-dimensional algebras, corresponding
+        By :issue:`23707`, an ordering is defined on finite-dimensional algebras, corresponding
         to the ordering of the defining vectors; this may be handy if the vector space basis of
         the algebra corresponds to the standard monomials of the relation ideal, when
         the algebra is considered as a quotient of a path algebra. ::

src/sage/algebras/free_algebra.py

@@ -27,7 +27,7 @@
     Free Algebra on 3 generators (x, y, z) over Integer Ring
 
 The above free algebra is based on a generic implementation. By
-:trac:`7797`, there is a different implementation
+:issue:`7797`, there is a different implementation
 :class:`~sage.algebras.letterplace.free_algebra_letterplace.FreeAlgebra_letterplace`
 based on Singular's letterplace rings. It is currently restricted to
 weighted homogeneous elements and is therefore not the default. But the
@@ -53,7 +53,7 @@
     True
 
 Positive integral degree weights for the letterplace implementation
-was introduced in :trac:`7797`::
+was introduced in :issue:`7797`::
 
     sage: # needs sage.libs.singular
     sage: F.<x,y,z> = FreeAlgebra(QQ, implementation='letterplace', degrees=[2,1,3])
@@ -213,7 +213,7 @@ class FreeAlgebraFactory(UniqueFactory):
         True
         sage: TestSuite(F).run()
 
-    By :trac:`7797`, we provide a different implementation of free
+    By :issue:`7797`, we provide a different implementation of free
     algebras, based on Singular's "letterplace rings". Our letterplace
     wrapper allows for choosing positive integral degree weights for the
     generators of the free algebra. However, only (weighted) homogeneous
@@ -449,7 +449,7 @@ class FreeAlgebra_generic(CombinatorialFreeModule, Algebra):
         sage: F == FreeAlgebra(QQ,3,'y')
         False
 
-    Note that since :trac:`7797` there is a different
+    Note that since :issue:`7797` there is a different
     implementation of free algebras. Two corresponding free
     algebras in different implementations are not equal, but there
     is a coercion.
@@ -613,7 +613,7 @@ def _element_constructor_(self, x):
             sage: F.1 + (z+1)*L.2
             b + (z+1)*c
 
-        Check that :trac:`15169` is fixed::
+        Check that :issue:`15169` is fixed::
 
             sage: A.<x> = FreeAlgebra(CC)
             sage: A(2)
@@ -1068,7 +1068,7 @@ def lie_polynomial(self, w):
             sage: F.lie_polynomial('')
             1
 
-        We check that :trac:`22251` is fixed::
+        We check that :issue:`22251` is fixed::
 
             sage: F.lie_polynomial(x*y*z)
             x*y*z - x*z*y - y*z*x + z*y*x

src/sage/algebras/free_algebra_element.py

@@ -92,7 +92,7 @@ def _repr_(self):
             sage: repr(-x+3*y*z)    # indirect doctest
             '-x + 3*y*z'
 
-        Github issue :trac:`11068` enables the use of local variable names::
+        Github issue :issue:`11068` enables the use of local variable names::
 
             sage: from sage.structure.parent_gens import localvars
             sage: with localvars(A, ['a','b','c']):

src/sage/algebras/fusion_rings/fast_parallel_fusion_ring_braid_repn.pyx

@@ -311,7 +311,7 @@ cpdef _unflatten_entries(fusion_ring, list entries) noexcept:
     coefficients representation.
 
     Used to circumvent pickling issue introduced by PARI settigs
-    in :trac:`30537`.
+    in :issue:`30537`.
 
     EXAMPLES::
 

src/sage/algebras/fusion_rings/poly_tup_engine.pyx

@@ -80,7 +80,7 @@ cdef inline tuple _flatten_coeffs(tuple eq_tup) noexcept:
     coefficients.
 
     This is used to avoid pickling cyclotomic coefficient objects, which fails
-    with new PARI settings introduced in :trac:`30537`.
+    with new PARI settings introduced in :issue:`30537`.
     """
     cdef list flat = []
     cdef NumberFieldElement_absolute cyc_coeff
@@ -94,7 +94,7 @@ cpdef tuple _unflatten_coeffs(field, tuple eq_tup) noexcept:
     coefficients representation.
 
     Used to circumvent pickling issue introduced by PARI settigs
-    in :trac:`30537`.
+    in :issue:`30537`.
 
     EXAMPLES::
 

src/sage/algebras/group_algebra.py

@@ -185,7 +185,7 @@ def _coerce_map_from_(self, S):
             sage: [a, b] = kH.gens()
             sage: x = kH(a) + kH(b) + kH.one(); print(x)
             () + (5,6,7)(12,14,18) + (1,2)(3,4)
-            sage: x*x  #checks :trac:34292
+            sage: x*x  #checks :issue:34292
             (5,7,6)(12,18,14)
 
         As expected, there is no coercion when restricting the

src/sage/algebras/hall_algebra.py

@@ -194,7 +194,7 @@ class HallAlgebra(CombinatorialFreeModule):
 
     The coefficients are actually Laurent polynomials in general, so we don't
     have to work over the fraction field of `\ZZ[q]`. This didn't work before
-    :trac:`15345`::
+    :issue:`15345`::
 
         sage: R.<q> = LaurentPolynomialRing(ZZ)
         sage: H = HallAlgebra(R, q)

src/sage/algebras/letterplace/free_algebra_element_letterplace.pyx

@@ -3,7 +3,7 @@ Weighted homogeneous elements of free algebras, in letterplace implementation
 
 AUTHOR:
 
-- Simon King (2011-03-23): Github issue :trac:`7797`
+- Simon King (2011-03-23): Github issue :issue:`7797`
 
 """
 

src/sage/algebras/letterplace/free_algebra_letterplace.pyx

@@ -12,7 +12,7 @@ Free associative unital algebras, implemented via Singular's letterplace rings
 
 AUTHOR:
 
-- Simon King (2011-03-21): :trac:`7797`
+- Simon King (2011-03-21): :issue:`7797`
 
 With this implementation, Groebner bases out to a degree bound and
 normal forms can be computed for twosided weighted homogeneous ideals

src/sage/algebras/letterplace/letterplace_ideal.pyx

@@ -29,7 +29,7 @@ forms and can test containment in the ideal::
 
 AUTHOR:
 
-- Simon King (2011-03-22):  See :trac:`7797`.
+- Simon King (2011-03-22):  See :issue:`7797`.
 """
 # ****************************************************************************
 #       Copyright (C) 2011 Simon King <simon.king@uni-jena.de>
@@ -310,7 +310,7 @@ class LetterplaceIdeal(Ideal_nc):
                 degbound = max_deg
 
         # The following is a workaround for calling Singular's new Letterplace
-        # API (see :trac:`25993`). We construct a temporary polynomial ring L
+        # API (see :issue:`25993`). We construct a temporary polynomial ring L
         # with letterplace attributes set as required by the API. As L has
         # duplicate variable names, we need to handle this ring carefully; in
         # particular, we cannot coerce to and from L, so we use homomorphisms

src/sage/algebras/lie_algebras/classical_lie_algebra.py

@@ -132,13 +132,13 @@ def __init__(self, R, ct, e, f, h, sparse=True):
 
         TESTS:
 
-        Check that :trac:`23266` is fixed::
+        Check that :issue:`23266` is fixed::
 
             sage: sl2 = lie_algebras.sl(QQ, 2, 'matrix')
             sage: isinstance(sl2.indices(), FiniteEnumeratedSet)
             True
 
-        Check that elements are hashable (see :trac:`28961`)::
+        Check that elements are hashable (see :issue:`28961`)::
 
             sage: sl2 = lie_algebras.sl(QQ, 2, 'matrix')
             sage: e,f,h = list(sl2.basis())
@@ -432,7 +432,7 @@ def __init__(self, R, n):
 
         TESTS:
 
-        Check that :trac:`23266` is fixed::
+        Check that :issue:`23266` is fixed::
 
             sage: gl2 = lie_algebras.gl(QQ, 2)
             sage: isinstance(gl2.basis().keys(), FiniteEnumeratedSet)

src/sage/algebras/lie_algebras/free_lie_algebra.py

@@ -670,7 +670,7 @@ class Lyndon(FreeLieBasis_abstract):
 
         TESTS:
 
-        We check that :trac:`27069` is fixed::
+        We check that :issue:`27069` is fixed::
 
             sage: Lzxy = LieAlgebra(QQ, ['z','x','y']).Lyndon()
             sage: z,x,y = Lzxy.gens(); z,x,y

src/sage/algebras/lie_algebras/heisenberg.py

@@ -397,7 +397,7 @@ def __init__(self, R, n):
 
             sage: L = lie_algebras.Heisenberg(QQ, 2)
             sage: TestSuite(L).run()
-            sage: L = lie_algebras.Heisenberg(QQ, 0)  # not tested -- :trac:`18224`
+            sage: L = lie_algebras.Heisenberg(QQ, 0)  # not tested -- :issue:`18224`
             sage: TestSuite(L).run()
         """
         HeisenbergAlgebra_fd.__init__(self, n)

src/sage/algebras/lie_algebras/nilpotent_lie_algebra.py

@@ -309,7 +309,7 @@ class FreeNilpotentLieAlgebra(NilpotentLieAlgebra_dense):
         [3, 6, 14]
 
     Verify that a free nilpotent Lie algebra of step `>2` with `>10`
-    generators can be created, see :trac:`27018` (see also :trac:`27069`)::
+    generators can be created, see :issue:`27018` (see also :issue:`27069`)::
 
         sage: L = LieAlgebra(QQ, 11, step=3)
         sage: L.dimension() == 11 + (11^2-11)/2 + (11^3-11)/3

src/sage/algebras/lie_algebras/poincare_birkhoff_witt.py

@@ -163,7 +163,7 @@ def _basis_key(self, x):
              + PBW[alphacheck[1]]^2
              - 2*PBW[alphacheck[1]]
 
-        Check that :trac:`23266` is fixed::
+        Check that :issue:`23266` is fixed::
 
             sage: sl2 = lie_algebras.sl(QQ, 2, 'matrix')
             sage: sl2.indices()
@@ -305,7 +305,7 @@ def _coerce_map_from_(self, R):
 
         TESTS:
 
-        Check that we can take the preimage (:trac:`23375`)::
+        Check that we can take the preimage (:issue:`23375`)::
 
             sage: L = lie_algebras.cross_product(QQ)
             sage: pbw = L.pbw_basis()
@@ -444,7 +444,7 @@ def product_on_basis(self, lhs, rhs):
 
         TESTS:
 
-        Check that :trac:`23268` is fixed::
+        Check that :issue:`23268` is fixed::
 
             sage: MS = MatrixSpace(QQ, 2,2)
             sage: gl = LieAlgebra(associative=MS)

src/sage/algebras/lie_algebras/quotient.py

@@ -154,7 +154,7 @@ class LieQuotient_finite_dimensional_with_basis(LieAlgebraWithStructureCoefficie
         True
 
     Verify a quotient construction when the basis ordering and indices ordering
-    are different, see :trac:`26352`::
+    are different, see :issue:`26352`::
 
         sage: L.<c,b,a> = LieAlgebra(QQ, abelian=True)
         sage: I2 = L.ideal([a+b, a+c], order=sorted)