This implies that, unless if most polynomials appearing in the input are linear, it may not solve problems with more than four variables.
Αυτό σημαίνει ότι, εκτός αν τα περισσότερα πολυώνυμα που εμφανίζονται στην είσοδο είναι γραμμικά, δεν μπορεί να λύσει τα προβλήματα με περισσότερες από τέσσερις μεταβλητές.