removed unnecessary constraint
Unified faugere4 algorithm