ModAbs

class proveit.numbers.ModAbs(value, divisor, *, styles=None)[source]

Bases: proveit.numbers.NumberOperation

Methods Summary

deduce_in_number_set(self, number_set, …)

Given a number set number_set (such as Integer, Real, etc), attempt to prove that the given ModAbs expression is in that number set using the appropriate closure theorem.

latex(self, \*\*kwargs)

Return a latex-formatted representation of the Expression.

string(self, \*\*kwargs)

Return a string representation of the Expression.

Methods Documentation

deduce_in_number_set(self, number_set, \*\*defaults_config)[source]

Given a number set number_set (such as Integer, Real, etc), attempt to prove that the given ModAbs expression is in that number set using the appropriate closure theorem.

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

latex(self, \*\*kwargs)[source]

Return a latex-formatted representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).

string(self, \*\*kwargs)[source]

Return a string representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).