class GBASE_INTI
****

__reduced_minimal_strong_Groebner_base_for_ideal_in_Z[x,y,z,...]
Grobner basis in Z[x,y,..]. Use as: glist:=GBASE_INTI::getGBaseI([f1,f2,f3,...])
__K.Kodama_2000-02-04__Ruby_first_version
_
__This_module_is_distributed_freely_in_the_sence_of_
__GPL(GNU_General_Public_License).




Public


Readonly Shareds
shared GBase:ARRAY{POLY}; .. Included as GBase
**** sorted decreasing order ">".
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
**** sorted decreasing order ">".
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
getGBase(fList:ARRAY{POLY}):ARRAY{POLY} .. Included as getGBase
getGBaseI(fList:ARRAY{POLY}):ARRAY{POLY} .. Included as getGBaseI
makeGBase .. Included as makeGBase
**** make Grobner basis
makeGBaseI .. Included as makeGBaseI
**** make Grobner basis
makeMinimalGBase .. Included as makeMinimalGBase
makeMinimalLcGBase .. Included as makeMinimalLcGBase
**** make lc = 1
makeMinimalStrongGBI .. Included as makeMinimalStrongGBI
makeReducedGBase .. Included as makeReducedGBase
**** Reduced Grobner basis is canonical.
makeStrongGBI .. Included as makeStrongGBI
**** make strong Grobner basis
reductionSameLpI .. Included as reductionSameLpI
searchSaturatedSubsetI(i:CARD, lcmP:POLY) .. Included as searchSaturatedSubsetI

The Sather Home Page