RegularChains[MatrixTools][IsZeroMatrix] - check whether a matrix is null modulo a regular chain
|
Calling Sequence
|
|
IsZeroMatrix(A, rc, R)
|
|
Parameters
|
|
A
|
-
|
square Matrix with coefficients in the ring of fractions of R
|
rc
|
-
|
regular chain of R
|
R
|
-
|
polynomial ring
|
|
|
|
|
Description
|
|
•
|
The command IsZeroMatrix(A, rc, R) returns true if and only if A is null modulo the saturated ideal of rc.
|
•
|
It is assumed that rc is strongly normalized.
|
•
|
This command is part of the RegularChains[MatrixTools] package, so it can be used in the form IsZeroMatrix(..) only after executing the command with(RegularChains[MatrixTools]). However, it can always be accessed through the long form of the command by using RegularChains[MatrixTools][IsZeroMatrix](..).
|
|
|
Examples
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
|
|
See Also
|
|
Chain, Empty, Equations, IsStronglyNormalized, JacobianMatrix, LowerEchelonForm, MatrixInverse, MatrixMultiply, MatrixOverChain, MatrixTools, NormalForm, PolynomialRing, RegularChains
|
|
Download Help Document
Was this information helpful?