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

Commit

Permalink
WIP get rid of VectorFieldModule_abstract
Browse files Browse the repository at this point in the history
  • Loading branch information
Matthias Koeppe committed Nov 12, 2022
1 parent d2228bd commit ebc2f27
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 13 deletions.
3 changes: 1 addition & 2 deletions src/sage/manifolds/differentiable/diff_form_module.py
Original file line number Diff line number Diff line change
Expand Up @@ -47,10 +47,9 @@
from sage.manifolds.differentiable.diff_form import DiffForm, DiffFormParal
from sage.manifolds.differentiable.tensorfield import TensorField
from sage.manifolds.differentiable.tensorfield_paral import TensorFieldParal
from sage.manifolds.differentiable.vectorfield_module import VectorFieldModule_abstract


class DiffFormModule(VectorFieldModule_abstract):
class DiffFormModule(UniqueRepresentation, Parent):
r"""
Module of differential forms of a given degree `p` (`p`-forms) along a
differentiable manifold `U` with values on a differentiable manifold `M`.
Expand Down
5 changes: 2 additions & 3 deletions src/sage/manifolds/differentiable/tensorfield_module.py
Original file line number Diff line number Diff line change
Expand Up @@ -53,10 +53,9 @@
MultivectorFieldParal)
from sage.manifolds.differentiable.automorphismfield import (AutomorphismField,
AutomorphismFieldParal)
from sage.manifolds.differentiable.vectorfield_module import VectorFieldModule_abstract


class TensorFieldModule(ReflexiveModule_tensor, VectorFieldModule_abstract):
class TensorFieldModule(ReflexiveModule_tensor):
r"""
Module of tensor fields of a given type `(k,l)` along a differentiable
manifold `U` with values on a differentiable manifold `M`, via a
Expand Down Expand Up @@ -600,7 +599,7 @@ def zero(self):

#***********************************************************************

class TensorFieldFreeModule(TensorFreeModule, VectorFieldModule_abstract):
class TensorFieldFreeModule(TensorFreeModule):
r"""
Free module of tensor fields of a given type `(k,l)` along a
differentiable manifold `U` with values on a parallelizable manifold `M`,
Expand Down
10 changes: 2 additions & 8 deletions src/sage/manifolds/differentiable/vectorfield_module.py
Original file line number Diff line number Diff line change
Expand Up @@ -64,13 +64,7 @@
from sage.manifolds.differentiable.manifold import DifferentiableManifold


class VectorFieldModule_abstract(UniqueRepresentation, ReflexiveModule_abstract):
r"""
Abstract base class for modules of vector fields.
"""


class VectorFieldModule(ReflexiveModule_base, VectorFieldModule_abstract):
class VectorFieldModule(ReflexiveModule_base):
r"""
Module of vector fields along a differentiable manifold `U`
with values on a differentiable manifold `M`, via a differentiable
Expand Down Expand Up @@ -1272,7 +1266,7 @@ def poisson_tensor(

#******************************************************************************

class VectorFieldFreeModule(FiniteRankFreeModule, VectorFieldModule_abstract):
class VectorFieldFreeModule(FiniteRankFreeModule):
r"""
Free module of vector fields along a differentiable manifold `U` with
values on a parallelizable manifold `M`, via a differentiable map
Expand Down

0 comments on commit ebc2f27

Please sign in to comment.