|
D.8.1.14 idealSplit
Procedure from library presolve.lib (see presolve_lib).
- Usage:
- idealSplit(id,timeF,timeS); id ideal and optional
timeF, timeS integers to bound the time which can be used
for factorization resp. standard basis computation
- Return:
- a list of ideals such that their intersection
has the same radical as id
Example:
|