Opened 15 months ago

Last modified 41 hours ago

#30525 new task

SageManifolds metaticket 2 — at Version 26

Reported by: egourgoulhon Owned by:
Priority: major Milestone:
Component: manifolds Keywords: manifold, tensor, differential geometry
Cc: tscrim, mkoeppe, gh-mjungmath, gh-honglizhaobob Merged in:
Authors: see ticket description Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by egourgoulhon)

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: Metaticket: Add examples to manifold catalog
  • #30799: Add folder for manifold examples (merged in Sage 9.3.beta0)
  • #31202: Fix some typos in src/sage/manifolds/ (merged in Sage 9.3.beta9)

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 (merged in Sage 9.3.beta8)
  • #30229: Submodules of TensorFreeModule defined by the symmetries of a Components object
  • #30235: Add construction methods to FiniteRankFreeModule and CombinatorialFreeModule
  • #30241: New implementation class FiniteRankDualFreeModule
  • #30242: Make ExtPowerFreeModule a quotient of TensorFreeModule
  • #30245: FreeModuleAutomorphism should not inherit from FreeModuleTensor
  • #30244: Use _matmul_ operator (@)
  • #30276: Phased permutation groups
  • #30302: Arithmetic on tensor module elements, manifold objects: always return a copy
  • #30307: Refactor Components into parent & element
  • #31276: Tensor product method for FiniteRankFreeModule

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
  • #30080: Manifolds with boundary
  • #30232: Coercion/conversion SR to ScalarFieldAlgebra
  • #30263: declare_union yields wrong results
  • #30310: Immutability of chart functions (merged in Sage 9.3.beta9)
  • #31243: Stronger categories for manifold examples: connectedness (merged in Sage 9.3.beta7)
  • #31371: Product of manifolds
  • #31644: Topological closure of manifold subsets, embedded submanifolds
  • #31653: Images of continuous maps and embedded submanifolds as manifold subsets

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
  • #30284: Immutability of bundle connections (merged in Sage 9.3.rc0)
  • #30495: sage.manifolds: Connect to Pymanopt
  • #30714: Tensor arithmetics on minimal amount of domains
  • #30781: Covariant derivatives along smooth maps
  • #30830: Subintervals of OpenInterval and UniqueRepresentation (merged in Sage 9.3.beta2)
  • #30832: Connect RealSet to sage.manifolds
  • #31215: Documentation of item assignment behavior for bundle connections (merged in Sage 9.3.beta7)
  • #31249: Grassmann manifolds
  • #31255: Follow up: Mutability of sections and tensor fields (merged in Sage 9.3.beta7)
  • #31273: Remove deprecated form input for bundle connections (merged in Sage 9.3.beta7)
  • #31316: Method subs() ineffective on tensor fields
  • #31323: Make self-diffeomorphisms default (merged in Sage 9.3.beta9)
  • #31324: Circle doesn't have an orientation
  • #31609: Add method tangent_vector() to differentiable manifolds
  • #31617: Provide 3-sphere with additional features
  • #31633: Simplify VectorField.__call__

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 (merged in Sage 9.3.beta2)
  • #30824: More flexible coordinate treatment for EuclideanSpace
  • #31322: Use ambient metric by default in hodge_dual (merged in Sage 9.3.beta9)

Poisson manifolds

  • #30362: Add symplectic structures

Complex and almost complex manifolds

  • #18786: almost complex structures through Hodge structures

Change History (26)

comment:1 Changed 15 months ago by egourgoulhon

  • Cc tscrim mkoeppe gh-mjungmath added

comment:2 Changed 15 months ago by egourgoulhon

  • Description modified (diff)

comment:3 Changed 15 months ago by egourgoulhon

  • Description modified (diff)

comment:4 Changed 15 months ago by egourgoulhon

  • Description modified (diff)

comment:5 Changed 15 months ago by egourgoulhon

  • Description modified (diff)

comment:6 Changed 15 months ago by egourgoulhon

  • Description modified (diff)

comment:7 Changed 14 months ago by egourgoulhon

  • Description modified (diff)

comment:8 Changed 14 months ago by egourgoulhon

  • Description modified (diff)

comment:9 Changed 13 months ago by egourgoulhon

  • Description modified (diff)

comment:10 Changed 13 months ago by egourgoulhon

  • Description modified (diff)

comment:11 Changed 11 months ago by egourgoulhon

  • Description modified (diff)

comment:12 Changed 11 months ago by egourgoulhon

  • Description modified (diff)

comment:13 Changed 11 months ago by egourgoulhon

  • Description modified (diff)

comment:14 Changed 11 months ago by egourgoulhon

  • Description modified (diff)

comment:15 Changed 10 months ago by egourgoulhon

  • Description modified (diff)

comment:16 Changed 10 months ago by egourgoulhon

  • Description modified (diff)

comment:17 Changed 10 months ago by egourgoulhon

  • Description modified (diff)

comment:18 Changed 10 months ago by egourgoulhon

  • Description modified (diff)

comment:19 Changed 10 months ago by egourgoulhon

  • Description modified (diff)

comment:20 Changed 9 months ago by egourgoulhon

  • Description modified (diff)

comment:21 Changed 9 months ago by egourgoulhon

  • Description modified (diff)

comment:22 Changed 8 months ago by egourgoulhon

  • Description modified (diff)

comment:23 Changed 8 months ago by gh-mjungmath

  • Description modified (diff)

comment:24 Changed 8 months ago by gh-mjungmath

  • Description modified (diff)

comment:25 Changed 8 months ago by egourgoulhon

  • Description modified (diff)

comment:26 Changed 8 months ago by egourgoulhon

  • Description modified (diff)
Note: See TracTickets for help on using tickets.