Return to exponent_vectors.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Polynomials/exponent_vectors.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Complex_Numbers;           use Standard_Complex_Numbers;
                      2: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
                      3: with Standard_Complex_Vectors;
                      4: with Standard_Integer_VecVecs;           use Standard_Integer_VecVecs;
                      5: with Standard_Complex_VecVecs;
                      6: with Standard_Complex_Polynomials;
                      7: with Standard_Complex_Laur_Polys;
                      8: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      9: with Standard_Complex_Laur_Systems;      use Standard_Complex_Laur_Systems;
                     10:
                     11: package Exponent_Vectors is
                     12:
                     13: -- DESCRIPTION :
                     14: --   This package facilitates the management of exponent vectors.
                     15:
                     16: -- DATA STRUCTURE : array of exponent vectors
                     17:
                     18:   type Exponent_Vectors_Array is array ( integer range <> ) of Link_to_VecVec;
                     19:
                     20: -- CREATORS :
                     21:
                     22:   function Create ( p : Standard_Complex_Laur_Polys.Poly ) return VecVec;
                     23:   function Create ( p : Standard_Complex_Polynomials.Poly ) return VecVec;
                     24:
                     25:   -- DESCRIPTION :
                     26:   --   The range of the vector on return is 1..Number_of_Terms(p).
                     27:   --   This vector contains copies of all exponents of p, as ordered in p.
                     28:
                     29:   function Create ( p : Poly_Sys ) return Exponent_Vectors_Array;
                     30:   function Create ( p : Laur_Sys ) return Exponent_Vectors_Array;
                     31:
                     32: -- SELECTOR :
                     33:
                     34:   function Position ( ev : VecVec; v : Vector ) return integer;
                     35:
                     36:   -- DESCRIPTION :
                     37:   --   Returns the position of v in the vector ev.
                     38:   --   If v does not occur in ev, then ev'last+1 will be returned.
                     39:
                     40: -- EVALUATORS :
                     41:
                     42:   function Eval ( e : Vector; c : Complex_Number;
                     43:                   x : Standard_Complex_Vectors.Vector ) return Complex_Number;
                     44:
                     45:   -- DESCRIPTION :
                     46:   --   Evaluates the term c*x^e.
                     47:
                     48:   function Eval ( ev : VecVec; c,x : Standard_Complex_Vectors.Vector )
                     49:                 return Complex_Number;
                     50:
                     51:   -- DESCRIPTION :
                     52:   --   Evaluates the polynomial with coefficients in c and exponents in ev.
                     53:
                     54:   function Eval ( ev : Exponent_Vectors_Array;
                     55:                   c : Standard_Complex_VecVecs.VecVec;
                     56:                   x : Standard_Complex_Vectors.Vector )
                     57:                 return Standard_Complex_Vectors.Vector;
                     58:
                     59:   -- DESCRIPTION :
                     60:   --   Evaluates the system with coefficients in c and exponents in ev.
                     61:
                     62: -- DESTRUCTORS :
                     63:
                     64:   procedure Clear ( v : in out Exponent_Vectors_Array );
                     65:
                     66:   -- DESCRIPTION :
                     67:   --   Clears the allocated memory.
                     68:
                     69: end Exponent_Vectors;