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

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;