[sage-devel] Re: Exterior algebra (again)
On Sep 24, 3:39 pm, Michael Brickenstein wrote:
> Hi!
> On 23 Sep., 11:07, mmarco wrote:
> > I have to do some computations in an exterior algebra, and i have seen
> > that it is not yet implemented in sage, but there is some work in that
> > direction. My question is: will this feature be implemented in sage
> > 4.1.2? If so, how complete will it be?.
>
> We have some ambitious plans for the week. I guess, as usually, the
> first version will not be complete. But we hope, to do the basic setup
> clean and to provide a clear way, how to add the missing pieces.
> Of course, we would welcome every help.
I'm also interested in exterior algebras, as well as Clifford algebra.
During Sage Days 10, I did a little work to try to integrate my GluCat
library ( http://glucat.sf.net ) into Sage, but only got as far as
having a working Cython interface ( http://wiki.sagemath.org/days10/CodingSprint
). What was missing was integration into the coercion system (
http://www.sagemath.org/doc/reference/coercion.html ). If/when you do
have exterior and Clifford algebras working, I'd very much like to
understand your coercion model. My model would have each Clifford
algebra R_{p,q} behave as if it was a subalgebra of the infinite
dimensional algebra R_{\infty,\infty}, and would have canonical
isomorphisms between R_{0,0} and R, R_{0,1} and C, and R_{0,2} and H.
Best, Paul
--~--~-~--~~~---~--~~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
-~--~~~~--~~--~--~---
[sage-devel] Re: Exterior algebra (again)
Hi! On 23 Sep., 11:07, mmarco wrote: > I have to do some computations in an exterior algebra, and i have seen > that it is not yet implemented in sage, but there is some work in that > direction. My question is: will this feature be implemented in sage > 4.1.2? If so, how complete will it be?. We have some ambitious plans for the week. I guess, as usually, the first version will not be complete. But we hope, to do the basic setup clean and to provide a clear way, how to add the missing pieces. Of course, we would welcome every help. Cheers, Michael --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~--~~~~--~~--~--~---
[sage-devel] Re: Exterior algebra (again)
Dear mmarco, as far as i know Burcin and Michael started integrating noncommutative Singular features and in particular, graded commutative (e.g. supercommutative and exterior) algebras into Sage (http://trac.sagemath.org/sage_trac/ticket/4539). Luckily there will be another meeting concerning this integration soon. Singular's noncommutative capabilities are described in the manual here: http://www.singular.uni-kl.de/Manual/latest/sing_356.htm#SEC397 Any feedback/requests/wishes/suggestions/possible user interface design or example Sage sessions/etc are greatly appreciated. Some requests concerning supercommutative algebras were made by Simon when this topic surfaced within another thread (at http://groups.google.com/group/sage-devel/browse_thread/thread/497bfc40ea5f17b8?pli=1) -- Best regards, Oleksandr On Sep 23, 11:07 am, mmarco wrote: > I have to do some computations in an exterior algebra, and i have seen > that it is not yet implemented in sage, but there is some work in that > direction. My question is: will this feature be implemented in sage > 4.1.2? If so, how complete will it be?. If no, any idea about when it > will be? > > I have considered making my own (quick, dirty and hacky) > implementation, but the news about it being worked on made me wait to > see what happens. > > Best. --~--~-~--~~~---~--~~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~--~~~~--~~--~--~---
