|
5.1.50 homog
Syntax:
homog ( ideal_expression )
homog ( module_expression )
Type:
- int
Purpose:
- tests for homogeneity: returns 1 for homogeneous input, 0 otherwise.
Note:
- If the current ring has a weighted monomial ordering,
homog tests for weighted homogeneity w.r.t. the given weights.
Syntax:
homog ( polynomial_expression, ring_variable )
homog ( vector_expression, ring_variable )
homog ( ideal_expression, ring_variable )
homog ( module_expression, ring_variable )
Type:
- same as first argument
Purpose:
- homogenizes polynomials, vectors, ideals, or modules by multiplying
each monomial with a suitable power of the given ring variable.
Note:
- If the current ring has a weighted monomial ordering,
homog computes the weighted homogenization w.r.t. the given weights.
The homogenizing variable must have weight 1.
Example:
See
ideal;
module;
poly;
vector.
|