isHomogeneous(FreeOIModuleMap) -- checks if a free OI-module map is homogeneous

• Function: isHomogeneous

• Usage:

  isHomogeneous phi

• Inputs:
  • phi, an instance of the type FreeOIModuleMap,
• Outputs:
  • a Boolean value,

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

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

i3 : installGeneratorsInWidth(F, 3);

i4 : b = x_(1,2)*x_(1,1)*e_(3,{2},1)+x_(2,2)*x_(2,1)*e_(3,{1,3},2);

i5 : C = oiRes({b}, 2);

i6 : phi = C.dd_1

o6 = Source: (e1, {5, 5}, {-4, -3}) Target: (e0, {3}, {-2})

o6 : FreeOIModuleMap

i7 : isHomogeneous phi

o7 = true