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

Commit

Permalink
Add a bit more typing
Browse files Browse the repository at this point in the history
  • Loading branch information
tobiasdiez committed Feb 2, 2021
1 parent d74f6c9 commit 5364cd6
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 2 deletions.
4 changes: 3 additions & 1 deletion src/sage/manifolds/differentiable/manifold.py
Original file line number Diff line number Diff line change
Expand Up @@ -449,13 +449,15 @@
from sage.rings.integer import Integer
from sage.manifolds.manifold import TopologicalManifold
from sage.manifolds.differentiable.mixed_form_algebra import MixedFormAlgebra
from sage.manifolds.differentiable.vectorframe import VectorFrame

from typing import Optional, Union, TYPE_CHECKING
if TYPE_CHECKING:
from sage.manifolds.differentiable.vectorfield_module import VectorFieldFreeModule, VectorFieldModule

###############################################################################


class DifferentiableManifold(TopologicalManifold):
r"""
Differentiable manifold over a topological field `K`.
Expand Down Expand Up @@ -2960,7 +2962,7 @@ def set_change_of_frame(self, frame1, frame2, change_of_frame,
for sdom in self._supersets:
sdom._frame_changes[(frame2, frame1)] = change_of_frame.inverse()

def vector_frame(self, *args, **kwargs):
def vector_frame(self, *args, **kwargs) -> VectorFrame:
r"""
Define a vector frame on ``self``.
Expand Down
3 changes: 2 additions & 1 deletion src/sage/manifolds/differentiable/vectorframe.py
Original file line number Diff line number Diff line change
Expand Up @@ -462,7 +462,8 @@ def set_name(self, symbol, latex_symbol=None, indices=None,
self._latex_name = r"\left({}, {}\right)".format(
self._domain._latex_name, self._latex_name)

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


class VectorFrame(FreeModuleBasis):
r"""
Expand Down

0 comments on commit 5364cd6

Please sign in to comment.