RegularChains[MatrixTools] - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : RegularChains : MatrixTools Subpackage : RegularChains/MatrixTools/IsZeroMatrix

RegularChains[MatrixTools]

  

IsZeroMatrix

  

check whether a matrix is null modulo a regular chain

 

Calling Sequence

Parameters

Description

Examples

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

withRegularChains:withChainTools:withMatrixTools:

RPolynomialRingy,z

Rpolynomial_ring

(1)

rcEmptyR

rcregular_chain

(2)

rcChainz4+1,y2z2,rc,R:

Equationsrc,R

y2z2,z4+1

(3)

mMatrix1,y+z,0,yz

m1y+z0yz

(4)

IsZeroMatrixm,rc,R

false

(5)

See Also

Chain

Empty

Equations

IsStronglyNormalized

JacobianMatrix

LowerEchelonForm

MatrixInverse

MatrixMultiply

MatrixOverChain

MatrixTools

NormalForm

PolynomialRing

RegularChains