module Homotopy

    using ..HomConBase
    import ..HomConBase: AbstractHomotopy, AbstractPolySystem, evaluate, substitute, removepoly,
        startsystem, targetsystem,
        differentiate, dt,
        homogenize, ishomogenous, homogenized,
        degrees, weylnorm, nvariables, coefftype

    import Base: length
    include("straight_line.jl")
    include("gamma_trick.jl")
    include("fixedhomotopy.jl")

    export evaluate, removepoly, substitute, startsystem, targetsystem, differentiate,
        dt, homogenize, homogenized, degrees, weylnorm, nvariables
    export StraightLineHomotopy, GammaTrickHomotopy, FixedHomotopy
end
