@canonicalise does not honor ImplicitIndex

« cadabra project page

{a,b}::Indices{vector}. {a,b}::Integer(0..3). \Gamma_{a}::ImplicitIndex. \Gamma_{a}\Gamma_{b}-\Gamma_{b}\Gamma_{a}; @prodsort!(%); @canonicalise!(%); @collect_terms!(%);

leads to zero. This is because @canonicalise does not honor ImplicitIndex. The logic behind that property is slightly skewed; the TODO file contains ideas on how to fix this properly.

Details

Id: f896ffe43c8b780b98fde4d37b71d683af775a99
Type: bugfix
Creation time: 2009-01-03 00:42 GMT
Creator: Kasper Peeters <kasper.peeters@...>
Release: unassigned
Component: cadabra
Status: unstarted

Issue log

2009-01-03 00:42 GMT Kasper Peeters <kasper.peeters@...> created