Return to symmetric_lifting_functions.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Symmetry/symmetric_lifting_functions.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
        !             2: with Standard_Integer_Vectors;
        !             3: with Standard_Floating_Vectors;
        !             4: with Arrays_of_Integer_Vector_Lists;
        !             5: with Arrays_of_Floating_Vector_Lists;
        !             6: with Symmetry_Group;                     use Symmetry_Group;
        !             7:
        !             8: package Symmetric_Lifting_Functions is
        !             9:
        !            10: -- DESCRIPTION :
        !            11: --   This package provides symmetric lifting functions.
        !            12:
        !            13:   procedure Classify_Orbits
        !            14:                ( supports : in Arrays_of_Integer_Vector_Lists.Array_of_Lists;
        !            15:                  mix : in Standard_Integer_Vectors.Vector;
        !            16:                  v,w : in List_of_Permutations; norb : out natural;
        !            17:                  orbits : out Arrays_of_Integer_Vector_Lists.Array_of_Lists );
        !            18:
        !            19:   -- DESCRIPTION :
        !            20:   --   This procedure provides a symmetric lifting for the given supports,
        !            21:   --   w.r.t. the symmetry group, represented by the lists of permutations
        !            22:   --   v and w.
        !            23:
        !            24:   -- ON ENTRY :
        !            25:   --   supports  supports of a polynomial system;
        !            26:   --   mix       type of mixture;
        !            27:   --   v,w       linear representations of the group actions:
        !            28:   --               wk P(x) = P(vk x).
        !            29:
        !            30:   -- ON RETURN :
        !            31:   --   norb      the number of different orbits;
        !            32:   --   orbits    the lifted supports, w.r.t. the symmetry group,
        !            33:   --             as lifting value the orbit number has been used.
        !            34:
        !            35:   procedure Float_Lift_Orbits
        !            36:                ( orbits : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
        !            37:                  lifting : in Standard_Floating_Vectors.Vector );
        !            38:
        !            39:   -- DESCRIPTION :
        !            40:   --   Given supports with classified orbits, each orbit will receive
        !            41:   --   the corresponding lifting value in the vector lifting.
        !            42:
        !            43:   -- REQUIRED :
        !            44:   --   lifting has range 1..#orbits
        !            45:
        !            46:   procedure Integer_Lift_Orbits
        !            47:                ( orbits : in out Arrays_of_Integer_Vector_Lists.Array_of_Lists;
        !            48:                  lifting : in Standard_Integer_Vectors.Vector );
        !            49:
        !            50:   -- DESCRIPTION :
        !            51:   --   Given supports with classified orbits, each orbit will receive
        !            52:   --   the corresponding lifting value in the vector lifting.
        !            53:
        !            54:   -- REQUIRED :
        !            55:   --   lifting has range 1..#orbits
        !            56:
        !            57:   procedure Float_Random_Lift_Orbits
        !            58:                ( orbits : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
        !            59:                  norb : in natural; lower,upper : in double_float );
        !            60:
        !            61:   -- DESCRIPTION :
        !            62:   --   Orbits are given random floating-point lifting values in [lower,upper].
        !            63:   --   Every point in the same orbit receives the same lifting.
        !            64:
        !            65:   -- ON ENTRY :
        !            66:   --   orbits    classified orbits, last entry of vectors is orbit number;
        !            67:   --   norb      the number of orbits;
        !            68:   --   lower     lower bound for random number generator;
        !            69:   --   upper     upper bound for random number generator.
        !            70:
        !            71:   -- ON RETURN :
        !            72:   --   orbits    each point in the same orbit has the same random number.
        !            73:
        !            74:   procedure Integer_Random_Lift_Orbits
        !            75:                ( orbits : in out Arrays_of_Integer_Vector_Lists.Array_of_Lists;
        !            76:                  norb : in natural; lower,upper : in integer );
        !            77:
        !            78:   -- DESCRIPTION :
        !            79:   --   Orbits are given random integer lifting values in [lower,upper].
        !            80:   --   Every point in the same orbit receives the same lifting.
        !            81:
        !            82:   -- ON ENTRY :
        !            83:   --   orbits    classified orbits, last entry of vectors is orbit number;
        !            84:   --   norb      the number of orbits;
        !            85:   --   lower     lower bound for random number generator;
        !            86:   --   upper     upper bound for random number generator.
        !            87:
        !            88:   -- ON RETURN :
        !            89:   --   orbits    each point in the same orbit has the same random number.
        !            90:
        !            91: end Symmetric_Lifting_Functions;