|
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:
|