Return to pieri_continuation.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

Annotation of OpenXM_contrib/PHC/Ada/Schubert/pieri_continuation.ads, Revision 1.1.1.1

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Natural_Matrices;
                      3: with Standard_Complex_Matrices;
                      4: with Standard_Complex_VecMats;
                      5: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      6: with Localization_Posets;                use Localization_Posets;
                      7:
                      8: package Pieri_Continuation is
                      9:
                     10: -- DESCRIPTION :
                     11: --   Invokes the polynomial continuation on the Pieri homotopies.
                     12:
                     13:   procedure Trace_Paths
                     14:                ( file : in file_type; homsys : in Poly_Sys;
                     15:                  locmap : in Standard_Natural_Matrices.Matrix;
                     16:                  report,outlog : in boolean;
                     17:                  plane : in out Standard_Complex_Matrices.Matrix );
                     18:
                     19:   -- DESCRIPTION :
                     20:   --   Traces the paths defined by the Pieri homtopy for one given plane.
                     21:
                     22:   -- ON ENTRY :
                     23:   --   file      to write intermediate results on;
                     24:   --   homsys    Pieri homotopy, where t is the last variable;
                     25:   --   locmap    localization pattern, 0,1 in identity, 2 = free;
                     26:   --   report    switch to indicate whether reporting path tracker;
                     27:   --   outlog    if switched on, writes homotopies;
                     28:   --   plane     solution plane at t = 0.
                     29:
                     30:   -- ON RETURN :
                     31:   --   plane     solution plane at t = 1.
                     32:
                     33:   procedure Trace_Paths
                     34:                ( file : in file_type; homsys : in Poly_Sys;
                     35:                  locmap : in Standard_Natural_Matrices.Matrix;
                     36:                  report,outlog : in boolean;
                     37:                  planes : in Standard_Complex_VecMats.VecMat );
                     38:
                     39:   -- DESCRIPTION :
                     40:   --   Traces the paths defined by the Pieri homotopy to all planes.
                     41:
                     42:
                     43:   -- ON ENTRY :
                     44:   --   file      to write intermediate results on;
                     45:   --   homsys    Pieri homotopy, with t as last variable;
                     46:   --   locmap    localization pattern, 0,1 in identity, 2 = free;
                     47:   --   report    switch to indicate whether reporting path tracker;
                     48:   --   outlog    if switched on, writes homotopies;
                     49:   --   planes    solution planes at t = 0.
                     50:
                     51:   -- ON RETURN :
                     52:   --   planes    solution planes at t = 1.
                     53:
                     54:   procedure Quantum_Trace_Paths
                     55:                ( file : in file_type; m,p,q : in natural; nd : in Node;
                     56:                  homsys : in Poly_Sys; conpar,s_mode : in natural;
                     57:                  locmap : in Standard_Natural_Matrices.Matrix;
                     58:                  report,outlog : in boolean;
                     59:                  planes : in Standard_Complex_VecMats.VecMat );
                     60:
                     61:   -- DESCRIPTION :
                     62:   --   The q-analogue of the path tracing, with (m,p,q), top and bottom
                     63:   --   pivots as additional parameters.
                     64:   --   The continuation parameter is the variable with number conpar.
                     65:   --   The s_mode determines the starting value for s, if s_mode = 0
                     66:   --   then s is zero, otherwise s is one at the start.
                     67:
                     68: end Pieri_Continuation;