Return to degrees_in_sets_of_unknowns.ads CVS log

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

Initial revision

with Standard_Integer_Matrices;          use Standard_Integer_Matrices;
with Standard_Complex_Polynomials;       use Standard_Complex_Polynomials;
with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
with Sets_of_Unknowns;                   use Sets_of_Unknowns;
with Partitions_of_Sets_of_Unknowns;     use Partitions_of_Sets_of_Unknowns;

package Degrees_in_Sets_of_Unknowns is

-- DESCRIPTION :
--   This procedure provides routines for computing the degree
--   of a given complex polynomial w.r.t. to a given set.

  function Degree ( t : Term; s : Set ) return integer;
  function Degree ( p : Poly; s : Set ) return integer;

  -- DESCRIPTION :
  --   Returns the degree in the given set.

  function Degree_Table ( p : Poly_Sys; z : Partition ) return matrix;

  -- DESCRIPTION :
  --   The element (i,j) of the returned matrix contains Degree(p(i),z(j)).

end Degrees_in_Sets_of_Unknowns;