Escolar Documentos
Profissional Documentos
Cultura Documentos
SageManifolds
1 / 16
Outline
An overview of Sage
Perspectives
SageManifolds
2 / 16
An overview of Sage
Outline
An overview of Sage
Perspectives
SageManifolds
3 / 16
An overview of Sage
SageManifolds
4 / 16
An overview of Sage
Advantages of Sage
Sage is free
Freedom means
1
SageManifolds
5 / 16
An overview of Sage
SageManifolds
6 / 16
Outline
An overview of Sage
Perspectives
SageManifolds
7 / 16
Standalone softwares:
Cadabra field theory (free)
SnapPy topology and geometry of 3-manifolds (Python) (free)
SageManifolds
8 / 16
SageManifolds
9 / 16
SageManifolds
A new set of Python classes implementing differential geometry in Sage:
Manifold: differentiable manifolds over R
SubManifold, Curves: submanifolds
Point: points on a manifold
Chart: charts
DiffMapping, Diffeomorphism: differential mappings between manifolds
ScalarField: differential mappings to R
TensorField, VectorField, SymBilinFormField, etc.: tensor fields on a
manifold
DiffForm, OneForm: p-forms
VectorFrame, CoordBasis: vector frames on a manifold, including tetrads
and coordinate bases
Components, CompWithSym, etc.: components of a tensor field in a given
vector frame
AffConnection, LeviCivitaConnection: affine connections
Metric: pseudo-Riemannian metrics
Gourgoulhon, Michal Bejger (LUTH, CAMK)
Eric
SageManifolds
10 / 16
TensorField
DiffForm
ScalarField
OneForm
VectorField
ZeroScalarField
EndomorphismField
SymBilinFormField
AutomorphismField
Metric
IdentityMap
SageManifolds
11 / 16
SageManifolds
12 / 16
SageManifolds
13 / 16
SageManifolds at work
SageManifolds
14 / 16
Perspectives
Outline
An overview of Sage
Perspectives
SageManifolds
15 / 16
Perspectives
Perspectives
SageManifolds
16 / 16