Return to matrix_indeterminates.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Polynomials

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/matrix_indeterminates.ads, Revision 1.1

1.1     ! maekawa     1: with Symbol_Table;                       use Symbol_Table;
        !             2: with Standard_Natural_Matrices;          use Standard_Natural_Matrices;
        !             3: with Standard_Complex_Polynomials;       use Standard_Complex_Polynomials;
        !             4:
        !             5: package Matrix_Indeterminates is
        !             6:
        !             7: -- DESCRIPTION :
        !             8: --   This package provides a facility to manipulate symbols for the
        !             9: --   indeterminates xij of a matrix, where i and j are allowed to run
        !            10: --   in the range 1..F, along the usual hexadecimal coding.
        !            11:
        !            12:   procedure Initialize_Symbols ( n,d : in natural );
        !            13:
        !            14:   -- DESCRIPTION :
        !            15:   --   Initializes the symbol table with the variable order
        !            16:   --     x11 > x12 > .. > x1d > x21 > x22 > .. > x2d > .. > xn1 > .. > xnd.
        !            17:
        !            18:   function X_ij ( i,j : natural ) return Symbol;
        !            19:
        !            20:   -- DESCRIPTION :
        !            21:   --   Returns the symbol that represents the variable xij.
        !            22:
        !            23:   function Monomial ( n,d,i,j : natural ) return Poly;
        !            24:
        !            25:   -- DESCRIPTION :
        !            26:   --   Returns the representation of X_ij as a polynomial.
        !            27:
        !            28:   procedure Reduce_Symbols ( locmap : in Matrix );
        !            29:
        !            30:   -- DESCRIPTION :
        !            31:   --   Reduces the number of symbols in the symbol table, removing all
        !            32:   --   symbols that correspond to zeros and ones in the localization map.
        !            33:
        !            34:   procedure Clear_Symbols;
        !            35:
        !            36:   -- DESCRIPTION :
        !            37:   --   Destruction of the symbol table.
        !            38:
        !            39: end Matrix_Indeterminates;