MPA:multi precision arithmetic

### Program Information

Name: MPA:multi precision arithmetic
Domain: Numerical program
Functionality: Converting the general relations of operations as metamorphic relations.
Input: Three numbers $i,j,k$ where $\{i,j,k \in R\}$
Output: Multiplication result of $(i,j)$ is $k$.

#### Reference

  Metamorphic Relations to Improve the Test Accuracy of Multi Precision Arithmetic Software Applications https://doi.org/10.1109/ICACCI.2014.6968586;

### MR Information

#### MR1------

Description:
Property: $i*j=k \Leftrightarrow (i*j)*x=k*x$ where $\forall \{(i,j,k) \in N$ and $(i,j,k) \in Q\}$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR2------

Description:
Property: $i*j=k \Leftrightarrow k/j=i \&\& k/i=j$ where $\forall \{(i,j,k) \in N$ and $(i,j,k) \in Q\}$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR3------

Description:
Property: $i*j=k \Leftrightarrow ((i*j/n)+(i*j/n))=(k/2)*n$ where $\forall \{(i,j,k,n) \in N$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR4------

Description:
Property: $i*j=k \Leftrightarrow (i+1)*(j-1)=(i*j)-i+j-1=k-(i+1-j)$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR5------

Description:
Property: $i/j=k \Leftrightarrow (i/j)*x=k*x \in \{(i,j,k) \in N$ and $(i,j,k) \in Q\}$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR6------

Description:
Property: $i/j=k \Leftrightarrow k*j=i \&\& i/k=j \in \{(i,j,k) \in N$ and $(i,j,k) \in Q\}$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

#### MR7------

Description:
Property: $i/j=k \Leftrightarrow (((i/j)*n)+((i/j)*n))=(k*2)/n \in \{(i,j,k,n) \in N$
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:
Insert title here