next up previous
: reduction-noH : Macro Operators : putUsages

reducedBase

base reducedBase reducedBase
<<reducedBase>> prunes redundant elements in the Grobner basis <<base>> and
returns <<reducedBase>>.
Ex. [(x^2+1). (x+1). (x^3).] reducedBase ---> [(x+1).]



Nobuki Takayama 平成20年1月30日