Homotopy -- a homotopy abstract type

Types of Homotopy :

• GateHomotopy -- see gateHomotopy(GateMatrix,GateMatrix,InputGate) -- homotopy implemented via straight line programs
• SpecializedParameterHomotopy -- a homotopy obtained from a parameter homotopy by specializing parameters

Methods that use an object of class Homotopy :

• evaluateH(Homotopy,Matrix,Number) -- see evaluateH -- evaluates the homotopy
• evaluateHt(Homotopy,Matrix,Number) -- see evaluateHt -- evaluates the derivative of the homotopy with respect to the continuation parameter
• evaluateHx(Homotopy,Matrix,Number) -- see evaluateHx -- evaluates the jacobian of the homotopy
• trackHomotopy(Homotopy,List) -- follow points along a homotopy

For the programmer

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