GateSystem -- a system of functions evaluated via a straightline program

Functions and methods returning an object of class GateSystem :

• gateSystem(Matrix) -- see gateSystem -- a constructor for GateSystem
• gateSystem(PolySystem) -- see gateSystem -- a constructor for GateSystem
• specialize(GateSystem,AbstractPoint) -- specialize parameters in a gate system

Methods that use an object of class GateSystem :

• gateMatrix(GateSystem) -- evaluation circuit used for the system
• evaluate(GateSystem,Matrix,Matrix)
• net(GateSystem)
• numFunctions(GateSystem)
• numParameters(GateSystem)
• numVariables(GateSystem)
• GateSystem ^ List -- a subsystem with specified equations
• jacobian(GateSystem) -- jacobian of a (gate) system
• jacobian(List,GateSystem) -- see jacobian(GateSystem) -- jacobian of a (gate) system
• parameters(GateSystem) -- the parameter gates in the evaluation circuit used for the system
• parametricSegmentHomotopy(GateSystem) -- see parametricSegmentHomotopy -- creates an ansatz for a segment homotopy
• polySystem(GateSystem,PolynomialRing) -- classical polynomial system associated to a gate system
• segmentHomotopy(GateSystem,GateSystem) -- see segmentHomotopy -- a segment homotopy
• squareUp(AbstractPoint,AbstractPoint,GateSystem) -- see squareUp -- square up a polynomial system
• squareUp(AbstractPoint,GateSystem) -- see squareUp -- square up a polynomial system
• vars(GateSystem) -- the variable gates in the evaluation circuit used for the system

For the programmer

The object GateSystem is a type, with ancestor classes System < MutableHashTable < HashTable < Thing.