Hello, I have been working on computational Groebner bases and I wanted to know how and why homgenization can speed up the BuchBerger algorithm. And is there is an amended algorithm for homogenized ideals.
Any help would be most appreciated.
Thank you
Groebner