>>238
実数係数の多項式をx^2+1で割った余りの全体。