Return to degrees_in_sets_of_unknowns.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/degrees_in_sets_of_unknowns.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Integer_Matrices;          use Standard_Integer_Matrices;
        !             2: with Standard_Complex_Polynomials;       use Standard_Complex_Polynomials;
        !             3: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             4: with Sets_of_Unknowns;                   use Sets_of_Unknowns;
        !             5: with Partitions_of_Sets_of_Unknowns;     use Partitions_of_Sets_of_Unknowns;
        !             6:
        !             7: package Degrees_in_Sets_of_Unknowns is
        !             8:
        !             9: -- DESCRIPTION :
        !            10: --   This procedure provides routines for computing the degree
        !            11: --   of a given complex polynomial w.r.t. to a given set.
        !            12:
        !            13:   function Degree ( t : Term; s : Set ) return integer;
        !            14:   function Degree ( p : Poly; s : Set ) return integer;
        !            15:
        !            16:   -- DESCRIPTION :
        !            17:   --   Returns the degree in the given set.
        !            18:
        !            19:   function Degree_Table ( p : Poly_Sys; z : Partition ) return matrix;
        !            20:
        !            21:   -- DESCRIPTION :
        !            22:   --   The element (i,j) of the returned matrix contains Degree(p(i),z(j)).
        !            23:
        !            24: end Degrees_in_Sets_of_Unknowns;