Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/degrees_in_sets_of_unknowns.ads, Revision 1.1.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>