BinarySequence

class proveit.numbers.BinarySequence(*bits, styles=None)

Bases: proveit.numbers.numerals.numeral.NumeralSequence

Methods Summary

as_int(self)
shallow_simplification(self, \*[, must_evaluate])	If the BinarySequence contains an ExprRange representing a repeated digit, expand it appropriately.
shallow_simplified(expr, \*args, \*\*kwargs)	Return an equivalent form of this expression derived via ‘shallow_simplification’.
single_bit_reduced(expr, \*args, \*\*kwargs)	Return an equivalent form of this expression derived via ‘single_bit_reduction’.
single_bit_reduction(self, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.

Methods Documentation

as_int(self)

shallow_simplification(self, \*, must_evaluate=False, \*\*defaults_config)

If the BinarySequence contains an ExprRange representing a repeated digit, expand it appropriately.

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

‘shallow_simplified’ returns the right-hand side of ‘shallow_simplification’. ‘shallow_simplify’, called on an InnerExpr of a Judgment, substitutes the right-hand side of ‘shallow_simplification’ for the inner expression.

shallow_simplified(expr, \*args, \*\*kwargs)

Return an equivalent form of this expression derived via ‘shallow_simplification’.

single_bit_reduced(expr, \*args, \*\*kwargs)

Return an equivalent form of this expression derived via ‘single_bit_reduction’.

single_bit_reduction(self, \*\*defaults_config)

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

‘single_bit_reduced’ returns the right-hand side of ‘single_bit_reduction’. ‘single_bit_reduce’, called on an InnerExpr of a Judgment, substitutes the right-hand side of ‘single_bit_reduction’ for the inner expression.