Dear Michael,
On Apr 30, 12:15 pm, Michael Brickenstein <[EMAIL PROTECTED]> wrote:
> I would be interested in real word use cases, which demonstrate, why
> such a system is needed.
> E.g., I think Simon king did some cool
> things involving at least Singular, GAP, Cython...
Do you call the computation of cohomology rings of finite p-groups a
"real world application"??
Well, a colleague of mine had "cohomology theory of Lie groups" in his
*applied* math exam (Vordiplom). I never understood how he convinced
the people that this is legal...
I think my project makes a good use of Sage:
- Output of Gap is used as input for the C-programs written by David
Green.
- Output of the C-programs is input for methods of Cython classes
(these classes are resolutions, cochains, chain maps etc). The classes
also include a Cython wrapper for C-MeatAxe.
- Finding generators and algebraic relations for the cohomology ring
involves Gröbner bases computed with Singular.
- At some point, i also use LinBox for Gauss algorithm.
- Eventually, the output is a graded-commutative quotient ring in
Singular.
The project works, but definitely it isn't finished yet, there are
still many things that ought to be improved.
I don't know if William should mention a not-yet-finished project, but
i do think it is a nice example of a Sage project.
And, by the way, i do think that the main emphasis of the talk should
be "Sage allows for easy and conceptual programming based on a wide
range of high quality math software", so
+1 to Roman Pearce.
It is good that Sage is free, but at least for me it matters most that
it is both easy to use and very powerful.
Cheers
Simon
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
