Opened 15 months ago

Last modified 10 days ago

#30525 new task

SageManifolds metaticket 2 — at Version 32

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 gh-mjungmath)

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)
  • #31704: Remove Python 2 compatibility from manifolds

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
  • #31654: Equip scalar fields with copy_from method
  • #31674: Make open subsets of immersed/embedded submanifolds immersed/embedded submanifolds
  • #31675: Plotting subsets of real manifolds
  • #31677: Open subsets of arbitrary subsets of manifolds
  • #31680: Poset of manifold subsets
  • #31682: Add _test_... methods that check invariants of subset relations
  • #31685: ContinuousMap.image: if map is an isomorphism and domain_subset is open, create a submanifold
  • #31703: Sheaves on manifolds

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__
  • #31658: Speeding-up copy method for tensor fields
  • #31678: DifferentiableManifold.open_subset: update vector frames and change of frames
  • #31691: Turn mixed forms into de Rham complex
  • #31692: Refactor display behavior of mixed forms
  • #31693: De Rahm cohomology
  • #31706: Immutability for mixed forms

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)
  • #31707: Manifold of piecewise linear functions with k marked breakpoints

Poisson manifolds

  • #30362: Add symplectic structures

Complex and almost complex manifolds

  • #18786: almost complex structures through Hodge structures

Change History (32)

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 12 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 10 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 8 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)

comment:27 Changed 8 months ago by gh-mjungmath

  • Description modified (diff)

comment:28 Changed 8 months ago by gh-mjungmath

  • Description modified (diff)

comment:29 Changed 8 months ago by gh-mjungmath

  • Description modified (diff)

comment:30 Changed 8 months ago by egourgoulhon

  • Description modified (diff)

comment:31 Changed 8 months ago by egourgoulhon

  • Description modified (diff)

comment:32 Changed 8 months ago by gh-mjungmath

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