Return to pieri_deformations.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/pieri_deformations.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Natural_Vectors;
        !             3: with Standard_Complex_Matrices;          use Standard_Complex_Matrices;
        !             4: with Standard_Complex_VecMats;           use Standard_Complex_VecMats;
        !             5: with Pieri_Root_Counts;                  use Pieri_Root_Counts;
        !             6:
        !             7: package Pieri_Deformations is
        !             8:
        !             9: -- DESCRIPTION :
        !            10: --   Deformations that start at pairs of leaves satisfying Pieri's conditions.
        !            11:
        !            12:   procedure Deform_Pair
        !            13:               ( file : in file_type; pnd : in Paired_Nodes; id : in natural;
        !            14:                 f1,f2 : in Standard_Complex_Matrices.Matrix;
        !            15:                 l1,l2 : in VecMat; ln : in Matrix; report,outlog : in boolean;
        !            16:                 sol : in out Matrix );
        !            17:
        !            18:   -- DESCRIPTION :
        !            19:   --   Does one step in the Pieri deformation at the current pair and
        !            20:   --   moves down to the node below in the chains until the solution sol
        !            21:   --   meets all planes in l1,l2 and ln nontrivially.
        !            22:
        !            23:   -- ON ENTRY :
        !            24:   --   file     for writing intermediate results;
        !            25:   --   pnd      pair of nodes in a chain that starts at a pair of leaves
        !            26:   --            for which Pieri's condition is satisfied;
        !            27:   --   id       identity number of the pair in the list of paired nodes;
        !            28:   --   f1       random upper triangular matrix with 1's on its anti-diagonal;
        !            29:   --   f2       random lower triangular matrix with 1's on its diagonal;
        !            30:   --   l1       first sequence of input planes;
        !            31:   --   l2       second sequence of input planes;
        !            32:   --   ln       last input plane;
        !            33:   --   report   indicates whether intermediate output during path tracking;
        !            34:   --   sol      solution at the pair of nodes above the current pair.
        !            35:
        !            36:   -- ON ENTRY :
        !            37:   --   sol      updated solution plane.
        !            38:
        !            39:   procedure Deform_Pairs
        !            40:               ( file : in file_type; n,d : in natural;
        !            41:                 lp : in List_of_Paired_Nodes; l1,l2 : in VecMat;
        !            42:                 ln : in Matrix; report,outlog : in boolean; sols : out VecMat );
        !            43:
        !            44:   -- DESCRIPTION :
        !            45:   --   Performs the deformation of pairs for every pair in the list.
        !            46:
        !            47:   -- ON ENTRY :
        !            48:   --   file     to write intermediate results;
        !            49:   --   n        dimension of the space the planes all live in;
        !            50:   --   d        dimension of the output planes;
        !            51:   --   lp       list of paired nodes, satisfying Pieri's condition;
        !            52:   --   l1       first sequence of input planes,
        !            53:   --            l1(0) is spanned by first standard basis vectors;
        !            54:   --   l2       second sequence of input planes,
        !            55:   --            l2(0) is spanned by last standard basis vectors;
        !            56:   --   ln       last input plane;
        !            57:   --   report   indicates whether intermediate output during path tracking;
        !            58:   --   outlog   if switched on, writes moving cycles and polynomial systems.
        !            59:
        !            60:   -- ON RETURN :
        !            61:   --   sols     sequence of solution planes.
        !            62:
        !            63: end Pieri_Deformations;