Return to fewnomial_system_solvers.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/fewnomial_system_solvers.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Complex_Laur_Systems;      use Standard_Complex_Laur_Systems;
                      2: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      3:
                      4: package Fewnomial_System_Solvers is
                      5:
                      6: -- DESCRIPTION :
                      7: --   This package contains a solver for Laurent polynomial systems,
                      8: --   where there are at most n+1 different terms.
                      9:
                     10:   function Is_Fewnomial_System ( p : Laur_Sys ) return boolean;
                     11:
                     12:   -- DESCRIPTION :
                     13:   --   returns true if p has at most n+1 different terms.
                     14:
                     15:   procedure Solve ( p : in Laur_Sys; sols : in out Solution_List;
                     16:                    fail : out boolean );
                     17:
                     18:   -- DESCRIPTION :
                     19:   --   tries to solve the fewnomial system p.
                     20:
                     21:   -- ON ENTRY :
                     22:   --   p          a Laurent polynomial system.
                     23:
                     24:   -- ON RETURN :
                     25:   --   sols       solutions of p, all solutions have only nonzero components;
                     26:   --   fail       true if p has more than n+1 different terms
                     27:   --              or if p has an infinite number of solutions.
                     28:
                     29: end Fewnomial_System_Solvers;