Return to generic_laur_poly_functions.ads CVS log

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

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

1.1     ! maekawa     1: with Abstract_Ring;
        !             2: with Abstract_Ring.Field;
        !             3: with Generic_Vectors;
        !             4: with Generic_Laurent_Polynomials;
        !             5:
        !             6: generic
        !             7:
        !             8:   with package Ring is new Abstract_Ring(<>);
        !             9:   with package Field is new Ring.Field(<>);
        !            10:   with package Vectors is new Generic_Vectors(Ring);
        !            11:   with package Polynomials is new Generic_Laurent_Polynomials(Ring);
        !            12:
        !            13: package Generic_Laur_Poly_Functions is
        !            14:
        !            15: -- DESCRIPTION :
        !            16: --   Besides the term by term evaluation, two special data structures are
        !            17: --   provided for efficient evaluation of polynomials in several variables.
        !            18: --   With negative exponents, numeric/constraint errors are raised when
        !            19: --   zero is evaluated.
        !            20:
        !            21:   use Ring,Field,Vectors,Polynomials;
        !            22:
        !            23: -- FUNCTION TYPE :
        !            24:
        !            25:   type Evaluator is access function ( x : Vector ) return number;
        !            26:
        !            27: -- DATA STRUCTURES :
        !            28:
        !            29:   type Eval_Poly is private;
        !            30:   type Eval_Coeff_Poly is private;
        !            31:
        !            32: -- CONSTRUCTORS :
        !            33:
        !            34:   function Create ( p : Poly ) return Eval_Poly;
        !            35:   function Create ( p : Poly ) return Eval_Coeff_Poly;
        !            36:
        !            37:   procedure Diff ( p : in Poly; i : in integer;
        !            38:                    cp : out Eval_Coeff_Poly; m : out Vector );
        !            39:     -- evaluable coefficient polynomial of the partial derivative,
        !            40:     -- with m the multiplication factors of the coefficients of p
        !            41:
        !            42:   function Coeff ( p : Poly ) return Vector;  -- returns coefficient vector
        !            43:
        !            44: -- EVALUATORS :
        !            45:
        !            46:   function Eval ( p : Poly; x : number; i : integer ) return Poly;
        !            47:      -- return p(x1,..,xi=x,..,xn);
        !            48:      -- Number_of_Unknowns(Eval(p,x,i)) = Number_of_Unknowns(p)-1
        !            49:
        !            50:   function Eval ( d : Degrees; c : number; x : Vector ) return number;
        !            51:                                                             -- return c*x**d
        !            52:   function Eval ( t : Term; c : number; x : Vector ) return number;
        !            53:                                              -- return c*x**d, with d = t.dg
        !            54:   function Eval ( t : Term; x : Vector ) return number;
        !            55:
        !            56:   function Eval ( p : Poly; x : Vector ) return number;       -- return p(x)
        !            57:   function Eval ( p : Poly; c,x : Vector ) return number;
        !            58:                      -- return p(c,x), with c = vector of coefficients for p
        !            59:
        !            60:   function Eval ( p : Eval_Poly; x : Vector ) return number;  -- return p(x)
        !            61:   function Eval ( p : Eval_Coeff_Poly; c,x : Vector ) return number;
        !            62:      -- return p(c,x), with c = vector of coefficients for p
        !            63:
        !            64: -- DESTRUCTORS : deallocate memory.
        !            65:
        !            66:   procedure Clear ( p : in out Eval_Poly );
        !            67:   procedure Clear ( p : in out Eval_Coeff_Poly );
        !            68:
        !            69: private
        !            70:
        !            71:   type Eval_Poly_Rep;
        !            72:   type Eval_Coeff_Poly_Rep;
        !            73:
        !            74:   type Eval_Poly is access Eval_Poly_Rep;
        !            75:   type Eval_Coeff_Poly is access Eval_Coeff_Poly_Rep;
        !            76:
        !            77: end Generic_Laur_Poly_Functions;