Limiting computation
Guest · Fri Apr 20, 2007 2:55 pm
I would like to run a limited groebner basis-type algorithm, where whenever an S-polynomial is generated it is discarded if it does not satisfy some property (typically the total degree of the leading term is higher than some constant).
Is this possible in Singular?
Is this possible in Singular?