Return to solve_pieri_leaves.ads CVS log

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

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

1.1       maekawa     1: with text_io;                            use text_io;
                      2: with Standard_Complex_Matrices;          use Standard_Complex_Matrices;
                      3: with Brackets;                           use Brackets;
                      4:
                      5: function Solve_Pieri_Leaves
                      6:               ( file : file_type; b1,b2 : Bracket; m : Matrix ) return Matrix;
                      7:
                      8: -- DESCRIPTION :
                      9: --   Computes a solution at a pair of brackets at the leaves of the Pieri tree.
                     10:
                     11: -- REQUIRED : (b1,b2) satisfy Pieri's condition.
                     12:
                     13: -- ON ENTRY :
                     14: --   file       for intermediate output;
                     15: --   b1         bracket at leaf of first Pieri tree;
                     16: --   b2         bracket at leaf of second Pieri tree;
                     17: --   m          m-plane.
                     18:
                     19: -- ON RETURN :
                     20: --   The p-plane that intersects m nontrivially, p = b1'length = b2'length.