SLPexpressions : Table of Contents

• SLPexpressions -- Straight Line Programs and expressions for evaluation circuits
• arithmetic with circuits
• compressing circuits
• creating gates
• declareVariable -- assigns an input gate to a given variable name
• differentiating circuits
• evaluate(SLProgram,MutableMatrix,MutableMatrix) -- evaluate a straight-line program
• evaluating gates
• Gate -- the class of all gates
• GateMatrix -- a matrix of Gates
• gateMatrix -- create a GateMatrix
• gatePolynomial -- creates an input gate for a given polynomial
• getVarGates -- returns the input gates for variables in a polynomial ring
• isConstant(InputGate) -- whether an input gate is constant
• makeSLProgram -- create a straight-line program
• measuring the size of circuits
• undeclareVariable -- clears assignment of an input gate to a variable name
• valueHashTable -- creates a hash table of values for evaluation
• working with gate matrices