Update doctests for refined category of ScalarField

Matthias Koeppe · Matthias Koeppe · commit cd3ca79ab94f · 2021-05-31T23:58:22.000-07:00
diff --git a/src/doc/en/thematic_tutorials/vector_calculus/vector_calc_advanced.rst b/src/doc/en/thematic_tutorials/vector_calculus/vector_calc_advanced.rst
@@ -311,7 +311,7 @@ The set `C^\infty(\mathbb{E}^3)` of all smooth scalar fields on
     sage: CE
     Algebra of differentiable scalar fields on the Euclidean space E^3
     sage: CE.category()
-    Category of commutative algebras over Symbolic Ring
+    Join of Category of commutative algebras over Symbolic Ring and Category of homsets of topological spaces
     sage: f in CE
     True
 
diff --git a/src/doc/en/thematic_tutorials/vector_calculus/vector_calc_plane.rst b/src/doc/en/thematic_tutorials/vector_calculus/vector_calc_plane.rst
@@ -612,7 +612,7 @@ on `\mathbb{E}^2`, `C^\infty(\mathbb{E}^2)`::
     sage: CE is XE.base_ring()
     True
     sage: CE.category()
-    Category of commutative algebras over Symbolic Ring
+    Join of Category of commutative algebras over Symbolic Ring and Category of homsets of topological spaces
     sage: rank(XE)
     2
 
diff --git a/src/sage/manifolds/differentiable/scalarfield_algebra.py b/src/sage/manifolds/differentiable/scalarfield_algebra.py
@@ -93,11 +93,11 @@ class DiffScalarFieldAlgebra(ScalarFieldAlgebra):
     algebras over `\RR` (represented here by Sage's Symbolic Ring)::
 
         sage: CM.category()
-        Category of commutative algebras over Symbolic Ring
+        Join of Category of commutative algebras over Symbolic Ring and Category of homsets of topological spaces
         sage: CM.base_ring()
         Symbolic Ring
         sage: CW.category()
-        Category of commutative algebras over Symbolic Ring
+        Join of Category of commutative algebras over Symbolic Ring and Category of homsets of topological spaces
         sage: CW.base_ring()
         Symbolic Ring
 

Original file line number	Diff line number	Diff line change
@@ -612,7 +612,7 @@ on `\mathbb{E}^2`, `C^\infty(\mathbb{E}^2)`::
`612`	`612`	`sage: CE is XE.base_ring()`
`613`	`613`	`True`
`614`	`614`	`sage: CE.category()`
`615`		`- Category of commutative algebras over Symbolic Ring`
	`615`	`+ Join of Category of commutative algebras over Symbolic Ring and Category of homsets of topological spaces`
`616`	`616`	`sage: rank(XE)`
`617`	`617`	`2`
`618`	`618`