# Automation is not needed when only building an expression:
proveit . defaults . automation = False # This will speed things up.
proveit . defaults . inline_pngs = False # Makes files smaller.
% load_axiom_expr # Load the stored axiom expression as 'stored_expr'
# import the special expression
from proveit.numbers.number_sets.natural_numbers import zero_in_nats
# check that the built expression is the same as the stored expression
assert zero_in_nats . expr == stored_expr
assert zero_in_nats . expr . _style_id == stored_expr . _style_id
print ( "Passed sanity check: zero_in_nats matches stored_expr" )
Passed sanity check: zero_in_nats matches stored_expr
# Show the LaTeX representation of the expression for convenience if you need it.
print ( zero_in_nats . latex ())
zero_in_nats . style_options ()
name description default current value related methods
operation 'infix' or 'function' style formatting infix infix
wrap_positions position(s) at which wrapping is to occur; '2 n - 1' is after the nth operand, '2 n' is after the nth operation. () () ('with_wrapping_at', 'with_wrap_before_operator', 'with_wrap_after_operator', 'wrap_positions')
justification if any wrap positions are set, justify to the 'left', 'center', or 'right' center center ('with_justification',)
# display the expression information
zero_in_nats . expr_info ()
These web pages were generated on 2021-03-10 by
Prove-It Beta Version 0.3, licensed under the GNU Public License by Sandia Corporation.
Presented proofs are not absolutely guaranteed. For assurance, it is important to check the structure
of the statement being proven, independently verify the derivation steps, track dependencies, and ensure that
employed axioms are valid and properly structured. Inconsistencies may exist, unknowingly, in this system.
This material is based upon work supported by the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research, under the Quantum Computing Application Teams program. Sandia National Labs is managed and operated by National Technology and Engineering Solutions of Sandia, LLC, a subsidiary of Honeywell International, Inc., for the U.S. Dept. of Energy's NNSA under contract DE-NA0003525. The views expressed above do not necessarily represent the views of the DOE or the U.S. Government.
Please send questions/comments to: