Подпакет Recognize содержит определение одноименной с ним функции в двух формах:
Recognize [x,n,t] — находит полином переменной t степени, большей п, такой, что х является его корнем;
Recognize [х, n, t, k] — находит полином переменной t степени, большей п, такой, что х является его корнем, и со штрафным весовым коэффициентом k, предназначенным для подавления генерации полиномов высших степеней.