GitHub

Visualization

julia> @variables x y;
julia> CC = AcbField(128);
julia> F = [x^2 + y - 2, y^2 + x - 2];
julia> G = [x^2 - 1, y^2 - 1];
julia> H = straight_line_homotopy(F, G, [x, y]; CCRing=CC, gamma=CC(1, 1));Compilation Done.
julia> res = track_path(H, [CC(1), CC(1)]; visualize=true);
julia> length(path_boxes(res))22
julia> filename = tempname() * ".tex";
julia> export_path_tikz(res, filename; axes=(:t, 1)) == filenametrue
CertifiedHomotopyTracking.PathBox — Type
PathBox

One certified path box used for path visualization.

Fields:

  • t: certified time interval.
  • x: certified coordinate boxes.
  • source: producer such as :track_path or :posteriori.
  • metadata: additional stage/certification metadata.
source
CertifiedHomotopyTracking.export_path_tikz — Function
export_path_tikz(input, filename; kwargs...) -> filename

Export path boxes to a TikZ file.

input may be a PathVisualization, TrackResult, PosterioriPathResult, or a vector of PathBoxs.

Options

  • axes=nothing: two or three axes. Axis entries may be :t, an integer coordinate index, or (i, :real), (i, :imag), (i, :abs).
  • show_trace=false: draw numerical trace points when available.

Example

@variables x y;
CC = AcbField(128);
F = [x^2 + y - 2, y^2 + x - 2];
G = [x^2 - 1, y^2 - 1];
H = straight_line_homotopy(F, G, [x, y]; CCRing=CC, gamma=CC(1, 1));
res = track_path(H, [CC(1), CC(1)]; visualize=true);
filename = tempname() * ".tex";
export_path_tikz(res, filename; axes=(:t, 1)) == filename
source