Return to degrees_in_sets_of_unknowns.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product / degrees_in_sets_of_unknowns.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:29 2000 UTC (23 years, 11 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
package body Degrees_in_Sets_of_Unknowns is function Degree ( t : Term; s : Set ) return integer is sum : integer := 0; begin if Extent_Of(s) > 0 then for i in t.dg'range loop if Is_In(s,i) then sum := sum + t.dg(i); end if; end loop; end if; return sum; end Degree; function Degree ( p : Poly; s : Set ) return integer is res : integer := -1; procedure Degree_Term ( t : in Term; continue : out boolean ) is sum : integer := Degree(t,s); begin if sum > res then res := sum; end if; continue := true; end Degree_Term; procedure Degree_Terms is new Visiting_Iterator(Degree_Term); begin Degree_Terms(p); return res; end Degree; function Degree_Table ( p : Poly_Sys; z : Partition ) return matrix is res : matrix(p'range,z'range); begin for i in p'range loop for j in z'range loop res(i,j) := Degree(p(i),z(j)); end loop; end loop; return res; end Degree_Table; end Degrees_in_Sets_of_Unknowns;