src/sage/manifolds/differentiable/diff_form_module.py: doc: add that …

…the case p=1 of M parallelizable is implemented via VectorFieldDualFreeModule
sagemath · Sep 7, 2022 · 4c9be6b · 4c9be6b
1 parent 0155026
commit 4c9be6b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/sage/manifolds/differentiable/diff_form_module.py b/src/sage/manifolds/differentiable/diff_form_module.py
@@ -12,6 +12,8 @@
   (in practice, not parallelizable) differentiable manifold `M`
 - :class:`DiffFormFreeModule` for differential forms with values on a
   parallelizable manifold `M`
+  (the subclass :class:`VectorFieldDualFreeModule` implements the special
+  case of differential 1-forms on a parallelizable manifold `M`)
 
 AUTHORS:
 
@@ -575,6 +577,8 @@ class DiffFormFreeModule(ExtPowerDualFreeModule):
         is not parallelizable, the class :class:`DiffFormModule` must be used
         instead.
 
+    For the special case of `-forms, use the class :class:`VectorFieldDualFreeModule`.
+
     INPUT:
 
     - ``vector_field_module`` -- free module `\mathfrak{X}(U,\Phi)` of vector