Opened 7 weeks ago
Last modified 4 days ago
#30525 new task
SageManifolds metaticket 2
Reported by: | egourgoulhon | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | manifolds | Keywords: | manifold, tensor, differential geometry |
Cc: | tscrim, mkoeppe, gh-mjungmath | Merged in: | |
Authors: | see ticket description | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
This metaticket collects tickets related to manifolds in Sage 9.3 or higher. For the initial implementation of manifolds in Sage up to version 9.2, see the metaticket 1: #18528.
The works listed here result from the SageManifolds project, developed by the following authors.
Generic
- #30139: Metaticket about manifold code improvement
- #30116: Replace
__eq__
by_richcmp_
for manifolds - #30473: Unicode art for sage.manifolds
- #30554: Metaticket: deprecated features
- #30189: Add examples to manifold catalog
- #30799: Add folder for manifold examples
Algebraic part
- #28813: Enhance symmetry handling for tensors
- #29099: Extension of admissible indices conventions for tensors with indices
- #29619: Sparse iterator for tensor components
- #29820: Compacting the display of tensor product
- #29796: Parallelization of wedge product
- #30095: sage.tensor.modules: Add
SymPowerFreeModule
- #30096: sage.tensor.modules: Add backends using TensorFlow Core and PyTorch:
- #30164: Add category
FreeModules
(without distinguished basis) - #30174: Trivial coercion
Modules(QQ)(FiniteRankFreeModule(QQ, 3))
fails - #30229: Submodules of
TensorFreeModule
defined by the symmetries of aComponents
object - #30235: Add construction methods to
FiniteRankFreeModule
andCombinatorialFreeModule
- #30241: New implementation class
FiniteRankDualFreeModule
- #30242: Make
ExtPowerFreeModule
a quotient ofTensorFreeModule
- #30245:
FreeModuleAutomorphism
should not inherit fromFreeModuleTensor
- #30244: Use
_matmul_
operator (@) - #30276: Phased permutation groups
- #30302: Arithmetic on tensor module elements, manifold objects: always return a copy
Topological manifolds
- #24151: Improve simplifications in calculus on manifolds
- #24290: Make simplifications in SymPy calculus on manifolds rely on SymPy only
- #29775: Add a bit of typing to manifold code
- #30232: Coercion/conversion
SR
toScalarFieldAlgebra
- #30263:
declare_union
yields wrong results - #30310: Immutability of chart functions
Differentiable manifolds
- #28629: Automorphism fields: remove SR enforcement when computing the inverse
- #28640: Vector-valued forms:
- #27492: Bug in parallelized computations involving symbolic functions
- #29234: Inheritance structure: tensor fields as sections of vector bundles
- #29581: New algorithm for characteristic classes
- #30211: Characteristic classes: sequences
- #30261: Immutability for manifold objects
- #30272: Mixed forms:
set_comp
,comp
- #30495: sage.manifolds: Connect to Pymanopt
- #30714: Tensor arithmetics on minimal amount of domains
- #30781: Covariant derivatives along smooth maps
Pseudo-Riemannian manifolds
- #25457: Declaring a metric along with its components
- #25500: Energy momentum tensor, Einstein tensor and Einstein space-time
- #30804: Add standard sphere to manifold catalog
Poisson manifolds
- #30362: Add symplectic structures
Complex and almost complex manifolds
- #18786: almost complex structures through Hodge structures
Change History (8)
comment:1 Changed 7 weeks ago by
- Cc tscrim mkoeppe gh-mjungmath added
comment:2 Changed 7 weeks ago by
- Description modified (diff)
comment:3 Changed 7 weeks ago by
- Description modified (diff)
comment:4 Changed 7 weeks ago by
- Description modified (diff)
comment:5 Changed 5 weeks ago by
- Description modified (diff)
comment:6 Changed 5 weeks ago by
- Description modified (diff)
comment:7 Changed 3 weeks ago by
- Description modified (diff)
comment:8 Changed 4 days ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.