On Sat, Mar 21, 2015 at 11:03 PM, Andrew <[email protected]> wrote: > Hi William, > > I followed your link because I was curious about both SageManifolds and > about SageMathCloud. > > Just FYI, for me the link > > > http://sagemanifolds.obspm.fr/doc/reference/manifolds/sage/geometry/manifolds/manifold.html > at the top of the worksheet is broken giving the error: > > Error opening 'support/Differentiable manifolds and tensor fields' -- "path > (=support/Differentiable manifolds and tensor fields) does not exist"
Thanks -- I've fixed the link. William > > > Andrew > > > On Sunday, 22 March 2015 12:10:12 UTC+11, William wrote >> >> On Fri, Mar 13, 2015 at 5:50 AM, Eric Gourgoulhon >> <[email protected]> wrote: >> > Hi, >> > >> > The version 0.7 of SageManifolds has just been released (see the >> > changelog). >> >> Hi, >> >> SageManifolds is now available by default in SageMathCloud for all >> projects (restart your project server). Here's an example Sage >> worksheet using SageManifolds: >> >> >> https://cloud.sagemath.com/projects/4a5f0542-5873-4eed-a85c-a18c706e8bcd/files/support/2015-03-21-175733-sage-manifolds.sagews >> >> Could you guys update the part of the SageManifolds website about >> SageMathCloud with the new much easier instructions: "it just works". >> >> -- William >> >> > >> > Numerous internal changes have been performed, resulting in a better >> > integration into Sage's parent/element framework. Specifically, here is >> > the >> > list of parents in v0.7 of SageManifolds, with the corresponding >> > categories: >> > >> > 1/ Parents in the algebraic part (ticket: #15916) (cf. the documentation >> > TOC): >> > ---------------------------------------- >> > >> > - FiniteRankFreeModule: free module of finite rank over a commutative >> > ring >> > category=Modules(ring) >> > NB: this class differs from Sage's FreeModule or VectorSpace in so far >> > as >> > it >> > does not assume any distinguished basis on the free module (see >> > comparison) >> > >> > - TensorFreeModule: tensor product of a free module with itself or its >> > dual >> > category=Modules(ring) >> > >> > - ExtPowerFreeModule: exterior power of the dual of a free module >> > category=Modules(ring) >> > >> > - FreeModuleHomset: set of homomorphisms between free modules >> > category: Category of homsets of modules over "ring" >> > >> > - FreeModuleLinearGroup: general linear group of a free module >> > category=Groups() >> > >> > 2/ Parents in the differential part (cf. the documentation TOC): >> > ------------------------------------------- >> > >> > - Manifold: differentiable manifold over R >> > category=Sets() >> > >> > - RealLine: field of real numbers, as a manifold of dimension 1, with a >> > canonical coordinate chart >> > category=Sets() >> > >> > - ManifoldSubset: subset of a differentiable manifold >> > category=Sets(), facade=manifold >> > >> > - ManifoldOpenSubset: open subset of a differentiable manifold >> > category=Sets(), facade=manifold >> > >> > - OpenInterval: open real interval, as an open subset of RealLine >> > category=Sets(), facade=manifold >> > >> > - Submanifold: embedded submanifold of a differentiable manifold >> > category=Sets() >> > >> > - TangentSpace: vector space tangent to a manifold >> > category=VectorSpaces(SR) >> > >> > - ManifoldHomset: set of differentiable mappings between two >> > differentiable >> > manifolds >> > category: Set of Morphisms from manifold A to manifold B in Category >> > of >> > sets >> > >> > - ManifoldCurveSet: set of differentiable curves in a manifold >> > category: Category of homsets of sets >> > >> > - ScalarFieldAlgebra: commutative algebra of differentiable functions M >> > --> >> > R, where M is a manifold >> > category=CommutativeAlgebras(SR) >> > >> > - VectorFieldModule: module of vector fields on a manifold >> > category=Modules(scalar_field_algebra) >> > >> > - VectorFieldFreeModule: free module of vector fields on a >> > parallelizable >> > manifold >> > category=Modules(scalar_field_algebra) >> > >> > - AutomorphismFieldGroup: general linear group of the module of vector >> > fields on a manifold >> > category=Groups() >> > >> > - AutomorphismFieldParalGroup: general linear group of the module of >> > vector >> > fields on a parallelizable manifold >> > category=Groups() >> > >> > - TensorFieldModule: module of tensor fields of a given type (k,l) on a >> > manifold >> > category=Modules(scalar_field_algebra) >> > >> > - TensorFieldFreeModule: free module of tensor fields of a given type >> > (k,l) >> > on a parallelizable manifold >> > category=Modules(scalar_field_algebra) >> > >> > - DiffFormModule: module of differential forms of a given degree on a >> > manifold >> > category=Modules(scalar_field_algebra) >> > >> > - DiffFormFreeModule: free module of differential forms of a given >> > degree on >> > a parallelizable manifold >> > category=Modules(scalar_field_algebra) >> > >> > >> > Regarding the submission to trac, the algebraic part (ticket #15916) is >> > under review, while the ticket for the differential part (#14865) must >> > be >> > reorganized (probably split in smaller tickets...). >> > >> > Needless to say, any comment / suggestion is welcome. >> > >> > Eric. >> > >> > -- >> > You received this message because you are subscribed to the Google >> > Groups >> > "sage-devel" 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-devel. >> > For more options, visit https://groups.google.com/d/optout. >> >> >> >> -- >> William (http://wstein.org) > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" 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-devel. > For more options, visit https://groups.google.com/d/optout. -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-devel" 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-devel. For more options, visit https://groups.google.com/d/optout.
