class GBASES_INTI |
---|
**** |
__reduced_minimal_strong_Grobner_base_for_ideal_in_Z[x] Use as: glist=getGBaseI([f1,f2,f3,...]) 2001-02-03 Sather version __K.Kodama_2000-02-04__Ruby_first_version _ |
shared GBase:ARRAY{POLY}; .. Included as GBase |
---|
shared S_list:A_PQ{PQMIN{POLY}}; .. Included as S_list |
---|
**** | queue of S-polynomial. |
shared StrongGb:ARRAY{POLY}; .. Included as StrongGb |
---|
shared wrap:PQMIN{POLY}; .. Included as wrap |
---|
shared GBase:ARRAY{POLY}; .. Included as GBase |
---|
shared S_list:A_PQ{PQMIN{POLY}}; .. Included as S_list |
---|
**** | queue of S-polynomial. |
shared StrongGb:ARRAY{POLY}; .. Included as StrongGb |
---|
shared wrap:PQMIN{POLY}; .. Included as wrap |
---|
absGB .. Included as absGB |
---|
getGBaseI(fList:ARRAY{POLY}):ARRAY{POLY} .. Included as getGBaseI |
---|
makeGBaseI .. Included as makeGBaseI |
---|
**** | make Grobner basis |
makeMinimalStrongGBI .. Included as makeMinimalStrongGBI |
---|
makeStrongGBI .. Included as makeStrongGBI |
---|
**** | make strong Grobner basis |
reductionSameLpI .. Included as reductionSameLpI |
---|
searchSaturatedSubsetI(i:INT, lcmD:INT) .. Included as searchSaturatedSubsetI |
---|
**** | lcmM::=lcmP.lp; lcmD:INT:=lcmP.degree; (c.f gbasem.sa) |