Dear Sage devs,

SageManifolds <http://sagemanifolds.obspm.fr/> has been split in various 
tickets for submission to Sage. 
They are now ready for review at
http://trac.sagemath.org/ticket/18528

This split has been the opportunity to reorganize many things in the 
project,
among which:

- the disentanglement of the topology part from the differential one, via 
the
  creation of the new class TopManifold 
<http://sagemanifolds.obspm.fr/doc/19209/reference/manifolds/sage/manifolds/manifold.html>,
 
from which DiffManifold 
<http://sagemanifolds.obspm.fr/doc/19209/reference/manifolds/sage/manifolds/differentiable/manifold.html>
 
inherits
- the possibility to have base fields different from the real numbers, 
opening
  the path to complex manifolds
- the gathering of all symbolic calculus under a specific class
  (CoordFunctionSymb 
<http://sagemanifolds.obspm.fr/doc/19209/reference/manifolds/sage/manifolds/coord_func_symb.html>),
 
the interface with the tensor calculus being
  performed only via the abstract superclass CoordFunction 
<http://sagemanifolds.obspm.fr/doc/19209/reference/manifolds/sage/manifolds/coord_func.html>;
 
this should allow
  to implement "numerical" manifolds (for instance spacetimes resulting from
  numerical relativity codes, the idea being to use Sage to explore these 
  spacetimes)

All the objects are implemented within Sage's category framework, following
the parent/element scheme. The category for manifolds is Sets() for the
moment, but this should be changed to Manifolds() as soon as #18175 
<http://trac.sagemath.org/ticket/18175> is ready.

The latest commit, in #19209 <http://trac.sagemath.org/ticket/19209>, 
should be the basis of the next release of
SageManifolds (v0.9) within a few days.

Comment/suggestions (and of course reviews!) are most welcome.

Eric (on behalf of the SageManifolds team).

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to