Containment/Redundancy Containment in issubset ininterior inrelativeinterior support_function Linearity detecthlinearity! detectvlinearity! detect_new_linearities dim Duplicates removeduplicates Redundancy isredundant removehredundancy removehredundancy! removevredundancy removevredundancy!