SLPexpressions : Table of Contents

• SLPexpressions -- straight line programs and algebraic circuits
• arithmetic with circuits
• cCode -- generate C code for evaluating a straight-line program
• 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 -- node types for straight-line programs
• 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
• printAsSLP -- print a straight-line program
• SLProgram (missing documentation)
• support -- input gates appearing in an SLP expression
• undeclareVariable -- clears assignment of an input gate to a variable name
• valueHashTable -- creates a hash table of values for evaluation
• working with gate matrices