Skip to content

Passed

gpkit.tests.t_nomials.TestPosynomial.test_simplification (from gpkit.tests.t_nomials.TestPosynomial-20210624155807)

Took 0 ms.

Standard Output

Warning: SignomialConstraint x + y ≥ z became the tautological constraint 0 <= 1 + x after substitution.
	

Standard Error