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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>