B=isLPP I
Given an ideal I in a polynomial ring R, isLPP checks that I is Artinian and that the power sequence is weakly increasing. Then isLPP computes bases of R/I in each degree up through the maximum degree of a minimal generator of I to determine whether I is an LPP ideal in R.
|
|
|
|
|
|
The object isLPP is a method function.