Thanks for this, Simon. A while ago (Sage Days 10 in Nancy in 2008, in fact) I said I was interested in hooking my GluCat Clifford algebra implementation into the Coercion model of Sage. Well, I suppose it is now Coercion and Categories. I already have a fairly basic Cython interface, but nothing like what you have described here. I suppose my Clifford algebras over the Real numbers would be in the category of associative algebras over a field. My GluCat library also implements other products of two elements. Besides * for the Clifford product, there is ^ for the Grassmann product, & for the Hestenes inner product, and % for the left contraction.
Over the next few months, I will have a crack at trying to produce a working interface, and will comment on any difficulties and gaps I encounter. Is this mailing list (but not this thread) the right place to do so? Best regards, 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
