A függvények polinommal való reprezentálhatóságának problémája régóta ismert. A Lagrange-interpolációval belátható, hogy bármely véges test feletti függvény előáll polinomként. A dolgozatban véges kommutatív gyűrűkre adok egy szükséges és elegendő feltételt egy függvény polinommal való reprezentálhatóságára, illetve egy algoritmust is adok, amely az eddig ismerteknél gyorsabban eldönti egy művelettáblával adott függvényről, hogy polinom vagy sem.