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
-
deduce_in_natural
(self, \*\*defaults_config)[source]¶ Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
-