b=isWellDefined(n,d)
It is checked that the derivation $(d,f): M \ \to\ L$ maps the ideal of relations in $M$ to 0 up to degree $n$. More precisely, if $M=F/I$ where $F$ is free, and $p$ is the projection $F$ \ \to\ $M$, then the derivation $(d*p,f*p): F \ \to\ L$ maps $I$ to 0 in degrees $\le\ n$. If $n$ is big enough and $I$ is a list, then it is possible to get the information "the derivation is well defined for all degrees".
|
|
|
|
|
|
|
|
|
|
|
The source of this document is in GradedLieAlgebras/doc2.m2:2040:0.