Return to generic_poly_system_functions.ads CVS log

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

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

1.1     ! maekawa     1: with Abstract_Ring;
        !             2: with Generic_Vectors,Generic_VecVecs;
        !             3: with Generic_Polynomials;
        !             4: with Generic_Polynomial_Functions;
        !             5: with Generic_Polynomial_Systems;
        !             6:
        !             7: generic
        !             8:
        !             9:   with package Ring is new Abstract_Ring(<>);
        !            10:   with package Vectors is new Generic_Vectors(Ring);
        !            11:   with package VecVecs is new Generic_VecVecs(Ring,Vectors);
        !            12:   with package Polynomials is new Generic_Polynomials(Ring);
        !            13:   with package Poly_Functions is
        !            14:          new Generic_Polynomial_Functions(Ring,Vectors,Polynomials);
        !            15:   with package Poly_Systems is
        !            16:          new Generic_Polynomial_Systems(Ring,Polynomials);
        !            17:
        !            18: package Generic_Poly_System_Functions is
        !            19:
        !            20: -- DESCRIPTION :
        !            21: --   This package provides data structures and evaluation functions for
        !            22: --   systems of polynomials.
        !            23:
        !            24:   use Ring,Vectors,VecVecs,Poly_Functions,Poly_Systems;
        !            25:
        !            26: -- FUNCTION TYPE :
        !            27:
        !            28:   type Evaluator is access function ( x : Vector ) return Vector;
        !            29:
        !            30: -- DATA STRUCTURES :
        !            31:
        !            32:   type Eval_Poly_Sys is array ( integer range <> ) of Eval_Poly;
        !            33:   type Eval_Coeff_Poly_Sys is array ( integer range <> ) of Eval_Coeff_Poly;
        !            34:
        !            35: -- CREATORS :
        !            36:
        !            37:   function Create ( p : Poly_Sys ) return Eval_Poly_Sys;
        !            38:   function Create ( p : Poly_Sys ) return Eval_Coeff_Poly_Sys;
        !            39:
        !            40: -- EVALUATORS :
        !            41:
        !            42:   function Eval ( p : Poly_Sys; x : number; i : natural ) return Poly_Sys;
        !            43:   function Eval ( p : Poly_Sys; x : Vector ) return Vector;
        !            44:   function Eval ( p : Eval_Poly_Sys; x : Vector ) return Vector;
        !            45:   function Eval ( p : Eval_Coeff_Poly_Sys; c : VecVec; x : Vector )
        !            46:                 return Vector;
        !            47:
        !            48: -- DESTRUCTORS :
        !            49:
        !            50:   procedure Clear ( p : in out Eval_Poly_Sys );
        !            51:   procedure Clear ( p : in out Eval_Coeff_Poly_Sys );
        !            52:
        !            53: end Generic_Poly_System_Functions;