SLPexpressions : Index

• - Gate
• arithmetic with circuits
• cCode -- generate C code for evaluating a straight-line program
• cCode(GateMatrix,GateMatrix) -- generate C code for evaluating a straight-line program
• cCode(List,List) -- generate C code for evaluating a straight-line program
• CompiledSLProgram (missing documentation)
• compress(Gate)
• compress(GateMatrix)
• compressing circuits
• countGates
• countGates(Gate)
• countGates(GateMatrix)
• creating gates
• creating variables as objects of type InputGate
• declareVariable -- assigns an input gate to a given variable name
• declareVariable(IndexedVariable) -- assigns an input gate to a given variable name
• declareVariable(InputGate) -- assigns an input gate to a given variable name
• declareVariable(Symbol) -- assigns an input gate to a given variable name
• declareVariable(Thing) -- assigns an input gate to a given variable name
• depth(DetGate)
• depth(DivideGate)
• depth(GateMatrix)
• depth(InputGate)
• depth(ProductGate)
• depth(SumGate)
• determinant(GateMatrix)
• DetGate -- node types for straight-line programs
• detGate
• detGate(List)
• diff(GateMatrix,GateMatrix)
• diff(InputGate,Gate)
• diff(InputGate,GateMatrix)
• differentiating circuits
• DivideGate -- node types for straight-line programs
• divideGate
• entries(GateMatrix)
• evaluate(SLProgram,Matrix) -- evaluate a straight-line program
• evaluate(SLProgram,MutableMatrix,MutableMatrix) -- evaluate a straight-line program
• evaluating gates
• Gate -- node types for straight-line programs
• Gate * Gate
• Gate * Matrix
• Gate * Number
• Gate * RingElement
• Gate + Gate
• Gate + Number
• Gate + RingElement
• Gate - Gate
• Gate - Number
• Gate - RingElement
• Gate / Gate
• Gate ^ ZZ
• GateMatrix -- a matrix of Gates
• gateMatrix -- create a GateMatrix
• GateMatrix * GateMatrix
• GateMatrix * Matrix
• GateMatrix * RingElement
• GateMatrix + GateMatrix
• GateMatrix + Matrix
• GateMatrix - GateMatrix
• GateMatrix - Matrix
• GateMatrix ^ List
• GateMatrix _ List
• GateMatrix _ Sequence
• GateMatrix | GateMatrix
• GateMatrix | Matrix
• GateMatrix || GateMatrix
• GateMatrix || Matrix
• gateMatrix(GateMatrix) -- create a GateMatrix
• gateMatrix(List) -- create a GateMatrix
• gateMatrix(Matrix) -- create a GateMatrix
• gatePolynomial -- creates an input gate for a given polynomial
• gatePolynomial(Matrix) -- creates an input gate for a given polynomial
• gatePolynomial(RingElement) -- creates an input gate for a given polynomial
• getVarGates -- returns the input gates for variables in a polynomial ring
• getVarGates(PolynomialRing) -- returns the input gates for variables in a polynomial ring
• InputGate -- node types for straight-line programs
• inputGate
• InputGate .. InputGate -- Passing .. to InputGate names (see code). TO DO: expand this.
• inputGate(Thing)
• InterpretedSLProgram -- create a straight-line program
• isConstant(InputGate) -- whether an input gate is constant
• makeCompiledSLProgram (missing documentation)
• makeInterpretedSLProgram -- create a straight-line program
• makeInterpretedSLProgram(GateMatrix,GateMatrix) -- create a straight-line program
• makeInterpretedSLProgram(List,List) -- create a straight-line program
• makeSLProgram -- create a straight-line program (either interpreted or compiled)
• makeSLProgram(GateMatrix,GateMatrix) -- create a straight-line program (either interpreted or compiled)
• makeSLProgram(List,List) -- create a straight-line program (either interpreted or compiled)
• Matrix * Gate
• Matrix * GateMatrix
• Matrix + GateMatrix
• Matrix - GateMatrix
• Matrix | GateMatrix
• Matrix || GateMatrix
• measuring the size of circuits
• Number * Gate
• Number + Gate
• Number - Gate
• numColumns(GateMatrix)
• numRows(GateMatrix)
• printAsSLP -- print a straight-line program
• printAsSLP(GateMatrix,GateMatrix) -- print a straight-line program
• printAsSLP(List,List) -- print a straight-line program
• ProductGate -- node types for straight-line programs
• productGate
• productGate(List)
• RingElement * Gate
• RingElement * GateMatrix
• RingElement + Gate
• RingElement - Gate
• setTryJustInTimeCompilation -- create a straight-line program (either interpreted or compiled)
• setTryJustInTimeCompilation(Boolean) -- create a straight-line program (either interpreted or compiled)
• SLPexpressions -- straight line programs and algebraic circuits
• SLProgram (missing documentation)
• submatrix(GateMatrix,List,List)
• substitute(GateMatrix,GateMatrix,GateMatrix)
• substitute(GateMatrix,HashTable)
• substitute(GateMatrix,List)
• substitute(GateMatrix,Option)
• SumGate -- node types for straight-line programs
• sumGate
• sumGate(List)
• support -- input gates appearing in an SLP expression
• support(DetGate) -- input gates appearing in an SLP expression
• support(DivideGate) -- input gates appearing in an SLP expression
• support(GateMatrix) -- input gates appearing in an SLP expression
• support(InputGate) -- input gates appearing in an SLP expression
• support(ProductGate) -- input gates appearing in an SLP expression
• support(SumGate) -- input gates appearing in an SLP expression
• transpose(GateMatrix)
• undeclareVariable -- clears assignment of an input gate to a variable name
• undeclareVariable(InputGate) -- clears assignment of an input gate to a variable name
• value(DetGate,ValueHashTable)
• value(DivideGate,ValueHashTable)
• value(Gate,ValueHashTable)
• value(GateMatrix,ValueHashTable)
• value(InputGate,ValueHashTable)
• value(ProductGate,ValueHashTable)
• value(SumGate,ValueHashTable)
• ValueHashTable -- creates a hash table of values for evaluation
• valueHashTable -- creates a hash table of values for evaluation
• valueHashTable(List,List) -- creates a hash table of values for evaluation
• vars(IndexedVariable)
• vars(InputGate)
• vars(Symbol)
• working with gate matrices