Manuals/calci/MATRIXWITH

MATRIXWITH (Size,Properties,Seed,GivenMatrix)

• $Size$ is the order of the matrix.
• $Properties$ is any type of the matrix.
• $Seed$ maximum limit of the matrix entries.
• $GivenMatrix$ is any matrix.

Description

• This function shows the different types of matrix with given properties and order.
• In $MATRIXWITH(Size,Properties,Seed,GivenMatrix)$, $Size$ is the order of the matrix.
• $Properties$ is the type of the matrix.
• <mathSeed</math> is the maximum limit of the matrix numbers.
• $GivenMatrix$ is any matrix without satisfies the given properties.
• Here this function will display more types of matrix with in the given seed value.
• Suppose we want to get a positive matrix with the limit number 7 and the given matrix are having negative numbers.
• Then the negative numbers also convert in to positive numbers.
• Types of the matrix are given below:

1.Positive (Decimals)
2.Negative (Decimals) 
3.Positive:Integer 
4.Negative:Integer 
5.Zero 
6.Integer

See Also

• MDETERM
• MINVERSE
• MMULT

References

• Integer Matrix

• List of Main Z Functions
• Z3 home