description:
non-Abelian-algebra(sp, ket, sp)
a minimalistic implementation of non Abelian algebra over kets
examples:
non-Abelian-algebra(|a>, |+>, |b>)
|a> + |b>
non-Abelian-algebra(3|a>, |*>, 5|b>)
15|a*b>
non-Abelian-algebra(2|a> + 3|b>, |*>, 5|c> + 7|d>)
10|a*c> + 14|a*d> + 15|b*c> + 21|b*d>
non-Abelian-algebra(|a> + |b>, |^>, |3>)
|a*a*a> + |a*a*b> + |a*b*a> + |a*b*b> + |b*a*a> + |b*a*b> + |b*b*a> + |b*b*b>
see also:
algebra, arithmetic