gpkit.tests.t_sub.TestNomialMapSubs.test_subinplace_zero (from gpkit.tests.t_sub.TestNomialMapSubs-20230923212128)
Warning: SignomialConstraint x + y >= z became the tautological constraint 0 <= 1 + x after substitution.