Macaulay2 » Documentation
Packages » OIGroebnerBases » isZero

next | previous | forward | backward | up | index | toc

isZero -- check if a free OI-module is zero

Usage:

isZero F
Inputs:
- F, an instance of the type FreeOIModule,
Outputs:
- a Boolean value,

Description

Checks if a free OI-module is the zero module.

i1 : P = makePolynomialOIAlgebra(2, x, QQ);

i2 : F = makeFreeOIModule(e, {1,2}, P);

i3 : G = makeFreeOIModule(d, {}, P);

i4 : isZero F

o4 = false

i5 : isZero G

o5 = true

Ways to use isZero:

isZero(FreeOIModule)
isZero(FreeOIModuleMap) -- check if a free OI-module map is zero
isZero(VectorInWidth) -- check if an element of a free OI-module is zero

For the programmer

The object isZero is a method function.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/OIGroebnerBases.m2:2085:0.