170171172173174175176177178179180
} Expression a = reduced.leadCoefficient(); if (a instanceof ANumber && ((ANumber) a).isNegative()) { reduced = reduced.negate(); } return new Equality(reduced, Naturals.zero()); } }