Home Online Manual
Top
Back: lpSubstitute
Forward: freegb_lib
FastBack:
FastForward:
Up: fpaprops_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.10.3.8 lpCalcSubstDegBound

Procedure from library fpaprops.lib (see fpaprops_lib).

Usage:
lpCalcSubstDegBound(I,s1,s2); I ideal of polynomials, s1 ideal of variables to replace, s2 ideal of polynomials to replace with

Return:
int, the min degbound required to perform all of the substitutions

Assume:
- basering is a Letterplace ring

Note:
convenience method

Example:
 
LIB "fpaprops.lib";
ring r = 0,(x,y,z),dp;
def R = freeAlgebra(r, 4);
setring R;
ideal I = 3*x*x+y*x, x*y*x - z;
ideal s1 = x, y; // z --> z
ideal s2 = y*z*z, x; // i.e. x --> yzz and y --> x
// the substitution probably needs a higher degbound
lpCalcSubstDegBound(I,s1,s2);
==> 10
lpCalcSubstDegBound(I[1],s1,s2);
==> 9