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

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;