Thanks a lot, John! (and sorry for the delay in answering)
I see the point: it is simply undefined.
But I do not quite agree with you in that "[one] would not expect a
computer algebra system to give the same answers with simple
substitutions in the two orders": ideally, I would expect that the
a
On Friday, August 1, 2014 11:23:27 AM UTC-7, John H Palmieri wrote:
>
> Have you looked at http://trac.sagemath.org/ticket/15300? This is at
> attempt at adding Clifford algebras to Sage. I don't know if it does what
> you want, but you should take a look.
>
Independent of that, I think it's a g
On Saturday, July 26, 2014 12:21:38 PM UTC-7, Stephen Kauffman wrote:
>
> I attempted to create a Clifford Algebra for space-time with the gamma
> matrices using the FreeAlgebraQuotient in analogy to the example for
> constructing a quarternion algebra from the documentation with the code:
>
H
On Thursday, July 31, 2014 8:09:04 PM UTC-7, Stephen Kauffman wrote:
>
> # examples
> cliff_elt = g3*g2*g1*g0
> [ST.free_algebra()(str(cliff_elt)).coefficient(mon) for mon in
> ST.monomial_basis()] # st_elt.coefficients() results in error since
> it has no such attribute
>
ST is constructe
caught a bug Integer(ii+nn^2) in MonsMats() should be Integer(ii+2**nn)
just happens to work out with nn=4 oops
On Thu, Jul 31, 2014 at 11:08 PM, Stephen Kauffman
wrote:
> Thanks for the tips. I got rid of the execs. Made it more general to
> include non-othogonal generators and metric. Did som
