header
Determinant of a matrix

Tag:
Edit edit   Starstar   Delete   Add Picture

Program Information

Name: Determinant of a matrix
Domain: Numerical program
Functionality: Calculating the determinant of a matrix.
Input: $A(a^1,\cdots,a^{k-1},a^k,a^{k+1},\cdots,a^n) for (k \in \{1,2,\cdots,n \}$:A matrix(Type: Matrix)
Output: det(A):The determinant of a matrix(Type: Real number)

Reference


     A Formal Model for Metamorphic Relation Decomposition http://dx.doi.org/10.1109/WCSE.2013.14 



MR Information

MR1------

Description:
Property:
Source input: $A_s$
Source output: $det(A_s)$
Follow-up input: $A_f$
Follow-up output: $det(A_f)$
Input relation: $A_f=A^T_s$
Output relation: $det(A_s)=det(A_f)$
Pattern:
Insert title here