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     ! 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;