isLinearType M
isLinearType(M,f)
A module or ideal $M$ is said to be ``of linear type'' if the natural map from the symmetric algebra of $M$ to the Rees algebra of $M$ is an isomorphism. It is known, for example, that any complete intersection ideal is of linear type.
This routine computes the reesIdeal of M. Giving the element f computes the reesIdeal in a different manner, which is sometimes faster, sometimes slower.
|
|
|
|
|
|
|
|
The object isLinearType is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/ReesAlgebra.m2:1207:0.