|
7.7.4.0. inForm
Procedure from library dmodapp.lib (see dmodapp_lib).
- Usage:
- inForm(I,w); I ideal or poly, w intvec
- Return:
- ideal, generated by initial forms of generators of I w.r.t. w, or
poly, initial form of input poly w.r.t. w
- Purpose:
- computes the initial form of an ideal or a poly w.r.t. the weight w
- Note:
- The size of the weight vector must be equal to the number of variables
of the basering.
Example:
|