eliminateRedundant function

Eliminate redundant linear constraints