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  Basisdependent 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 nondiscrete 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  Vectorvalued 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  '''PseudoRiemannian manifolds:''' 104 74  pseudoRiemannian 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 pseudoRiemannian submanifolds: #25438 ''(merged in Sage 8.3.beta8)'' 110  Declaring a metric along with its components: #25457111  Energy momentum tensor, Einstein tensor and Einstein spacetime: #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)''