IndexedVar

class proveit.IndexedVar(var, index_or_indices, *, styles=None)[source]

Bases: proveit.Function

An IndexedVar Expression expresses a Variable or nested IndexedVar, representing an ExprTuple (or ExprArray which is really just an ExprTuple of ExprTuples), being indexed to yield an element. The indices are typically parameters of containing ExprRanges, or additively shifted versions of such parameters. For example,

(x_{1, 1+1} + … + x_{1, j+1} + … + x_{1, n+1}) * … * (x_{i, 1+1} + … + x_{i, j+1} + … + x_{i, n+1}) * … * (x_{m, 1+1} + … + x_{m, j+1} + … + x_{m, n+1})

is represented by a doubly-nested ExprRange using the IndexedVar x_{i, j+1}.

Methods Summary

remake_arguments(self)

Yield the argument values or (name, value) pairs that could be used to recreate the Indexed.

Methods Documentation

remake_arguments(self)[source]

Yield the argument values or (name, value) pairs that could be used to recreate the Indexed.