Return to solve_pieri_leaves.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Schubert |
File: [local] / OpenXM_contrib / PHC / Ada / Schubert / solve_pieri_leaves.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:32 2000 UTC (23 years, 8 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with text_io; use text_io; with Standard_Complex_Matrices; use Standard_Complex_Matrices; with Brackets; use Brackets; function Solve_Pieri_Leaves ( file : file_type; b1,b2 : Bracket; m : Matrix ) return Matrix; -- DESCRIPTION : -- Computes a solution at a pair of brackets at the leaves of the Pieri tree. -- REQUIRED : (b1,b2) satisfy Pieri's condition. -- ON ENTRY : -- file for intermediate output; -- b1 bracket at leaf of first Pieri tree; -- b2 bracket at leaf of second Pieri tree; -- m m-plane. -- ON RETURN : -- The p-plane that intersects m nontrivially, p = b1'length = b2'length.