#18640: Topological manifolds: scalar fields
-------------------------------------+-------------------------------------
Reporter: egourgoulhon | Owner: egourgoulhon
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: geometry | Resolution:
Keywords: topological | Merged in:
manifolds | Reviewers:
Authors: Eric Gourgoulhon, | Work issues:
Michal Bejger | Commit:
Report Upstream: N/A | 31d3fa59345c6140f1b4fb56804a2119ce35f8dd
Branch: | Stopgaps:
public/manifolds/top_manif_scalar_fields|
Dependencies: #18529 |
-------------------------------------+-------------------------------------
Changes (by egourgoulhon):
* status: new => needs_review
* milestone: sage-6.8 => sage-6.10
Old description:
> This ticket implements scalar fields on topological manifolds. This is a
> follow up of ticket #18529 within the [http://sagemanifolds.obspm.fr/
> SageManifolds project]. See the meta-ticket #18528 for an overview.
> By ''scalar field'', it is meant a continuous map f: M --> K, where K is
> a topological field and M a topological manifold over K.
>
> This ticket implements the following Python classes:
> - `CoordFunction`: abstract base class for coordinate functions, i.e.
> functions
> V\subset K^n^ --> K, where V is some chart codomain and n=dim(M)
> - `CoordFunctionSymb`: symbolic coordinate functions
> - `MultiCoordFunction`: functions V\subset K^n^ --> K^m^, where V is some
> chart codomain and m some
> positive integer
> - `ScalarFieldAlgebra`: set C^0^(M) of scalar fields M --> K as a
> commutative algebra over K
> (Parent class)
> - `ScalarField`: scalar field M --> K (Element class)
> - `ExpressionNice`: a subclass of `sage.symbolic.expression.Expression`
> with enhanced display of callable symbolic expressions
>
> Internally, `ScalarField`'s are described by their coordinate
> representations in various charts, which are implemented as a dictionary
> of `CoordFunction`'s, with the charts as keys.
> At the moment, there is only one concrete class for coordinate functions:
> `CoordFunctionSymb` (functions described by symbolic expressions of the
> coordinates), but in the future there should be numerical coordinate
> functions (hence the abstract base class `CoordFunction`).
New description:
This ticket implements scalar fields on topological manifolds. This is a
follow up of ticket #18529 within the [http://sagemanifolds.obspm.fr/
SageManifolds project]. See the metaticket #18528 for an overview.
By ''scalar field'', it is meant a continuous map f: M --> K, where K is a
topological field and M a topological manifold over K.
This ticket implements the following Python classes:
- `CoordFunction`: abstract base class for coordinate functions, i.e.
functions
V\subset K^n^ --> K, where V is some chart codomain and n=dim(M)
- `CoordFunctionSymb`: symbolic coordinate functions
- `MultiCoordFunction`: functions V\subset K^n^ --> K^m^, where V is some
chart codomain and m some
positive integer
- `ScalarFieldAlgebra`: set C^0^(M) of scalar fields M --> K as a
commutative algebra over K
(Parent class)
- `ScalarField`: scalar field M --> K (Element class)
- `ExpressionNice`: a subclass of `sage.symbolic.expression.Expression`
with enhanced display of callable symbolic expressions
Internally, `ScalarField`'s are described by their coordinate
representations in various charts, which are implemented as a dictionary
of `CoordFunction`'s, with the charts as keys.
At the moment, there is only one concrete class for coordinate functions:
`CoordFunctionSymb` (functions described by symbolic expressions of the
coordinates), but in the future there should be numerical coordinate
functions (hence the abstract base class `CoordFunction`).
'''Documentation''':
The reference manual is produced by
`sage -docbuild reference/manifolds html`
It can also be accessed online at
http://sagemanifolds.obspm.fr/doc/18640/reference/manifolds/
More documentation (e.g. example worksheets) can be found
[http://sagemanifolds.obspm.fr/documentation.html here].
--
--
Ticket URL: <http://trac.sagemath.org/ticket/18640#comment:14>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
