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
_




Public


Readonly Shareds
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

Writable Shareds
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

Features
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)

The Sather Home Page