|
7.7.18.0. ratstd
Procedure from library ratgb.lib (see ratgb_lib).
- Usage:
- ratstd(I, n [,eng]); I an ideal/module, n an integer, eng an optional integer
- Return:
- ring
- Purpose:
- compute the Groebner basis of I in the Ore localization of
the basering with respect to the subalgebra, generated by first n variables
- Assume:
- the variables of basering are organized in two blocks and
- the first block of length n contains the elements with respect to which one localizes,
- the basering is equipped with the elimination block ordering for the variables
in the second block
- Note:
- the output ring C is commutative. The ideal
rGBid in C
represents the rational form of the output ideal pGBid in the basering.
- During the computation, the D-dimension of I and the corresponding
dimension as K(x)-vector space of I are computed and printed out.
- Setting optional integer eng to 1, slimgb is taken as Groebner engine
- Display:
- In order to see the steps of the computation, set printlevel to >=2
Example:
|