occurs within event Theoretical effectivity and practical effectivity of Groebner bases, Rikkyo Univer