Return to fewnomial_system_solvers.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift / fewnomial_system_solvers.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:28 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with Standard_Complex_Laur_Systems; use Standard_Complex_Laur_Systems; with Standard_Complex_Solutions; use Standard_Complex_Solutions; package Fewnomial_System_Solvers is -- DESCRIPTION : -- This package contains a solver for Laurent polynomial systems, -- where there are at most n+1 different terms. function Is_Fewnomial_System ( p : Laur_Sys ) return boolean; -- DESCRIPTION : -- returns true if p has at most n+1 different terms. procedure Solve ( p : in Laur_Sys; sols : in out Solution_List; fail : out boolean ); -- DESCRIPTION : -- tries to solve the fewnomial system p. -- ON ENTRY : -- p a Laurent polynomial system. -- ON RETURN : -- sols solutions of p, all solutions have only nonzero components; -- fail true if p has more than n+1 different terms -- or if p has an infinite number of solutions. end Fewnomial_System_Solvers;