Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
src/sage/manifolds/differentiable/diff_form_module.py: Update doctest…
Browse files Browse the repository at this point in the history
… output
  • Loading branch information
mkoeppe committed Sep 6, 2022
1 parent 8bfb9ff commit af96b06
Showing 1 changed file with 6 additions and 12 deletions.
18 changes: 6 additions & 12 deletions src/sage/manifolds/differentiable/diff_form_module.py
Expand Up @@ -665,8 +665,7 @@ class DiffFormFreeModule(ExtPowerDualFreeModule):
map from the set `T^{(0,1)}(M)` of such tensors to `\Omega^1(M)`::
sage: T01 = M.tensor_field_module((0,1)) ; T01
Free module T^(0,1)(M) of type-(0,1) tensors fields on the
3-dimensional differentiable manifold M
Free module Omega^1(M) of 1-forms on the 3-dimensional differentiable manifold M
sage: L1.has_coerce_map_from(T01)
True
Expand All @@ -689,8 +688,7 @@ class DiffFormFreeModule(ExtPowerDualFreeModule):
The coercion map `T^{(0,1)}(M) \rightarrow \Omega^1(M)` in action::
sage: b = T01([-x,2,3*y], name='b'); b
Tensor field b of type (0,1) on the 3-dimensional differentiable
manifold M
1-form b on the 3-dimensional differentiable manifold M
sage: b.display()
b = -x dx + 2 dy + 3*y dz
sage: lb = L1(b) ; lb
Expand All @@ -701,8 +699,7 @@ class DiffFormFreeModule(ExtPowerDualFreeModule):
The coercion map `\Omega^1(M) \rightarrow T^{(0,1)}(M)` in action::
sage: tlb = T01(lb); tlb
Tensor field b of type (0,1) on
the 3-dimensional differentiable manifold M
1-form b on the 3-dimensional differentiable manifold M
sage: tlb == b
True
Expand Down Expand Up @@ -1011,8 +1008,7 @@ class VectorFieldDualFreeModule(DiffFormFreeModule):
map from the set `T^{(0,1)}(M)` of such tensors to `\Omega^1(M)`::
sage: T01 = M.tensor_field_module((0,1)) ; T01
Free module T^(0,1)(M) of type-(0,1) tensors fields on the
3-dimensional differentiable manifold M
Free module Omega^1(M) of 1-forms on the 3-dimensional differentiable manifold M
sage: A.has_coerce_map_from(T01)
True
Expand All @@ -1024,8 +1020,7 @@ class VectorFieldDualFreeModule(DiffFormFreeModule):
The coercion map `T^{(0,1)}(M) \rightarrow \Omega^1(M)` in action::
sage: b = T01([-x,2,3*y], name='b'); b
Tensor field b of type (0,1) on the 3-dimensional differentiable
manifold M
1-form b on the 3-dimensional differentiable manifold M
sage: b.display()
b = -x dx + 2 dy + 3*y dz
sage: lb = A(b) ; lb
Expand All @@ -1036,8 +1031,7 @@ class VectorFieldDualFreeModule(DiffFormFreeModule):
The coercion map `\Omega^1(M) \rightarrow T^{(0,1)}(M)` in action::
sage: tlb = T01(lb); tlb
Tensor field b of type (0,1) on
the 3-dimensional differentiable manifold M
1-form b on the 3-dimensional differentiable manifold M
sage: tlb == b
True
"""
Expand Down

0 comments on commit af96b06

Please sign in to comment.