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). |
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 |
---|
**** |
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 |
---|
**** |
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 |
---|