MathPHP\LinearAlgebra\MatrixAxiomsTest::testKroneckerProductInverse PHP Method

testKroneckerProductInverse() public method

Axiom: (A ⊗ B)⁻¹ = A⁻¹ ⊗ B⁻¹ Inverse of Kronecker product
    public function testKroneckerProductInverse(array $A, array $B)
    {
        $A = MatrixFactory::create($A);
        $B = MatrixFactory::create($B);
        $A⁻¹ = $A->inverse();
        $B⁻¹ = $B->inverse();
        $A⁻¹⊗B⁻¹ = $A⁻¹->kroneckerProduct($B⁻¹);
        $⟮A⊗B⟯⁻¹ = $A->kroneckerProduct($B)->inverse();
        $this->assertEquals($A⁻¹⊗B⁻¹->getMatrix(), $⟮A⊗B⟯⁻¹->getMatrix());
    }
MatrixAxiomsTest