Opened 12 months ago
Last modified 3 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, gh-honglizhaobob | 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 operators for sage.manifolds (merged in Sage 9.4.beta5)
- #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) - #31241; Forgetful functors for manifold objects
- #31704: Remove Python 2 compatibility from manifolds (merged in Sage 9.4.beta2)
- #32274: Restructure manifold module
- #32457: Fix a few documentation issues in manifolds
- #32476:
__copy__
,__deepcopy__
methods for all classes that definecopy
methods
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 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
- #30307: Refactor
Components
into parent & element - #31276: Tensor product method for
FiniteRankFreeModule
- #31946:
_sympy_
methods for tensor component classes - #31991: Metaticket: Efficient numerical computations with tensor trains
- #31992:
FiniteRankFreeModuleMorphism
: Add methodSVD
(singular value decomposition) - #32028: Tensor canonicalization
- #32029: Action of a SymPy
TensorSymmetry
- #32034: Graphical representations of tensors
- #32318: Generate non-redundant indices of tensors with symmetries efficiently (merged in Sage 9.5.beta1)
- #32355: Bug in multiple tensor contractions with scalar result (merged in Sage 9.5.beta1)
- #32415: Remove unnecessary uses of symbolic functions in
sage.tensor.modules
(merged in Sage 9.5.beta1)
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
toScalarFieldAlgebra
- #30310: Immutability of chart functions (merged in Sage 9.3.beta9)
- #30311: Immutability of scalar fields II (merged in Sage 9.4.beta0)
- #31243: Stronger categories for manifold examples: connectedness (merged in Sage 9.3.beta7)
- #31371: Product of manifolds
- #31654: Equip scalar fields with
copy_from
method (merged in Sage 9.4.beta1) - #31674: Make open subsets of immersed/embedded submanifolds immersed/embedded submanifolds (merged in Sage 9.4.beta1)
- #31677: Open subsets of arbitrary subsets of manifolds (merged in Sage 9.4.beta1)
- #31685:
ContinuousMap.image
: if map is an isomorphism anddomain_subset
is open, create a submanifold - #31703: Sheaves on manifolds
- #31720: Manifold: Change some methods to generators
- #31771:
Chart.subchart_poset
,superchart_poset
,Manifold.chart_poset
- #31854: Pass
name
andlatex_name
tocopy
method inset_restriction
(merged in Sage 9.4.beta3) - #31883: Refine category of
ScalarField
(merged in Sage 9.4.beta4) - #31894: Refine categories of
Chart
objects, add methodcodomain
- #31901:
Chart
: Implement pickling via__getstate__
/__setstate__
- #31923: The inverse of the inverse should be
self
inCoordChange
(merged in Sage 9.4.beta4) - #32009: Eliminate direct use of the
Chart._domain
attribute (merged in Sage 9.4.beta6) - #32102:
Chart
: Add init argumentcoord_restrictions
, deprecate methodadd_restrictions
(merged in Sage 9.4.beta6) - #32112: Bug in
Chart.__init__
regarding the determination of top charts (merged in Sage 9.4.beta6) - #32116:
Chart._parse_coordinates
(merged in Sage 9.4.beta6) - #32120: Chart-wise assumptions
Manifold subsets
- #31740 Meta-ticket: Families, posets, complexes of manifold subsets
- #30263:
declare_union
yields wrong results - #31644: Topological closure of manifold subsets, methods
ManifoldSubset.closure
,is_closed
,declare_closed
(merged in Sage 9.4.beta4) - #31653: Images of continuous maps and embedded submanifolds as manifold subsets (merged in Sage 9.4.beta1)
- #31675: Plotting subsets of real manifolds
- #31680: Poset of manifold subsets (merged in Sage 9.4.beta3)
- #31682: Add
_test_...
methods that check invariants of subset relations - #31718:
ManifoldSubset
: Change some methods to generators (merged in Sage 9.4.beta3)
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 (merged in Sage 9.4.beta0)
- #30261: Immutability for manifold objects
- #30272: Mixed forms:
set_comp
,comp
(merged in Sage 9.4.beta6) - #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
andUniqueRepresentation
(merged in Sage 9.3.beta2) - #30832: Connect
RealSet
tosage.manifolds
(merged in Sage 9.4.beta4) - #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 (merged in Sage 9.4.beta1) - #31617: Provide 3-sphere with additional features
- #31633: Simplify
VectorField.__call__
(merged in Sage 9.4.beta1) - #31658: Speeding-up copy method for tensor fields (merged in Sage 9.4.beta1)
- #31678:
DifferentiableManifold.open_subset
: update vector frames and change of frames - #31691: Turn mixed form algebra into de Rham complex (and add de Rham cohomology) (merged in Sage 9.4.beta1)
- #31692: Refactor display behavior of mixed forms (merged in Sage 9.4.beta1)
- #31706: Immutability for mixed forms (merged in Sage 9.4.beta6)
- #31784: Mixed form name bug for pullback bundle (merged in Sage 9.4.beta2)
- #31878: Replace
OpenInterval
,RealLine
instances by instances of a subclass ofDifferentiableManifold
+RealSet
- #31904: Pullback silently fails in some cases with multiple charts (merged in Sage 9.4.beta4)
- #32313: Remove deprecated differential forms (merged in Sage 9.5.beta1)
- #32270: Turn de Rham cohomology into algebra (merged in Sage 9.5.beta1)
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
- #31747: Add spherical coordinates with equator-based latitude
- #31777:
manifolds.Sphere
: Add barycentric coordinates of spherical triangles / Whitney forms - #31781: Improve handling of metrics on pseudo-Riemannian submanifolds (merged in Sage 9.5.beta0)
- #31813: Add support for
tangent_vector_eval_at
for geodesics on manifolds integrated over multiple charts - #32228: Move examples from
sage.geometry.riemannian_manifolds
tosage.manifolds
Poisson manifolds
- #30362: Add symplectic structures
Complex and almost complex manifolds
- #18786: almost complex structures through Hodge structures
Change History (62)
comment:1 Changed 12 months ago by
- Cc tscrim mkoeppe gh-mjungmath added
comment:2 Changed 12 months ago by
- Description modified (diff)
comment:3 Changed 12 months ago by
- Description modified (diff)
comment:4 Changed 12 months ago by
- Description modified (diff)
comment:5 Changed 12 months ago by
- Description modified (diff)
comment:6 Changed 12 months ago by
- Description modified (diff)
comment:7 Changed 12 months ago by
- Description modified (diff)
comment:8 Changed 11 months ago by
- Description modified (diff)
comment:9 Changed 11 months ago by
- Description modified (diff)
comment:10 Changed 10 months ago by
- Description modified (diff)
comment:11 Changed 8 months ago by
- Description modified (diff)
comment:12 Changed 8 months ago by
- Description modified (diff)
comment:13 Changed 8 months ago by
- Description modified (diff)
comment:14 Changed 8 months ago by
- Description modified (diff)
comment:15 Changed 8 months ago by
- Description modified (diff)
comment:16 Changed 8 months ago by
- Description modified (diff)
comment:17 Changed 8 months ago by
- Description modified (diff)
comment:18 Changed 7 months ago by
- Description modified (diff)
comment:19 Changed 7 months ago by
- Description modified (diff)
comment:20 Changed 6 months ago by
- Description modified (diff)
comment:21 Changed 6 months ago by
- Description modified (diff)
comment:22 Changed 6 months ago by
- Description modified (diff)
comment:23 Changed 5 months ago by
- Description modified (diff)
comment:24 Changed 5 months ago by
- Description modified (diff)
comment:25 Changed 5 months ago by
- Description modified (diff)
comment:26 Changed 5 months ago by
- Description modified (diff)
comment:27 Changed 5 months ago by
- Description modified (diff)
comment:28 Changed 5 months ago by
- Description modified (diff)
comment:29 Changed 5 months ago by
- Description modified (diff)
comment:30 Changed 5 months ago by
- Description modified (diff)
comment:31 Changed 5 months ago by
- Description modified (diff)
comment:32 Changed 5 months ago by
- Description modified (diff)
comment:33 Changed 5 months ago by
- Description modified (diff)
comment:34 Changed 5 months ago by
- Description modified (diff)
comment:35 Changed 5 months ago by
- Description modified (diff)
comment:36 Changed 5 months ago by
- Description modified (diff)
comment:37 Changed 5 months ago by
- Description modified (diff)
comment:38 Changed 5 months ago by
- Description modified (diff)
comment:39 Changed 4 months ago by
- Description modified (diff)
comment:40 Changed 4 months ago by
- Description modified (diff)
comment:41 Changed 4 months ago by
- Description modified (diff)
comment:42 Changed 4 months ago by
- Description modified (diff)
comment:43 Changed 3 months ago by
- Description modified (diff)
comment:44 Changed 3 months ago by
- Description modified (diff)
comment:45 Changed 3 months ago by
- Cc gh-honglizhaobob added
comment:46 Changed 3 months ago by
- Description modified (diff)
comment:47 Changed 3 months ago by
- Description modified (diff)
comment:48 Changed 3 months ago by
- Description modified (diff)
comment:49 Changed 2 months ago by
- Description modified (diff)
comment:50 Changed 2 months ago by
- Description modified (diff)
comment:51 Changed 2 months ago by
- Description modified (diff)
comment:52 Changed 6 weeks ago by
- Description modified (diff)
comment:53 Changed 6 weeks ago by
- Description modified (diff)
comment:54 Changed 6 weeks ago by
- Description modified (diff)
comment:55 Changed 6 weeks ago by
- Description modified (diff)
comment:56 Changed 5 weeks ago by
- Description modified (diff)
comment:57 Changed 2 weeks ago by
- Description modified (diff)
comment:58 Changed 2 weeks ago by
- Description modified (diff)
comment:59 Changed 2 weeks ago by
- Description modified (diff)
comment:60 Changed 2 weeks ago by
- Description modified (diff)
comment:61 Changed 12 days ago by
- Description modified (diff)
comment:62 Changed 3 days ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.