Problemi vezani za rešivost sistema jednačina
Problem
rešivosti sistema jednačina
Neka je dat sistem
polinomskih jednačina:
za neke polinome 
. Formirajmo ideal 
. Važi sledeća teorema:
Teorema. Neka je F algebarski zatvoreno polje. Sistem
jednačina 
je
rešiv akko 
.
Polinomi se unose kao suma termova. Za svaki term se prvo unosi koeficijent (ukoliko je on jednak 1 ne mora se uneti) i zatim svaka promenljiva i njen stepen.
Važno je da se svaka promenljiva unosi u zagradama, a pre samog stepena unosi se znak ^.