Return to curves_into_grassmannian_io.ads CVS log

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

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

1.1     ! maekawa     1: with Standard_Natural_Matrices;          use Standard_Natural_Matrices;
        !             2: with Brackets;                           use Brackets;
        !             3:
        !             4: package Curves_into_Grassmannian_io is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   This package facilitates output of curves of degree q that produce
        !             8: --   p-planes in n-dimensional space, where n = m+p.
        !             9:
        !            10:   procedure One_Set_up_Symbol_Table
        !            11:                                ( m,p,q : in natural; top,bottom : in Bracket );
        !            12:   procedure Two_Set_up_Symbol_Table
        !            13:                                ( m,p,q : in natural; top,bottom : in Bracket );
        !            14:
        !            15:   -- DESCRIPTION :
        !            16:   --   Set up of the symbol table with enough symbols to represent the
        !            17:   --   matrix of polynomials as prescribed in the localization pattern.
        !            18:   --   The polynomials in the matrix are polynomials in "s" and "t" which are
        !            19:   --   the first two variables in the symbol table.  The other variables are
        !            20:   --   added columnwise in the pattern defined by top and bottom brackets.
        !            21:   --   The x_ij's are represented by "xijsk": k-th block at (i,j)-th place.
        !            22:   --   If the symbol table is not empty on calling this procedure,
        !            23:   --   then its contents will be destroyed and replaced by the x_ij's.
        !            24:   --   One_* : top or bottom type; Two_* : mixed type of node.
        !            25:
        !            26:   procedure Reduce_Symbols ( top,bottom : in Bracket; locmap : in Matrix );
        !            27:
        !            28:   -- DESCRIPTION :
        !            29:   --   Removes the symbols that correspond to the ones in the localization
        !            30:   --   map prescribed by top and bottom pivots.
        !            31:
        !            32: end Curves_into_Grassmannian_io;