Top
Back: ratgb_lib
Forward: dmodloc_lib
FastBack: nchomolog_lib
FastForward: dmodloc_lib
Up: ratgb_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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:
 

Top Back: ratgb_lib Forward: dmodloc_lib FastBack: nchomolog_lib FastForward: dmodloc_lib Up: ratgb_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.