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