/**
* Axiom: A⁻¹Aᵀ = I
* Symmetric matrix inverse times tranpose equals identity matrix
* @dataProvider dataProviderForSymmetric
*/
public function testSymmetricInverseTranposeEqualsIdentity(array $A)
{
$A = MatrixFactory::create($A);
$A⁻¹ = $A->inverse();
$Aᵀ = $A->transpose();
$A⁻¹Aᵀ = $A⁻¹->multiply($Aᵀ);
$I = MatrixFactory::identity($A->getM());
$this->assertEquals($I, $A⁻¹Aᵀ);
$this->assertEquals($I->getMatrix(), $A⁻¹Aᵀ->getMatrix());
}
public function testIdentityExceptionNLessThanZero()
{
$this->setExpectedException('MathPHP\\Exception\\OutOfBoundsException');
MatrixFactory::identity(-1);
}
