Top
Back: compregb_lib
Forward: base2str
FastBack: all_lib
FastForward: general_lib
Up: compregb_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.2.1 cgs

Procedure from library compregb.lib (see compregb_lib).

Usage:
cgs(Polys,Vars,Paras,RingVar,RingAll); Polys an ideal, Vars, the list of variables, Paras the list of parameters, RingVar the ring with Paras as parameters, RingAll the ring with Paras as variables (RingAll should be the current ring)

Return:
a list L of lists L[i] of a polynomial and an ideal:
L[i][1] the polynomial giving the condition on the parameters L[i][2] the Groebner basis for this case

Example:
 


Top Back: compregb_lib Forward: base2str FastBack: all_lib FastForward: general_lib Up: compregb_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.