DecimalSequence

class proveit.numbers.DecimalSequence(*digits, styles=None)[source]

Bases: proveit.numbers.numerals.numeral.NumeralSequence

Methods Summary

as_int(self)

deduce_in_natural(self, \*\*defaults_config)

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

deduce_in_natural_pos(self, \*\*defaults_config)

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

deduce_in_number_set(self, number_set, …)

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

Methods Documentation

as_int(self)[source]
deduce_in_natural(self, \*\*defaults_config)[source]

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

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

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

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

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