NumberOrderingRelation

class proveit.numbers.NumberOrderingRelation(operator, lhs, rhs, *, styles)

Bases: proveit.TransitiveRelation

Methods Summary

StrongRelationClass()
WeakRelationClass()
derive_added(self, other_ordering_relation)	Add this ordering relation with another ordering relation.
derive_shifted(self, addend[, addend_side, …])
side_effects(self, judgment)	In addition to the TransitiveRelation side-effects, also attempt derive_negated, derive_relaxed (if applicable), and derive_reversed.
square_both_sides(self, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
square_root_both_sides(self, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.

Methods Documentation

static StrongRelationClass()

static WeakRelationClass()

derive_added(self, other_ordering_relation, assumptions=frozenset())

Add this ordering relation with another ordering relation. For example, if self is (a < b) and other_ordering_relation is (c < d), then this derives and returns (a + c < b + d).

derive_shifted(self, addend, addend_side='right', assumptions=frozenset())

side_effects(self, judgment)

In addition to the TransitiveRelation side-effects, also attempt derive_negated, derive_relaxed (if applicable), and derive_reversed.

square_both_sides(self, \*\*defaults_config)

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.

square_root_both_sides(self, \*\*defaults_config)

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.