Rationalizing Denominators Using Gröbner Bases

Algorithm 1

Buchberger algorithm [14].

	Input: .
	Output: , is a Gröbner basis of .
	Initialization: , .
	When
	select
	, is reductive with respect to .
	If , then