id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
18528 SageManifolds metaticket egourgoulhon egourgoulhon "This is the implementation of manifolds resulting from the [http://sagemanifolds.obspm.fr/ SageManifolds project], developed by the following [http://sagemanifolds.obspm.fr/authors.html authors].
== 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)''
== 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
- Improve simplifications in calculus on manifolds: #24151
- '''Differentiable manifolds''' (over '''R''', '''C''' or a non-discrete topological field K):
- basics (charts, transition maps, scalar fields, morphisms): #18783 ''(merged in Sage 7.3.beta2)''
- vector fields, tensor fields and p-forms: #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 Schouten-Nijenhuis bracket: #23429 ''(merged in Sage 8.1.beta8)''
- '''Complex and almost complex manifolds:'''
- almost complex structures through Hodge structures: #18786
- '''Pseudo-riemannian manifolds:'''
- pseudo-riemannian metrics: #19209 ''(merged in Sage 7.5.beta4)''
- Schouten, Cotton, and Cotton-York tensors: #19823 ''(merged in Sage 7.5.beta4)''
- integrated curves and geodesics: #22951 ''(merged in Sage 8.1.beta2)''
- Euclidean spaces: #19978
== Bug fixes and performance improvements ==
- 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
- Simplifications in calculus on manifolds via the expression tree: #24232
" enhancement new major sage-8.1 geometry manifold, tensor, differential geometry mbejger mmancini tscrim bpillet Eric Gourgoulhon, Michal Bejger, Marco Mancini N/A #18175