Скучно?
Нечем заняться?

Базис Гребнера - несколько часов (а в запущенных случаях - еще и дней!) интереснейшего времяпрепровождения!..