Formula A.4.33 from https://arxiv.org/abs/1205.5935 is currently commented out in the tests:
# TODO this is failing for now
# @test (A₁₋ᵣ * B * (A₁₋ᵣ)ǂ) ∧ (A₁₋ᵣ * C * (A₁₋ᵣ)ǂ) == A₁₋ᵣ.norm()^2 * A₁₋ᵣ * (B ∧ C) * (A₁₋ᵣ)ǂ
galgebra 0.6.0 changed norm() and norm2() to return absolute values of quadratic forms. Worth re-testing whether this makes A.4.33 pass now.
If not, the failure may be a symbolic simplification issue — galgebra may not be reducing the expression far enough for == to hold, even if the identity is mathematically correct.
Formula A.4.33 from https://arxiv.org/abs/1205.5935 is currently commented out in the tests:
galgebra 0.6.0 changed
norm()andnorm2()to return absolute values of quadratic forms. Worth re-testing whether this makes A.4.33 pass now.If not, the failure may be a symbolic simplification issue — galgebra may not be reducing the expression far enough for
==to hold, even if the identity is mathematically correct.