id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
31744 ManifoldSubset: Propagate emptiness/nonemptiness using LP mkoeppe "Introduce a binary variable z_S for each subset S, z_S = 1 if nonempty, z_S = 0 if empty. Fix a variable z_S to this value if emptiness/nonemptiness of the set S is known.
If A is a subset of B, write a constraint z_A <= z_B.
If [A, B] is an open cover of C, write a constraint z_C <= z_A + z_B or z_C <= z_A + z_B - z_A_inter_B.
Then solving a linear or integer linear optimization problem maximizing/minimizing variables z_S can prove that S has to be empty or nonempty.
" enhancement new major sage-9.5 manifolds egourgoulhon gh-mjungmath tscrim yzh N/A