class GBASES_INTI_L
****

__reduced_minimal_strong_Grobner_base_for_ideal_
in Laurent polynomial Z<x>.

Use as: glist=getGBaseIL([f1,f2,f3,...])




Public


Readonly Shareds
shared GBase:ARRAY{POLY}; .. Included as GBase
shared GPoly:POLY; .. Included as GPoly
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 GPoly:POLY; .. Included as GPoly
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
getGBaseIL(fList:ARRAY{POLY}):ARRAY{POLY} .. Included as getGBaseIL
getGBaseIL(fList:ARRAY{POLY},out kf:POLY):ARRAY{POLY} .. Included as getGBaseIL
makeGBaseI .. Included as makeGBaseI
**** make Grobner basis
makeGBaseI1L .. Included as makeGBaseI1L
**** 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)
shift0GBase:BOOL .. Included as shift0GBase

The Sather Home Page