Module Expr Str Import alias ImportFrom alias alias alias alias alias alias FunctionDef arguments args NameParam NameParam NameParam defaults body Return Call NameLoad NameLoad NameLoad Lambda arguments args NameParam NameParam defaults Call NameLoad BinOpAdd NameLoad BinOpMod Str TupleLoad BinOpAdd NameLoad Num BinOpAdd NameLoad Num decorator_list FunctionDef arguments args NameParam NameParam defaults body Return Call NameLoad NameLoad Num Lambda arguments args NameParam NameParam defaults Call NameLoad BinOpAdd NameLoad BinOpMod Str BinOpAdd NameLoad Num decorator_list Assign NameStore Call NameLoad Num Num Str Assign TupleStore NameStore NameStore NameStore NameStore Call NameLoad Str Str Str Str Assign NameStore BinOpDiv Call NameLoad TupleLoad BinOpSub NameLoad Num BinOpSub NameLoad Num Num Num Assign NameStore BinOpDiv Call NameLoad TupleLoad BinOpSub NameLoad Num BinOpSub NameLoad Num Num Num Assign NameStore BinOpAdd UnaryOpUSub BinOpMult NameLoad NameLoad BinOpMult NameLoad NameLoad Expr Call AttributeLoad NameLoad attr Assign NameStore BinOpMult SubscriptLoad NameLoad ExtSlice Slice Slice Num Call NameLoad TupleLoad BinOpDiv BinOpSub NameLoad NameLoad Num BinOpDiv BinOpSub NameLoad NameLoad Num Expr Call AttributeLoad NameLoad attr Assert CompareEq NameLoad NameLoad
N/A N/A  Just showing the mosaic simplification  N/A sympy sympy Matrix Symbol symbols zeros ones eye numbered_matrix N/A N/A nrows ncols symbol_prefix N/A N/A N/A N/A Matrix nrows ncols N/A N/A N/A i j N/A N/A Symbol N/A symbol_prefix N/A _{%d%d} N/A N/A i 1 N/A j 1 N/A numbered_vector N/A N/A nrows symbol_prefix N/A N/A N/A N/A Matrix nrows 1 N/A N/A N/A i j N/A N/A Symbol N/A symbol_prefix N/A _{%d} N/A i 1 N/A N/A RS N/A numbered_matrix 3 3 rs N/A N/A mdc mdr rdc rdr N/A symbols md_{cols} md_{rows} rd_{cols} rd_{rows} N/A md_adj N/A N/A Matrix N/A N/A mdc 1 N/A mdr 1 0 -2 N/A rd_adj N/A N/A Matrix N/A N/A rdc 1 N/A rdr 1 0 -2 N/A adj N/A N/A N/A RS md_adj N/A RS rd_adj N/A N/A N/A adj simplify N/A Q N/A N/A RS N/A N/A N/A 2 N/A Matrix N/A N/A N/A mdc rdc 2 N/A N/A mdr rdr 2 N/A N/A N/A Q simplify N/A N/A adj Q