SLPexpressions : Table of Contents

• SLPexpressions -- Straight Line Programs and expressions for evaluation circuits
• arithmetic with circuits
• CompiledSLProgram (missing documentation)
• compressing circuits
• creating gates
• creating variables as objects of type InputGate
• 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
• InputGate .. InputGate -- Passing .. to InputGate names (see code). TO DO: expand this.
• isConstant(InputGate) -- whether an input gate is constant
• makeCompiledSLProgram (missing documentation)
• makeInterpretedSLProgram -- create a straight-line program
• makeSLProgram -- create a straight-line program (either interpreted or compiled)
• measuring the size of circuits
• SLProgram (missing documentation)
• undeclareVariable -- clears assignment of an input gate to a variable name
• valueHashTable -- creates a hash table of values for evaluation
• working with gate matrices