Return to transforming_solutions.ads CVS log

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

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

1.1       maekawa     1: with Standard_Complex_Numbers;           use Standard_Complex_Numbers;
                      2: with Standard_Complex_Vectors;           use Standard_Complex_Vectors;
                      3: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      4: with Transformations;                    use Transformations;
                      5:
                      6: package Transforming_Solutions is
                      7:
                      8: -- DESCRIPTION :
                      9: --   The transformations on solutions are used in solving systems
                     10: --   by monomial transformations.
                     11:
                     12:   procedure Transform ( t : in Transfo; s : in out Solution );
                     13:   function  Transform ( t : Transfo; s : Solution ) return Solution;
                     14:
                     15:   procedure Transform ( t : in Transfo; l : in out Solution_List );
                     16:   function  Transform ( t : Transfo; l : Solution_List ) return Solution_List;
                     17:
                     18:   -- DESCRIPTION :
                     19:   --   The transformation t will be applied.
                     20:
                     21:   function Insert ( c : Complex_Number; i : integer; s : Solution )
                     22:                   return Solution;
                     23:
                     24:   procedure Insert ( c : in Complex_Number; i : in integer;
                     25:                     l : in out Solution_List );
                     26:   function  Insert ( c : Complex_Number; i : integer; l : Solution_List )
                     27:                    return Solution_List;
                     28:
                     29:   -- DESCRIPTION :
                     30:   --   To the ith component of the solution vector, c will be inserted.
                     31:
                     32:   function Insert ( cv : vector; i : integer; s : Solution )
                     33:                  return Solution_List;
                     34:
                     35:   -- DESCRIPTION :
                     36:   --   All components in the vector cv will be inserted as the
                     37:   --   the ith component in the solution vector.
                     38:
                     39: end Transforming_Solutions;