SageManifolds metaticket 1
This is the implementation of manifolds resulting from the SageManifolds project, developed by the following authors.
This metaticket covers the implementation up to Sage 9.2. See the metaticket #30525 for Sage >= 9.3.
Algebraic part
 Tensors on free modules of finite rank: #15916 (merged in Sage 6.6)
 Parallelization of tensor computations on free modules of finite rank: #18100 (merged in Sage 6.10)
 Improve category for finite rank free modules and provide list functionality for basis: #20770 (merged in Sage 7.3.beta3)
 Exterior powers of free modules of finite rank: #23207 (merged in Sage 8.1.beta0)
 More functionalities for bases of free modules of finite rank: #24792 (merged in Sage 8.2.beta8)
 Better treatment of the zero element: #28562 (merged in Sage 9.0.beta3)
 Multiple symmetries and multiple contractions with index notation: #28784 (merged in Sage 9.0.beta8)
 Tensor addition with index notation: #28787 (merged in Sage 9.1.beta2)
 Index notation for tensors should allow for unicode characters: #29248 (merged in Sage 9.2.beta9)
 Basisdependent isomorphism from
FiniteRankFreeModule
to an object in the category ModulesWithBasis
: #30094 (merged in Sage 9.2.beta7)
ModulesWithBasis.linear_combination
should be a method of Modules
: #30179 (merged in Sage 9.2.beta7)
 Immutable elements of
FreeModuleTensor
: #30181 (merged in Sage 9.2.beta8)
FiniteRankFreeModule
needs __classcall__
: #30169 (merged in Sage 9.2.beta8)
 Extend
FreeModule
factory to construction of FiniteRankFreeModule
and CombinatorialFreeModule
: #30194 (merged in Sage 9.2.beta8)
FiniteRankFreeModule
: Simplify unique representation code for dependent modules: #30250 (merged in Sage 9.2.beta8)
 Simplify
_repr_
of ExtPowerFreeModule
and ExtPowerDualFreeModule
: #30251 (merged in Sage 9.2.beta9)
TensorFreeModule._an_element_
: Create a default basis in the base module if necessary: #30254 (merged in Sage 9.2.beta8)
FiniteRankFreeModule
: Move all module identifications to methods exterior_power
, dual_exterior_power
, tensor_module
: #30255 (merged in Sage 9.2.beta8)
sage.tensor.modules.free_module_basis
: Add testsuite: #30287 (merged in Sage 9.2.beta8)
Topological and differential part
 Topological manifolds (over R, C or a topological field K):
 basics (charts, subsets): #18529 (merged in Sage 7.1.beta1)
 scalar fields (continuous functions to the base field): #18640 (merged in Sage 7.3.beta0)
 morphisms (continuous maps between manifolds): #18725 (merged in Sage 7.3.beta0)
 SymPy as an alternative to SR for symbolic calculus on manifolds: #22801 (merged in Sage 8.2.beta0)
 periodic coordinates on manifods: #27548 (merged in Sage 8.8.beta0)
 customizing simplifications in coordinate calculus: #27601 (merged in Sage 8.8.beta1)
 scalar field restrictions: #28554 (merged in Sage 9.0.beta4)
 add manifold orientability: #30178 (merged in Sage 9.2.beta9)
 Immutability for scalar fields: #30266 (merged in Sage 9.2.beta8)
 Coercion via restriction of chart functions: #30267 (merged in Sage 9.2.beta8)
 Scalar Field Arithmetics: Trivial Cases: #30291 (merged in Sage 9.2.beta8)
 Differentiable manifolds (over R, C or a nondiscrete topological field K):
 basics (charts, transition maps, scalar fields, morphisms): #18783 (merged in Sage 7.3.beta2)
 vector fields, tensor fields and pforms: #18843 (merged in Sage 7.5.beta1)
 tangent spaces: #19092 (merged in Sage 7.5.beta3)
 sets of vector fields as Lie algebroid: #20771 (merged in Sage 7.5.beta3)
 curves: #19124 (merged in Sage 7.5.beta3)
 affine connections: #19147 (merged in Sage 7.5.beta4)
 parallelization of Lie derivative computations: #22200 (merged in Sage 7.6.beta3)
 Multivector fields and the SchoutenNijenhuis bracket: #23429 (merged in Sage 8.1.beta8)
 Deprecate CoordinatePatch and DifferentialForm classes: #24444 (merged in Sage 8.2.beta3)
 Embedded submanifolds: #25164 (merged in Sage 8.3.beta4)
 Tensor fields along a submanifold: #25254 (merged in Sage 8.3.beta2)
 Tensor series expansion: #25866 (merged in Sage 8.8.beta0)
 Add manifold catalog: #25869 (merged in Sage 8.5.beta0)
 Initializing the components of a tensor field while declaring it: #27581 (merged in Sage 8.8.beta1)
 Mixed differential forms: #27584 (merged in Sage 8.8.beta3)
 Ease the display of tensor fields in a coordinate frame: #27655 (merged in Sage 8.8.beta3)
 Mixed forms improvements: #28578 (merged in Sage 9.0.beta5)
 Vector bundles: #28159 (merged in Sage 9.0.beta3)
 Characteristic classes on vector bundles: #27784 (merged in Sage 9.0.beta8)
 Tensor fields: consistent naming: #28564 (merged in Sage 9.0.beta7)
 Immutability of tensor fields and mixed forms: #28519 (metaticket)
 Constructing a vector frame from a family of vector fields: #28716 (merged in Sage 9.0.beta8)
 Apply a function to all components of a tensor field: #29244 (merged in Sage 9.1.beta8)
 Let
diff()
act on chart functions and differentiable forms: #29953 (merged in Sage 9.2.beta4)
 Action for bundle connections: #30209 (merged in Sage 9.2.beta9)
 Declare sections with name only: #30228 (merged in Sage 9.2.beta7)
 List assignment for bundle connections: #30208 (merged in Sage 9.2.beta8)
 Immutability of tensor fields: #30274 (merged in Sage 9.2.beta8)
 Add
copy()
method to affine connections: #30285 (merged in Sage 9.2.beta8)
 Immutability of affine connections: #30280 (merged in Sage 9.2.beta8)
 Immutability for sections: #30288 (merged in Sage 9.2.beta8)
 PseudoRiemannian manifolds:
 pseudoRiemannian metrics: #19209 (merged in Sage 7.5.beta4)
 Schouten, Cotton, and CottonYork tensors: #19823 (merged in Sage 7.5.beta4)
 integrated curves and geodesics: #22951 (merged in Sage 8.1.beta2)
 pseudoRiemannian manifolds: #24622 (merged in Sage 8.2.rc0)
 Euclidean spaces and vector calculus: #24623 (merged in Sage 8.3.beta0)
 Geometry of pseudoRiemannian submanifolds: #25438 (merged in Sage 8.3.beta8)
 Degenerate manifolds and submanifolds: #26355 (merged in Sage 9.1.beta0)
 Degenerate submanifolds: new features: #29080 (merged in Sage 9.1.beta4)
 Tutorial about vector calculus: #27703 (merged in Sage 8.9.beta0)
 More control on the numerical ODE solver for integrated curves and geodesics: #28707 (merged in Sage 9.0.beta6)
 Add
EuclideanSpace
to category of metric spaces: #30062 (merged in Sage 9.2.beta7)
 Dot and cross products along a differentiable map: #30318 (merged in Sage 9.2.beta8)
 Lie groups:
 Nilpotent Lie groups: #26344 (merged in Sage 8.4.rc0)
 List functionality of free module bases: #22518 (merged in Sage 7.6.rc0)
 Display of tensors on free modules of finite rank: #22520 (merged in Sage 7.6.rc0)
 Checking validity of coordinate values on a chart: #22535 (merged in Sage 7.6.rc0)
 Symbolic derivatives in simplification of coordinate functions: #22503 (merged in Sage 7.6.rc0)
 Pullback on parallelizable manifolds: #22563 (merged in Sage 8.0.beta0)
 Tensor field restrictions on parallelizable manifolds: #22637 (merged in Sage 8.0.beta1)
 Inverse metric on parallelizable manifolds: #22667 (merged in Sage 8.0.beta1)
 Improvements in Jacobian determinants of transition maps: #22789 (merged in Sage 8.0.beta2)
 Arithmetics of coordinate functions and scalar fields without zero check of the result: #22859 (merged in Sage 8.0.beta5)
 Characteristic of coordinate function rings: #23329 (merged in Sage 8.1.beta2)
 Faster comparison of manifold points: #23592 (merged in Sage 8.1.beta2)
 Fast comparison to zero (method
is_trivial_zero()
) for coordinate functions and scalar fields: #23623 (merged in Sage 8.1.beta4)
 Minor errors in integrated curves: #23838 (merged in Sage 8.1.beta6)
 Simplifications in calculus on manifolds with derivatives of symbolic functions: #24199 (fixed by #24232)
 Simplifications in calculus on manifolds via the expression tree: #24232 (merged in Sage 8.2.beta0)
 Better handling of matrix output for operator
[:]
acting on sets of tensor components: #24884 (merged in Sage 8.2.beta8)
 Better restrictions on manifolds: #25417 (merged in Sage 8.3.beta3)
 py3: implement
__hash__
method in ContinuousMap
: #25502 (merged in Sage 8.3.beta5)
 Declared coordinate range not taken into account when a symbolic bound is involved: #25510 (merged in Sage 8.3.beta5)
 Improvements to integrated curves and geodesics on manifolds: #25936 (merged in Sage 8.5.beta1)
 Fix bug concerning restrictions of tensor fields: #26012 (merged in Sage 8.4.beta1)
 Parallelization of two functions (tensor calculus): #26168 (merged in Sage 8.5.beta5)
 Remove deprecated method view() in tensor: #26392 (merged in Sage 8.4.rc0)
 py3: make all doctests passed with Python3 in
src/sage/manifolds
: #26475 (merged in Sage 8.5.beta0)
 py3: fix regression in Python3 tests in manifolds: #26569 (merged in Sage 8.5.beta2)
 py3: make all doctests passed with Python3 in
src/sage/tensor
: #26601 (merged in Sage 8.5.beta2)
 Remove deprecated stuff in manifolds: #26609 (merged in Sage 8.5.beta2)
 Make simplifications effective in the computation of the inverse of a transition map: #26701 (merged in Sage 8.5.beta4)
 Bug in parallelization on manifolds: #26777 (merged in Sage 8.5.beta6)
 Remove deprecated
ScalarField
's method function_chart
: #27409 (merged in Sage 8.7.beta7)
 Bug in wedge of unnamed differential forms: #27576 (merged in Sage 8.8.beta1)
 Error in testing whether a scalar field belongs to a module of differential forms: #27658 (merged in Sage 8.8.beta3)
 Tangent vectors should act as derivations on scalar fields: #27856 (merged in Sage 8.8.rc0)
 Issue in calculus on manifolds with incomplete set of transition maps: #28072 (merged in Sage 8.9.beta2)
AttributeError
when computing manifold chart after computing its vector field module: #28331 (merged in Sage 8.9.beta7)
 Fix some issues with submanifolds and improve their documentation: #28344 (merged in Sage 8.9.beta8)
 Use something instead of
time()
to ensure Manifold uniqueness in tests: #28365 (merged in Sage 8.9.beta8)
 Change keyword argument
verbose
to check
in CoordChange.set_inverse()
and set the default to True
: #28422 (merged in Sage 8.9.rc0)
 Bug in computing the second fundamental form of a Riemannian submanifold: #28462 (merged in Sage 8.9.rc0)
 Improve computation of connection coefficients: #28543 (merged in Sage 9.0.beta1)
 Output dicts and lists copied: #28563 (merged in Sage 9.0.beta1)
 Fix wedge product on the right with a scalar field: #28579 (merged in Sage 9.0.beta1)
 Use standard notation for pullback and pushforward on manifolds: #28600 (merged in Sage 9.0.beta3)
set_restriction
behaviour when the subdomain is the domain: #28628 (merged in Sage 9.0.beta4)
 Unnecessary coordinate check while initializing an integrated curve: #28669 (merged in Sage 9.0.beta5)
 Vector bundles: section module name fix: #28690 (merged in Sage 9.0.beta5)
 Scalar field raise
AttributeError
on show_identifiers
call: #28769 (merged in Sage 9.0.beta8)
 More flexible coercions in mixed form algebra: #28916 (merged in Sage 9.1.beta1)
 Mixed forms: zero treatment for scalar multiplication: #28921 (merged in Sage 9.1.beta1)
 Vector bundles: documentation improvements: #28963 (merged in Sage 9.1.beta6)
 Automorphism fields: notation of inverse: #28973 (merged in Sage 9.1.beta1)
 Bug in setting the calculus method on manifolds: #29021 (merged in Sage 9.1.beta1)
 Documentation improvements of characteristic classes: #28854 (merged in Sage 9.1.beta6)
 Improve doctests of degenerate submanifolds: #29440 (merged in Sage 9.1.rc0)
 Correct documentation of characteristic classes: #29470 (merged in Sage 9.1.rc0)
 Wrong parent when using
diff_form
of degree zero: #29570 (merged in Sage 9.1.rc3)
 Wedge product of multivector field with scalar field: #29628 (merged in Sage 9.2.beta0)
 Bug in initialization of vector field with rational components: #29639 (merged in Sage 9.2.beta0)
 Multiprocessing in tensor computations does not work under macOS: #29755
 More efficient contruction of free module bases: #30061 (merged in Sage 9.2.beta7)
 Unable to coerce free module over Q into Category of vector spaces over Q: #30094 (merged in Sage 9.2.beta7)
 Not equal operator for mixed forms: #30108 (merged in Sage 9.2.beta7)
 Coercion from
ChartFunctionRing
to ScalarFieldAlgebra
: #30112 (merged in Sage 9.2.beta6)
 Failed conversion yields unconclusive error message: #30191 (merged in Sage 9.2.beta7)
 Error in display of a continuous map between open intervals: #30289 (merged in Sage 9.2.beta8)
 Unions of subsets of a fixed open set X are not known to be subsets of X: #30401 (merged in Sage 9.2.beta12)
 Replace
AssertionError
with ValueError
when immutable elements are tried to be changed: #30275 (merged in Sage 9.2.beta13)
set_default_frame()
too restrictive on parallelizable manifolds: #30320 (merged in Sage 9.2.beta13)
 Fix check of orientation in volume form: #30519 (merged in Sage 9.2.beta13)
 Some flake8 cleanup in manifolds: #30538 (merged in Sage 9.2.beta14)
Change History (195)
Description: 
modified (diff)

Cc: 
Basile Pillet added

Description: 
modified (diff)

Description: 
modified (diff)

Summary: 
SageManifolds metaticket →
SageManifolds metaticket

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage6.8 →
sage6.9

Description: 
modified (diff)

Description: 
modified (diff)

Keywords: 
manifold tensor added; manifolds tensors removed

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage6.9 →
sage6.10

Description: 
modified (diff)

Milestone: 
sage6.10 →
sage7.0

Description: 
modified (diff)

Milestone: 
sage7.0 →
sage7.1

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage7.1 →
sage7.3

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage7.3 →
sage7.4

Description: 
modified (diff)

Milestone: 
sage7.4 →
sage7.5

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage7.5 →
sage7.6

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage7.6 →
sage8.1

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage8.1 →
sage8.2

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage8.2 →
sage8.3

Type: 
enhancement →
task

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage8.3 →
sage8.4

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage8.4 →
sage8.5

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage8.5 →
sage8.7

Milestone: 
sage8.7 →
sage8.8

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Authors: 
Eric Gourgoulhon, Michal Bejger, Marco Mancini →
see ticket description

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Summary: 
SageManifolds metaticket →
SageManifolds metaticket 1

Description: 
modified (diff)

Description: 
modified (diff)

Cc: 
Hongli (Bob) Zhao added

Authors: 
see ticket description

Resolution: 
→ fixed

Status: 
needs_info →
closed

All the tickets, except for #18786, are now ready for review.