* Changed to use weighted elimination order.
* Changed not to change orderes after taking n-th elimination ideal.