Mod

class proveit.numbers.Mod(dividend, divisor, *, styles=None)[source]

Bases: proveit.numbers.NumberOperation

Methods Summary

deduce_in_interval(self, \*\*defaults_config)

Prove that the “x mod b” is in the interval [0, b).

deduce_in_number_set(self, number_set, …)

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

Methods Documentation

deduce_in_interval(self, \*\*defaults_config)[source]

Prove that the “x mod b” is in the interval [0, b).

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

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 Mod 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.