[math-fun] Farkas' lemma --- affine / partial versions?