|
D.5.2.5 Nonhyp
Procedure from library resbinomial.lib (see resbinomial_lib).
- Compute:
- The "ideal" generated by the non hyperbolic generators of J
- Return:
- lists with the following information
newcoef,newJ: coefficients and exponents of the non hyperbolic generators
totalhyp,totalgen: coefficients and exponents of the hyperbolic generators
flaglist: new list saying status of variables
- Note:
- the basering r is supposed to be a polynomial ring K[x,y],
in fact, we work in a localization of K[x,y], of type K[x,y]_y with y invertible variables.
Example:
|