Dear Sage devs,

The just released Sage 7.5 contains the integrality of SageManifolds code,
the last SageManifolds tickets having been merged in 7.5.beta4
(cf. https://trac.sagemath.org/ticket/18528 )
Consequently, there is no need for a separate installation of
SageManifolds (*), which is released in version 1.0 as part of Sage 7.5:
http://sagemanifolds.obspm.fr/
thanks to these developers and reviewers:
http://sagemanifolds.obspm.fr/authors.html

The full integration in Sage will of course facilitate the use of
SageManifolds, on a personal computer or in the SageMathCloud, or via the 
Sage
Debian Live key. But this will also considerably ease the development of
manifold code, especially by newcomers. For them, I've prepared the page
http://sagemanifolds.obspm.fr/contrib.html
It presents some basic workflow, from the installation of the latest Sage
develop version to submission of code via a Trac ticket, with links to some
sections of Sage's Installation Guide and Sage's Developer Guide. I would
appreciate any feedback on this page from Sage developers, in order to 
correct/improve it.
NB: of course, duplication is the root of all evil and the above page is not
intended to be a substitute for Sage's Installation and Developer guides, 
but
rather a kind of synthetic summary pointing to these guides.

Best regards,

    Eric.

(*) Accordingly, a change of terminology is performed from "SageManifolds
package" (SageManifolds was actually a Sage spkg until version 0.5) to
"SageManifolds project". See also the "Direct integration into Sage" section
of the development models discussed at
https://wiki.sagemath.org/CodeSharingWorkflow


-- 
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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to