On Thu, Aug 28, 2008 at 11:04 AM, David Ketcheson <[EMAIL PROTECTED]> wrote:
>
> For now I have resorted to simply manipulating strings for what I
> want, which is simply to be able to do symbolic algebra with matrices
> and vectors.  I may be interested in developing this functionality
> myself for Sage.  What is the plan for symbolic algebra in sage?

It will be replaced by completely new code based on GiNaC as
soon as possible.  http://www.ginac.de/  Ginac does support non-commuting
symbols, since it's aimed at physics, and Ginac is very fast.

> Will 'var's eventually do everything?

Hopefully everything you need for the current computation.

> Will Sympy functionality replace var?

It depends.

By the way, if your expressions only involve polynomials in the noncommuting
symbols you may be able to use FreeAlgebra:

sage: R.<x,y> = FreeAlgebra(QQ,2)
sage: 1/2 + y*x
1/2 + y*x
sage: 1/2 + x*y
1/2 + x*y
sage: R.<x,y> = FreeAlgebra(SR,2)
sage: var('w,a,b')
(w, a, b)
sage: sin(a)*w*x + cos(b)^a*x^3*y
sin(a)*w*x + cos(b)^a*x^3*y

William

--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to