Two-cofactor relations and their associated symmetry types have been studied for many years. While ordinary symmetries are simply transitive permitting them to be combined into clusters of variables, other types of symmetries ...

The problem of detecting virtually any type of symmetry is shown to be co-NP-complete. We start with totally symmetric functions, then extend the result to partially symmetric functions, then to more general cofactor ...