Метод |
Описание |
|
dataProviderForInverse ( ) |
|
|
dataProviderForInverseProductIsReverseProductOfInverses ( ) |
|
|
dataProviderForKroneckerProductDeterminant ( ) |
|
|
dataProviderForMatrixTimesIdentityIsOriginalMatrix ( ) |
|
|
dataProviderForMultiplicationIsAssociative ( ) |
|
|
dataProviderForMultiplicationIsDistributive ( ) |
|
|
dataProviderForOneSquareMatrix ( ) |
|
|
dataProviderForScalarMultiplicationOrder ( ) |
|
|
dataProviderForScalarMultiplicationOrderAddition ( ) |
|
|
dataProviderForSolve ( ) |
|
|
dataProviderForSymmetric ( ) |
|
|
dataProviderForThreeMatrices ( ) |
|
|
dataProviderForTwoSquareMatrices ( ) |
|
|
testDeterminantProductSameAsProductOfDeterminants ( array $A, array $B ) |
det(AB) = det(A)det(B)
Determinant of product of matrices is the same as the product of determinants. |
|
testDeterminantSameAsDeterminantOfTranspose ( array $A ) |
det(A) = det(Aᵀ)
Determinant of matrix is the same as determinant of transpose. |
|
testInverseOfInverseIsOriginalMatrix ( array $A ) |
Axiom: (A⁻¹)⁻¹ = A
Inverse of inverse is the original matrix. |
|
testInverseProductIsReverseProductOfInverses ( array $A, array $B ) |
(AB)⁻¹ = B⁻¹A⁻¹
The inverse of a product is the reverse product of the inverses. |
|
testInverseWithLUDecompositionInverse ( array $A ) |
(PA)⁻¹ = (LU)⁻¹ = U⁻¹L⁻¹
Inverse of the LU decomposition equation is the inverse of the other side. |
|
testKroneckerProductAssociativity ( array $A, array $B, array $C ) |
Axiom: (A ⊗ B) ⊗ C = A ⊗ (B ⊗ C)
Kronecker product associative |
|
testKroneckerProductBilinearity1 ( array $A, array $B, array $C ) |
Axiom: A ⊗ (B + C) = A ⊗ B + A ⊗ C
Kronecker product bilinearity |
|
testKroneckerProductBilinearity2 ( array $A, array $B, array $C ) |
Axiom: (A + B) ⊗ C = A ⊗ C + B ⊗ C
Kronecker product bilinearity |
|
testKroneckerProductDeterminant ( array $A, array $B ) |
Axiom: det(A ⊗ B) = det(A)ᵐ det(B)ⁿ
Determinant of Kronecker product - where A is nxn matrix, and b is nxn matrix |
|
testKroneckerProductInverse ( array $A, array $B ) |
Axiom: (A ⊗ B)⁻¹ = A⁻¹ ⊗ B⁻¹
Inverse of Kronecker product |
|
testKroneckerProductScalarMultiplication ( array $A, array $B ) |
Axiom: (kA) ⊗ B = A ⊗ (kB) = k(A ⊗ B)
Kronecker product scalar multiplication |
|
testKroneckerProductTranspose ( array $A, array $B ) |
Axiom: (A ⊗ B)ᵀ = Aᵀ ⊗ Bᵀ
Transpose of Kronecker product |
|
testLUDecompositionAEqualsPInverseLU ( array $A ) |
A = P⁻¹LU |
|
testLUDecompositionPAEqualsLU ( array $A ) |
PA = LU
Basic LU decomposition property that permutation matrix times the matrix is the product of the lower and upper decomposition matrices. |
|
testLUDecompositionPPTransposeEqualsIdentity ( array $A ) |
PPᵀ = I = PᵀP
Permutation matrix of the LU decomposition times the transpose of the permutation matrix is the identity matrix. |
|
testMatrixTimesIdentityIsOriginalMatrix ( array $A ) |
Axiom: AI = A = IA
Matrix multiplied with the identity matrix is the original matrix. |
|
testMatrixTimesInverseIsIdentity ( array $A, array $A⁻¹ ) |
Axiom: AA⁻¹ = I = A⁻¹A
Matrix multiplied with its inverse is the identity matrix. |
|
testMultiplicationIsAssociative ( array $A, array $B, array $C ) |
Axiom: (AB)C = A(BC)
Matrix multiplication is associative |
|
testMultiplicationIsDistributive ( array $A, array $B, array $C ) |
Axiom: A(B + C) = AB + AC
Matrix multiplication is distributive |
|
testPInverseEqualsPTranspose ( array $A ) |
P⁻¹ = Pᵀ
Inverse of the permutation matrix equals the transpose of the permutation matrix |
|
testScalarMultiplcationOrder ( array $A, array $B, integer $r ) |
Axiom: r(AB) = (rA)B = A(rB)
Order of scalar multiplication does not matter. |
|
testScalarMultiplicationOfTransposeOrder ( array $A ) |
(rA)ᵀ = rAᵀ
Scalar multiplication order does not matter for transpose |
|
testScalarMultiplicationOrderAddition ( array $A, array $B, integer $r ) |
Axiom: r(A + B) = rA + rB
Order of scalar multiplication does not matter. |
|
testSolveEquationForZero ( array $A, array $b, array $x, array $zeros ) |
Axiom: Ax - b = 0
Matrix multiplied with unknown x vector subtract solution b is 0 |
|
testSolveInverseBEqualsX ( array $A, array $b, array $x, array $zeros ) |
Axiom: x = A⁻¹b
Matrix multiplied with unknown x vector subtract solution b is 0 |
|
testSymmetricEqualsTranspose ( array $A ) |
Axiom: A = Aᵀ
Symmetric matrix is the same as its transpose |
|
testSymmetricInverseTranposeEqualsIdentity ( array $A ) |
Axiom: A⁻¹Aᵀ = I
Symmetric matrix inverse times tranpose equals identity matrix |
|
testTraceIsSameAsTraceOfTranspose ( array $A ) |
tr(A) = tr(Aᵀ)
Trace is the same as the trace of the transpose |
|
testTraceOfProductIsSameRegardlessOfOrderMultiplied ( array $A, array $B ) |
tr(AB) = tr(BA)
Trace of product does not matter the order they were multiplied |
|
testTransposeOfInverseIsInverseOfTranspose ( array $A ) |
(A⁻¹)ᵀ = (Aᵀ)⁻¹
The transpose of the inverse is the inverse of the transpose. |
|
testTransposeOfTransposeIsOriginalMatrix ( array $A ) |
(Aᵀ)ᵀ = A
The transpose of the transpose is the original matrix. |
|
testTransposeProductIsProductOfTranposesInReverseOrder ( array $A, array $B ) |
(AB)ᵀ = BᵀAᵀ
Transpose of a product of matrices equals the product of their transposes in reverse order. |
|
testTransposeSumIsSameAsSumOfTransposes ( array $A, array $B ) |
(A + B)ᵀ = Aᵀ + Bᵀ
Transpose of sum is the same as sum of transposes |
|