#13268: Proposal of a DifferentialAlgebra package, relying on the C BLAD
libraries
-------------------------------------+-------------------------------------
Reporter: boulier | Owner: boulier
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.12
Component: packages: | Resolution:
optional | Merged in:
Keywords: package, | Reviewers: Charles Bouillaguet,
differential algebra, elimination | Karl-Dieter Crisman
theory | Work issues:
Authors: Nicolas M. | Commit:
Thiéry, François Boulier, Charles | Stopgaps:
Bouillaguet |
Report Upstream: N/A |
Branch: |
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by boulier):
Dear vbraun,
Thank you for your feedback. I really appreciate it.
There are two ways to "view" differential algebra. Either you view it as
an algebraic theory and then, you are right, the starting point should be
a differential ring (that's the way Ritt and Kolchin books are written).
Or you take a more engineering point of view: the starting point is the
system of equations to be solved and differential algebra is one tool
among others (such as numerical integration, bifurcation theory, ...) to
investigate them. It is the point of view which was chosen for the design.
Indeed, I believe this point of view is likely to be the most appealing
for many scientists.
The ideal scenario could look like this: A Sage user first enters the
differential equations he/she wants to study. After many computations,
he/she decides that differential algebra might be useful. He/she loads the
package and applies its methods over the equations. He/she is very happy
not to have convert all the time objects from one data type to another
one.
I hope my explanations make sense :-)
All the best,
François
--
Ticket URL: <http://trac.sagemath.org/ticket/13268#comment:17>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" 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-trac.
For more options, visit https://groups.google.com/groups/opt_out.
