DrudgeCAS / drudge / 17498685090

88%

master: 88%

Pull #22

github

Fix a issue of simplifying Kronecker deltas involving spins

The failed test in
`tests/spin_one_half_test.py::test_restricted_parthole_drudge_simplification`
is due to this issue. Specifically, when we have
`KroneckerDelta(SpinOneHalf(0), sigma0)` and `sigma0` is summed over
`Range('\\uparrow\\downarrow', 0, 2)`, it should simplify to 1, but it
didn't. The problem was, `Eq(SpinOneHalf(0), sigma0).simplify()`
lead to `Eq(0, sigma0)`, which messed up the following implementation in
`drudge/term.py::proc_delta`.

28 of 31 new or added lines in 5 files covered. (90.32%)

3779 of 4303 relevant lines covered (87.82%)

0.88 hits per line