Changes between Version 182 and Version 183 of Ticket #18528


Ignore:
Timestamp:
08/03/20 10:16:16 (3 months ago)
Author:
egourgoulhon
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18528 – Description

    v182 v183  
    2626- `ModulesWithBasis.linear_combination` should be a method of `Modules`: #30179 ''(merged in Sage 9.2.beta7)''
    2727- Immutable elements of `FreeModuleTensor`: #30181
     28- `FiniteRankFreeModule` needs `__classcall__`: #30169
     29- Extend `FreeModule` factory to construction of `FiniteRankFreeModule` and `CombinatorialFreeModule`: #30194
     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
     35- `FiniteRankFreeModule`: Simplify unique representation code for dependent modules: #30250
     36- Simplify `_repr_` of `ExtPowerFreeModule` and `ExtPowerDualFreeModule`: #30251
     37- `TensorFreeModule._an_element_`: Create a default basis in the base module if necessary: #30254
     38- `FiniteRankFreeModule`: Move all module identifications to methods `exterior_power`, `dual_exterior_power`, `tensor_module`: #30255
     39- Use `_matmul_` operator (@): #30244
     40- Phased permutation groups: #30276
    2841
    2942== Topological and differential part ==
     
    4053  - add a bit of typing to manifold code: #29775
    4154  - add manifold orientability and compactness: #30178
     55  - Coercion/conversion `SR` to `ScalarFieldAlgebra`: #30232
     56  - Immutability for scalar fields: #30266
     57  - Coercion via restriction of chart functions: #30267
    4258- '''Differentiable manifolds''' (over '''R''', '''C''' or a non-discrete topological field K):
    4359  - basics (charts, transition maps, scalar fields, morphisms): #18783 ''(merged in Sage 7.3.beta2)''
     
    7288  - Action for bundle connections: #30209
    7389  - Declare sections with name only: #30228 ''(merged in Sage 9.2.beta7)''
     90  - List assignment for bundle connections: #30208
     91  - Immutability for manifold objects: #30261
     92  - Mixed forms: `set_comp`, `comp`: #30272
    7493- '''Complex and almost complex manifolds:'''
    7594  - almost complex structures through Hodge structures: #18786
     
    88107  - More control on the numerical ODE solver for integrated curves and geodesics: #28707 ''(merged in Sage 9.0.beta6)''
    89108  - Add `EuclideanSpace` to category of metric spaces: #30062 ''(merged in Sage 9.2.beta7)''
    90   - Add sphere and hyperbolic space permanently: #30181
     109  - Add sphere and hyperbolic space permanently: #30189
    91110- '''Lie groups:'''
    92111  - Nilpotent Lie groups: #26344 ''(merged in Sage 8.4.rc0)''
     
    161180- Replace `__eq__` by `_richcmp_` for manifolds: #30116
    162181- Trivial coercion `Modules(QQ)(FiniteRankFreeModule(QQ, 3))` fails: #30174
     182- Failed conversion yields unconclusive error message: #30191 ''(merged in Sage 9.2.beta7)''
     183- `declare_union` yields wrong results: #30263
     184- Replace `AssertionError` with `ValueError` when immutable elements are tried to be changed: #30275