with text_io; use text_io;
with Standard_Natural_Matrices;
with Standard_Complex_Matrices;
with Standard_Complex_VecMats;
with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems;
with Localization_Posets; use Localization_Posets;
package Pieri_Continuation is
-- DESCRIPTION :
-- Invokes the polynomial continuation on the Pieri homotopies.
procedure Trace_Paths
( file : in file_type; homsys : in Poly_Sys;
locmap : in Standard_Natural_Matrices.Matrix;
report,outlog : in boolean;
plane : in out Standard_Complex_Matrices.Matrix );
-- DESCRIPTION :
-- Traces the paths defined by the Pieri homtopy for one given plane.
-- ON ENTRY :
-- file to write intermediate results on;
-- homsys Pieri homotopy, where t is the last variable;
-- locmap localization pattern, 0,1 in identity, 2 = free;
-- report switch to indicate whether reporting path tracker;
-- outlog if switched on, writes homotopies;
-- plane solution plane at t = 0.
-- ON RETURN :
-- plane solution plane at t = 1.
procedure Trace_Paths
( file : in file_type; homsys : in Poly_Sys;
locmap : in Standard_Natural_Matrices.Matrix;
report,outlog : in boolean;
planes : in Standard_Complex_VecMats.VecMat );
-- DESCRIPTION :
-- Traces the paths defined by the Pieri homotopy to all planes.
-- ON ENTRY :
-- file to write intermediate results on;
-- homsys Pieri homotopy, with t as last variable;
-- locmap localization pattern, 0,1 in identity, 2 = free;
-- report switch to indicate whether reporting path tracker;
-- outlog if switched on, writes homotopies;
-- planes solution planes at t = 0.
-- ON RETURN :
-- planes solution planes at t = 1.
procedure Quantum_Trace_Paths
( file : in file_type; m,p,q : in natural; nd : in Node;
homsys : in Poly_Sys; conpar,s_mode : in natural;
locmap : in Standard_Natural_Matrices.Matrix;
report,outlog : in boolean;
planes : in Standard_Complex_VecMats.VecMat );
-- DESCRIPTION :
-- The q-analogue of the path tracing, with (m,p,q), top and bottom
-- pivots as additional parameters.
-- The continuation parameter is the variable with number conpar.
-- The s_mode determines the starting value for s, if s_mode = 0
-- then s is zero, otherwise s is one at the start.
end Pieri_Continuation;