Numeral

class proveit.numbers.Numeral(n, string_format=None, latex_format=None, *, styles=None)

Bases: proveit.Literal, proveit.logic.IrreducibleValue

Methods Summary

as_int(self)
deduce_in_digits(self, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
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.
deduce_positive(self, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
eval_equality(self, other, \*\*defaults_config)	Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.
make_literal(string_format, latex_format, …)	Make the DigitLiteral that matches the core information.
remake_arguments(self)	Yield the argument values that could be used to recreate this DigitLiteral.

Methods Documentation

as_int(self)

deduce_in_digits(self, \*\*defaults_config)

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

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, \*\*defaults_config)

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

deduce_positive(self, \*\*defaults_config)

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

eval_equality(self, other, \*\*defaults_config)

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

static make_literal(string_format, latex_format, \*, extra_core_info, theory, styles)

Make the DigitLiteral that matches the core information.

remake_arguments(self)

Yield the argument values that could be used to recreate this DigitLiteral.