Changes between Version 188 and Version 189 of Ticket #18528


Ignore:
Timestamp:
Sep 7, 2020, 9:00:56 PM (2 years ago)
Author:
Eric Gourgoulhon
Comment:

This metaticket is becoming too large; I am moving the tickets not closed in Sage 9.2 to the new metaticket #30525.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #18528

    • Property Summary changed from SageManifolds metaticket to SageManifolds metaticket 1

  • Ticket #18528 – Description

    v188 v189  
    11This 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].
    22
    3 See also the recent metaticket #30139 for future developments.
     3This metaticket covers the implementation up to Sage 9.2. See the metaticket #30525 for Sage >= 9.3.
    44
    55== Algebraic part ==
    … …  
    1313- Multiple symmetries and multiple contractions with index notation: #28784 ''(merged in Sage 9.0.beta8)''
    1414- Tensor addition with index notation: #28787 ''(merged in Sage 9.1.beta2)''
    15 - Enhance symmetry handling for tensors: #28813
    16 - Extension of admissible indices conventions for tensors with indices: #29099
    1715- Index notation for tensors should allow for unicode characters: #29248 ''(merged in Sage 9.2.beta9)''
    18 - Sparse iterator for tensor components: #29619
    19 - Compacting the display of tensor product: #29820
    20 - Parallelization of wedge product: #29796
    2116- 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`: #30095
    23 - sage.tensor.modules: Add backends using !TensorFlow Core and !PyTorch: #30096
    24 - Add category `FreeModules` (without distinguished basis): #30164
    25 - Trivial coercion `Modules(QQ)(FiniteRankFreeModule(QQ, 3))` fails: #30174
    2617- `ModulesWithBasis.linear_combination` should be a method of `Modules`: #30179 ''(merged in Sage 9.2.beta7)''
    2718- Immutable elements of `FreeModuleTensor`: #30181 ''(merged in Sage 9.2.beta8)''
    2819- `FiniteRankFreeModule` needs `__classcall__`: #30169 ''(merged in Sage 9.2.beta8)''
    2920- 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: #30229
    31 - Add construction methods to `FiniteRankFreeModule` and `CombinatorialFreeModule`: #30235
    32 - New implementation class `FiniteRankDualFreeModule`: #30241
    33 - Make `ExtPowerFreeModule` a quotient of `TensorFreeModule`: #30242
    34 - `FreeModuleAutomorphism` should not inherit from `FreeModuleTensor`: #30245
    3521- `FiniteRankFreeModule`: Simplify unique representation code for dependent modules: #30250 ''(merged in Sage 9.2.beta8)''
    3622- Simplify `_repr_` of `ExtPowerFreeModule` and `ExtPowerDualFreeModule`: #30251 ''(merged in Sage 9.2.beta9)''
    3723- `TensorFreeModule._an_element_`: Create a default basis in the base module if necessary: #30254 ''(merged in Sage 9.2.beta8)''
    3824- `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 (@): #30244
    40 - Phased permutation groups: #30276
    4125- `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: #30302
    4326
    4427== Topological and differential part ==
    … …  
    4932  - morphisms (continuous maps between manifolds): #18725 ''(merged in Sage 7.3.beta0)''
    5033  - !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: #24151
    5234  - periodic coordinates on manifods: #27548 ''(merged in Sage 8.8.beta0)''
    5335  - customizing simplifications in coordinate calculus: #27601 ''(merged in Sage 8.8.beta1)''
    5436  - scalar field restrictions: #28554 ''(merged in Sage 9.0.beta4)''
    55   - add a bit of typing to manifold code: #29775
    5637  - add manifold orientability: #30178 ''(merged in Sage 9.2.beta9)''
    57   - Coercion/conversion `SR` to `ScalarFieldAlgebra`: #30232
    5838  - Immutability for scalar fields: #30266 ''(merged in Sage 9.2.beta8)''
    5939  - Coercion via restriction of chart functions: #30267 ''(merged in Sage 9.2.beta8)''
    6040  - Scalar Field Arithmetics: Trivial Cases: #30291 ''(merged in Sage 9.2.beta8)''
    61   - Immutability of chart functions: #30310
    6241- '''Differentiable manifolds''' (over '''R''', '''C''' or a non-discrete topological field K):
    6342  - basics (charts, transition maps, scalar fields, morphisms): #18783 ''(merged in Sage 7.3.beta2)''
    … …  
    8261  - Tensor fields: consistent naming: #28564 ''(merged in Sage 9.0.beta7)''
    8362  - Immutability of tensor fields and mixed forms: #28519 ''(metaticket)''
    84   - Automorphism fields: remove SR enforcement when computing the inverse: #28629
    85   - Vector-valued forms: #28640
    8663  - 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: #29234
    8864  - Apply a function to all components of a tensor field: #29244 ''(merged in Sage 9.1.beta8)''
    89   - New algorithm for characteristic classes: #29581
    9065  - Let `diff()` act on chart functions and differentiable forms: #29953 ''(merged in Sage 9.2.beta4)''
    91   - Characteristic classes: sequences: #30211
    9266  - Action for bundle connections: #30209 ''(merged in Sage 9.2.beta9)''
    9367  - Declare sections with name only: #30228 ''(merged in Sage 9.2.beta7)''
    9468  - List assignment for bundle connections: #30208 ''(merged in Sage 9.2.beta8)''
    95   - Immutability for manifold objects: #30261
    96   - Mixed forms: `set_comp`, `comp`: #30272
    9769  - Immutability of tensor fields: #30274 ''(merged in Sage 9.2.beta8)''
    9870  - Add `copy()` method to affine connections: #30285 ''(merged in Sage 9.2.beta8)''
    9971  - Immutability of affine connections: #30280 ''(merged in Sage 9.2.beta8)''
    10072  - Immutability for sections: #30288 ''(merged in Sage 9.2.beta8)''
    101 - '''Complex and almost complex manifolds:'''
    102   - almost complex structures through Hodge structures: #18786
    10373- '''Pseudo-Riemannian manifolds:'''
    10474  - pseudo-Riemannian metrics: #19209 ''(merged in Sage 7.5.beta4)''
    … …  
    10878  - Euclidean spaces and vector calculus: #24623 ''(merged in Sage 8.3.beta0)''
    10979  - Geometry of pseudo-Riemannian submanifolds: #25438 ''(merged in Sage 8.3.beta8)''
    110   - Declaring a metric along with its components: #25457
    111   - Energy momentum tensor, Einstein tensor and Einstein space-time: #25500
    11280  - Degenerate manifolds and submanifolds: #26355 ''(merged in Sage 9.1.beta0)''
    11381  - Degenerate submanifolds: new features: #29080 ''(merged in Sage 9.1.beta4)''
    … …  
    11583  - More control on the numerical ODE solver for integrated curves and geodesics: #28707 ''(merged in Sage 9.0.beta6)''
    11684  - Add `EuclideanSpace` to category of metric spaces: #30062 ''(merged in Sage 9.2.beta7)''
    117   - Add sphere and hyperbolic space permanently: #30189
    11885  - Dot and cross products along a differentiable map: #30318 ''(merged in Sage 9.2.beta8)''
    119 - '''Poisson manifolds:'''
    120   - Add symplectic structures: #30362
    12186- '''Lie groups:'''
    12287  - Nilpotent Lie groups: #26344 ''(merged in Sage 8.4.rc0)''
    … …  
    139104- Simplifications in calculus on manifolds with derivatives of symbolic functions: #24199 ''(fixed by #24232)''
    140105- 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: #24290
    142106- Better handling of matrix output for operator `[:]` acting on sets of tensor components: #24884 ''(merged in Sage 8.2.beta8)''
    143107- Better restrictions on manifolds: #25417 ''(merged in Sage 8.3.beta3)''
    … …  
    155119- Bug in parallelization on manifolds: #26777 ''(merged in Sage 8.5.beta6)''
    156120- Remove deprecated `ScalarField`'s method `function_chart`: #27409 ''(merged in Sage 8.7.beta7)''
    157 - Bug in parallelized computations involving symbolic functions: #27492
    158121- Bug in wedge of unnamed differential forms: #27576 ''(merged in Sage 8.8.beta1)''
    159122- Error in testing whether a scalar field belongs to a module of differential forms: #27658 ''(merged in Sage 8.8.beta3)''
    … …  
    189152- Not equal operator for mixed forms: #30108 ''(merged in Sage 9.2.beta7)''
    190153- Coercion from `ChartFunctionRing` to `ScalarFieldAlgebra`: #30112 ''(merged in Sage 9.2.beta6)''
    191 - Replace `__eq__` by `_richcmp_` for manifolds: #30116
    192 - Trivial coercion `Modules(QQ)(FiniteRankFreeModule(QQ, 3))` fails: #30174
    193154- Failed conversion yields unconclusive error message: #30191 ''(merged in Sage 9.2.beta7)''
    194 - `declare_union` yields wrong results: #30263
    195 - Replace `AssertionError` with `ValueError` when immutable elements are tried to be changed: #30275
    196155- 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)''