@canonicalise does not honor ImplicitIndex
{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@...> |