File: [local] / OpenXM_contrib / PHC / Ada / Schubert / pieri_continuation.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:32 2000 UTC (23 years, 8 months ago) by maekawa
Branch: PHC, MAIN
CVS Tags: v2, maekawa-ipv6, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, HEAD Changes since 1.1: +0 -0
lines
Import the second public release of PHCpack.
OKed by Jan Verschelde.
|
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;