Hi Ben
this example for maxima,
(C1) matchdeclare([i,j],integerp)$
(C2) tellsimpafter(s[i]^^2,1)$
(C3) defrule(tama,s[i].s[j],if (i>j) then -s[j].s[i] else (if (i=j)
then 1 else s[i].s[j]))$
(C4) apply1(sum(s[i],i,0,9).expand((sum(s[i],i,0,9))^^2).expand((sum(s[i],i,0,9))^^2),tama);
(D4) 100 (s + s + s + s + s + s + s + s + s + s )
9 8 7 6 5 4 3 2 1 0
I have worked on clifford algera since last year.
I think that various implementations are possible for maxima,but
atensor is not best.
I will open an implementation for this algebra at this autumn.
thank
Gosei Furuya (go_furuya@infoseek.jp)
>
> Hello,
>
> I was wondering if any effort has been made to implement Clifford or
> geometric algebra in Maxima? I have read that a package existed for
> Macsyma called 'atensor' that included Clifford algebra. The following
> link describes a very basic way to implement Clifford algebra, and
> describes 'atensor':
> http://www.clifford.org/anonftp/clf-alg/software/macsyma.txt
>
> Since the 'itensor' and 'ctensor' packages have been implemented in
> Maxima, is there a reason why 'atensor' has not? I'd appreciate anyones
> feedback on this.
>
> Thanks,
>
> Ben
>
>
>
> _______________________________________________
> Maxima mailing list
> Maxima@www.math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>
>