Changes between Version 188 and Version 189 of Ticket #18528
- Timestamp:
- 09/07/20 21:00:56 (6 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #18528
-
Property
Summary
changed from
SageManifolds metaticket
toSageManifolds metaticket 1
-
Property
Summary
changed from
-
Ticket #18528 – Description
v188 v189 1 1 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]. 2 2 3 See also the recent metaticket #30139 for future developments.3 This metaticket covers the implementation up to Sage 9.2. See the metaticket #30525 for Sage >= 9.3. 4 4 5 5 == Algebraic part == … … 13 13 - Multiple symmetries and multiple contractions with index notation: #28784 ''(merged in Sage 9.0.beta8)'' 14 14 - Tensor addition with index notation: #28787 ''(merged in Sage 9.1.beta2)'' 15 - Enhance symmetry handling for tensors: #2881316 - Extension of admissible indices conventions for tensors with indices: #2909917 15 - Index notation for tensors should allow for unicode characters: #29248 ''(merged in Sage 9.2.beta9)'' 18 - Sparse iterator for tensor components: #2961919 - Compacting the display of tensor product: #2982020 - Parallelization of wedge product: #2979621 16 - Basis-dependent isomorphism from `FiniteRankFreeModule` to an object in the category `ModulesWithBasis`: #30094 ''(merged in Sage 9.2.beta7)'' 22 - sage.tensor.modules: Add `SymPowerFreeModule`: #3009523 - sage.tensor.modules: Add backends using !TensorFlow Core and !PyTorch: #3009624 - Add category `FreeModules` (without distinguished basis): #3016425 - Trivial coercion `Modules(QQ)(FiniteRankFreeModule(QQ, 3))` fails: #3017426 17 - `ModulesWithBasis.linear_combination` should be a method of `Modules`: #30179 ''(merged in Sage 9.2.beta7)'' 27 18 - Immutable elements of `FreeModuleTensor`: #30181 ''(merged in Sage 9.2.beta8)'' 28 19 - `FiniteRankFreeModule` needs `__classcall__`: #30169 ''(merged in Sage 9.2.beta8)'' 29 20 - Extend `FreeModule` factory to construction of `FiniteRankFreeModule` and `CombinatorialFreeModule`: #30194 ''(merged in Sage 9.2.beta8)'' 30 - Submodules of `TensorFreeModule` defined by the symmetries of a `Components` object: #3022931 - Add construction methods to `FiniteRankFreeModule` and `CombinatorialFreeModule`: #3023532 - New implementation class `FiniteRankDualFreeModule`: #3024133 - Make `ExtPowerFreeModule` a quotient of `TensorFreeModule`: #3024234 - `FreeModuleAutomorphism` should not inherit from `FreeModuleTensor`: #3024535 21 - `FiniteRankFreeModule`: Simplify unique representation code for dependent modules: #30250 ''(merged in Sage 9.2.beta8)'' 36 22 - Simplify `_repr_` of `ExtPowerFreeModule` and `ExtPowerDualFreeModule`: #30251 ''(merged in Sage 9.2.beta9)'' 37 23 - `TensorFreeModule._an_element_`: Create a default basis in the base module if necessary: #30254 ''(merged in Sage 9.2.beta8)'' 38 24 - `FiniteRankFreeModule`: Move all module identifications to methods `exterior_power`, `dual_exterior_power`, `tensor_module`: #30255 ''(merged in Sage 9.2.beta8)'' 39 - Use `_matmul_` operator (@): #3024440 - Phased permutation groups: #3027641 25 - `sage.tensor.modules.free_module_basis`: Add testsuite: #30287 ''(merged in Sage 9.2.beta8)'' 42 - Arithmetic on tensor module elements, manifold objects: always return a copy: #3030243 26 44 27 == Topological and differential part == … … 49 32 - morphisms (continuous maps between manifolds): #18725 ''(merged in Sage 7.3.beta0)'' 50 33 - !SymPy as an alternative to SR for symbolic calculus on manifolds: #22801 ''(merged in Sage 8.2.beta0)'' 51 - improve simplifications in calculus on manifolds: #2415152 34 - periodic coordinates on manifods: #27548 ''(merged in Sage 8.8.beta0)'' 53 35 - customizing simplifications in coordinate calculus: #27601 ''(merged in Sage 8.8.beta1)'' 54 36 - scalar field restrictions: #28554 ''(merged in Sage 9.0.beta4)'' 55 - add a bit of typing to manifold code: #2977556 37 - add manifold orientability: #30178 ''(merged in Sage 9.2.beta9)'' 57 - Coercion/conversion `SR` to `ScalarFieldAlgebra`: #3023258 38 - Immutability for scalar fields: #30266 ''(merged in Sage 9.2.beta8)'' 59 39 - Coercion via restriction of chart functions: #30267 ''(merged in Sage 9.2.beta8)'' 60 40 - Scalar Field Arithmetics: Trivial Cases: #30291 ''(merged in Sage 9.2.beta8)'' 61 - Immutability of chart functions: #3031062 41 - '''Differentiable manifolds''' (over '''R''', '''C''' or a non-discrete topological field K): 63 42 - basics (charts, transition maps, scalar fields, morphisms): #18783 ''(merged in Sage 7.3.beta2)'' … … 82 61 - Tensor fields: consistent naming: #28564 ''(merged in Sage 9.0.beta7)'' 83 62 - Immutability of tensor fields and mixed forms: #28519 ''(metaticket)'' 84 - Automorphism fields: remove SR enforcement when computing the inverse: #2862985 - Vector-valued forms: #2864086 63 - Constructing a vector frame from a family of vector fields: #28716 ''(merged in Sage 9.0.beta8)'' 87 - Inheritance structure: tensor fields as sections of vector bundles: #2923488 64 - Apply a function to all components of a tensor field: #29244 ''(merged in Sage 9.1.beta8)'' 89 - New algorithm for characteristic classes: #2958190 65 - Let `diff()` act on chart functions and differentiable forms: #29953 ''(merged in Sage 9.2.beta4)'' 91 - Characteristic classes: sequences: #3021192 66 - Action for bundle connections: #30209 ''(merged in Sage 9.2.beta9)'' 93 67 - Declare sections with name only: #30228 ''(merged in Sage 9.2.beta7)'' 94 68 - List assignment for bundle connections: #30208 ''(merged in Sage 9.2.beta8)'' 95 - Immutability for manifold objects: #3026196 - Mixed forms: `set_comp`, `comp`: #3027297 69 - Immutability of tensor fields: #30274 ''(merged in Sage 9.2.beta8)'' 98 70 - Add `copy()` method to affine connections: #30285 ''(merged in Sage 9.2.beta8)'' 99 71 - Immutability of affine connections: #30280 ''(merged in Sage 9.2.beta8)'' 100 72 - Immutability for sections: #30288 ''(merged in Sage 9.2.beta8)'' 101 - '''Complex and almost complex manifolds:'''102 - almost complex structures through Hodge structures: #18786103 73 - '''Pseudo-Riemannian manifolds:''' 104 74 - pseudo-Riemannian metrics: #19209 ''(merged in Sage 7.5.beta4)'' … … 108 78 - Euclidean spaces and vector calculus: #24623 ''(merged in Sage 8.3.beta0)'' 109 79 - Geometry of pseudo-Riemannian submanifolds: #25438 ''(merged in Sage 8.3.beta8)'' 110 - Declaring a metric along with its components: #25457111 - Energy momentum tensor, Einstein tensor and Einstein space-time: #25500112 80 - Degenerate manifolds and submanifolds: #26355 ''(merged in Sage 9.1.beta0)'' 113 81 - Degenerate submanifolds: new features: #29080 ''(merged in Sage 9.1.beta4)'' … … 115 83 - More control on the numerical ODE solver for integrated curves and geodesics: #28707 ''(merged in Sage 9.0.beta6)'' 116 84 - Add `EuclideanSpace` to category of metric spaces: #30062 ''(merged in Sage 9.2.beta7)'' 117 - Add sphere and hyperbolic space permanently: #30189118 85 - Dot and cross products along a differentiable map: #30318 ''(merged in Sage 9.2.beta8)'' 119 - '''Poisson manifolds:'''120 - Add symplectic structures: #30362121 86 - '''Lie groups:''' 122 87 - Nilpotent Lie groups: #26344 ''(merged in Sage 8.4.rc0)'' … … 139 104 - Simplifications in calculus on manifolds with derivatives of symbolic functions: #24199 ''(fixed by #24232)'' 140 105 - Simplifications in calculus on manifolds via the expression tree: #24232 ''(merged in Sage 8.2.beta0)'' 141 - Make simplifications in !SymPy calculus on manifolds rely on !SymPy only: #24290142 106 - Better handling of matrix output for operator `[:]` acting on sets of tensor components: #24884 ''(merged in Sage 8.2.beta8)'' 143 107 - Better restrictions on manifolds: #25417 ''(merged in Sage 8.3.beta3)'' … … 155 119 - Bug in parallelization on manifolds: #26777 ''(merged in Sage 8.5.beta6)'' 156 120 - Remove deprecated `ScalarField`'s method `function_chart`: #27409 ''(merged in Sage 8.7.beta7)'' 157 - Bug in parallelized computations involving symbolic functions: #27492158 121 - Bug in wedge of unnamed differential forms: #27576 ''(merged in Sage 8.8.beta1)'' 159 122 - Error in testing whether a scalar field belongs to a module of differential forms: #27658 ''(merged in Sage 8.8.beta3)'' … … 189 152 - Not equal operator for mixed forms: #30108 ''(merged in Sage 9.2.beta7)'' 190 153 - Coercion from `ChartFunctionRing` to `ScalarFieldAlgebra`: #30112 ''(merged in Sage 9.2.beta6)'' 191 - Replace `__eq__` by `_richcmp_` for manifolds: #30116192 - Trivial coercion `Modules(QQ)(FiniteRankFreeModule(QQ, 3))` fails: #30174193 154 - Failed conversion yields unconclusive error message: #30191 ''(merged in Sage 9.2.beta7)'' 194 - `declare_union` yields wrong results: #30263195 - Replace `AssertionError` with `ValueError` when immutable elements are tried to be changed: #30275196 155 - Error in display of a continuous map between open intervals: #30289 ''(merged in Sage 9.2.beta8)'' 197 - Unions of subsets of a fixed open set X are not known to be subsets of X: #30401 156 - Unions of subsets of a fixed open set X are not known to be subsets of X: #30401 ''(merged in Sage 9.2.beta12)''