VertExprArray

class proveit.VertExprArray(*columns, styles=None)[source]

Bases: proveit.ExprArray

An ExprArray represented in column-major order.

Methods Summary

get_format_row_element_positions(self)

get_latex_formatted_cells(self[, …])

Return cells of this ExprArray formatted for LaTeX.

latex(self[, fence])

Return a latex-formatted representation of the Expression.

Methods Documentation

get_format_row_element_positions(self)[source]
get_latex_formatted_cells(self, orientation='vertical', vertical_explicit_cell_latex_fn=None, horizontal_explicit_cell_latex_fn=None, format_cell_entries=None, col_row_to_latex_kwargs=None)[source]

Return cells of this ExprArray formatted for LaTeX.

The entries themselves may optionally be passed in or passed back via format_cell_entries (passed in if it is not empty, passed back if it is).

If row_col_to_latex_kwargs is provided, each (row, col) pair should map to keyword arguments to be passed to the to the ‘latex’ calls for formatting each cell. These are zero-based cell indices (not the 1-based element indices). For VertExprArray.get_latex_formatted_cells, this i s labeled col_row_to_latex_kwargs but either way corresponds to (outer index, inner index).

latex(self, fence=False, \*\*kwargs)[source]

Return a latex-formatted representation of the Expression. The kwargs can contain formatting directives (such as ‘fence’ used to indicate when a sub-expression should be wrapped in parentheses if there can be ambiguity in the order of operations).