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     ! 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;