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