/** * 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); }