|
5.1.139 stdhilb
Procedure from library standard.lib (see standard_lib).
- Syntax:
stdhilb ( ideal_expression )
stdhilb ( module_expression )
stdhilb ( ideal_expression, intvec_expression )
stdhilb ( module_expression, intvec_expression )
stdhilb ( ideal_expression, list of string_expressions,
and intvec_expression )
- Type:
- type of the first argument
- Purpose:
- Compute a Groebner basis of the ideal/module in the basering by
using the Hilbert driven Groebner basis algorithm.
If an argument of type string, stating
"std" resp. "slimgb" ,
is given, the standard basis computation uses std or
slimgb , otherwise a heuristically chosen method (default)
If an optional second argument w of type intvec is given, w is used
as variable weights. If w is not given, it is computed as w[i] =
deg(var(i)). If the ideal is homogeneous w.r.t. w then the
Hilbert series is computed w.r.t. to these weights.
- Theory:
- If the ideal is not homogeneous compute first a Groebner basis
of the homogenization [w.r.t. the weights w] of the ideal/module,
then the Hilbert function and, finally, a Groebner basis in the
original ring by using the computed Hilbert function. If the given
w does not coincide with the variable weights of the basering, the
result may not be a groebner basis in the original ring.
- Note:
- 'Homogeneous' means weighted homogeneous with respect to the weights
w[i] of the variables var(i) of the basering. Parameters are not
converted to variables.
Example:
See also:
groebner;
slimgb;
std;
stdfglm.
|