SLPexpressions : Index

• - Gate
• arithmetic with circuits
• compress(Gate)
• compress(GateMatrix)
• compressing circuits
• countGates
• countGates(GateMatrix)
• creating gates
• 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 -- the class of all gates
• detGate
• detGate(List)
• diff(GateMatrix,GateMatrix)
• diff(InputGate,Gate)
• diff(InputGate,GateMatrix)
• differentiating circuits
• DivideGate -- the class of all gates
• divideGate
• entries(GateMatrix)
• evaluate(SLProgram,Matrix) -- evaluate a straight-line program
• evaluate(SLProgram,MutableMatrix,MutableMatrix) -- evaluate a straight-line program
• evaluating gates
• Gate -- the class of all gates
• 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 -- the class of all gates
• inputGate
• inputGate(Thing)
• isConstant(InputGate) -- whether an input gate is constant
• makeSLProgram -- create a straight-line program
• makeSLProgram(GateMatrix,GateMatrix) -- create a straight-line program
• makeSLProgram(List,List) -- create a straight-line program
• 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)
• ProductGate -- the class of all gates
• productGate
• productGate(List)
• RingElement * Gate
• RingElement * GateMatrix
• RingElement + Gate
• RingElement - Gate
• SLPexpressions -- Straight Line Programs and expressions for evaluation circuits
• SLProgram -- create a straight-line program
• submatrix(GateMatrix,List,List)
• substitute(GateMatrix,GateMatrix,GateMatrix)
• substitute(GateMatrix,HashTable)
• substitute(GateMatrix,List)
• substitute(GateMatrix,Option)
• SumGate -- the class of all gates
• sumGate
• sumGate(List)
• 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(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
• working with gate matrices