On Fri, 13 Feb 2009, Daniel Kraft wrote:
Henning Thielemann wrote:
DoCon?
hm, I've only read a little on their webpage; what I was thinking of was to
implement a very basic package just to do some symbolic integration or
equation solving to be embedded in some other calculation, and DoCon sounds
like a more abstract, mathematical system.
So maybe there could still be some interest in a basic symbolic expression
package that could be backed by a CAS library like GiNaC or some other one
(better yet, pluggable) instead of imlementing a full CAS itself.
So it seems to be useful to make the distinction:
* Computer algebra is doing advanced arithmetic on advanced mathematical
objects like polynomials, Galois groups, function compositions (for
integration). This is what DoCon is about (integration excluded).
* Symbolic manipulation is what you are after, where symbolic
manipulation often involves computer algebra behind the scenes (i.e.
translating symbolic expressions to polynomials, function compositions)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
