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)''
- More functionalities for bases of free modules of finite rank: #24792 ''(merged in Sage 8.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)''
- improve simplifications in calculus on manifolds: #24151
- periodic coordinates on manifods: #27548 ''(merged in Sage 8.8.beta0)''
- customizing simplifications in coordinate calculus: #27601 ''(merged in Sage 8.8.beta1)''
- '''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)''
- 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)''
- Vector bundles: #28159
- '''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)''
- pseudo-Riemannian manifolds: #24622 ''(merged in Sage 8.2.rc0)''
- Euclidean spaces and vector calculus: #24623 ''(merged in Sage 8.3.beta0)''
- Geometry of pseudo-Riemannian submanifolds: #25438 ''(merged in Sage 8.3.beta8)''
- Declaring a metric along with its components: #25457
- Energy momentum tensor, Einstein tensor and Einstein space-time: #25500
- Degenerate manifolds and submanifolds: #26355
- Tutorial about vector calculus: #27703 ''(merged in Sage 8.9.beta0)''
- '''Lie groups:'''
- Nilpotent Lie groups: #26344 ''(merged in Sage 8.4.rc0)''
== 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 ''(fixed by #24232)''
- Simplifications in calculus on manifolds via the expression tree: #24232 ''(merged in Sage 8.2.beta0)''
- Make simplifications in !SymPy calculus on manifolds rely on !SymPy only: #24290
- 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 parallelized computations involving symbolic functions: #27492
- 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
- Use something instead of `time()` to ensure Manifold uniqueness in tests: #28365
" task new major geometry manifold, tensor, differential geometry mbejger mmancini tscrim bpillet Eric Gourgoulhon, Michal Bejger, Marco Mancini N/A #18175