Return to set_structure.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/set_structure.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Natural_Vectors;
        !             3: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
        !             4:
        !             5: package Set_Structure is
        !             6:
        !             7: -- DESCRIPTION :
        !             8: --   This package manages the set structure of a polynomial system.
        !             9:
        !            10: -- CONSTRUCTORS :
        !            11:
        !            12:   procedure Init ( ns : in Standard_Natural_Vectors.Vector );
        !            13:
        !            14:   -- DESCRIPTION :
        !            15:   --   Initialization of the datastructures, must be the first operation.
        !            16:   --   ns(i) contains the number of sets for the ith equation.
        !            17:
        !            18:   procedure Add ( i,j,k : in natural );
        !            19:
        !            20:   -- DESCRIPTION :
        !            21:   --   To the jth set of the ith equation, the kth unknown will be added.
        !            22:
        !            23:   procedure Remove ( i,j,k : in natural );
        !            24:
        !            25:   -- DESCRIPTION :
        !            26:   --   The kthe unknown will be removed from the jth set
        !            27:   --   of the ith equation.
        !            28:
        !            29: --  SELECTORS :
        !            30:
        !            31:   function Empty return boolean;
        !            32:
        !            33:   -- DESCRIPTION :
        !            34:   --   Returns true if the set structure is empty.
        !            35:
        !            36:   function Dimension return natural;
        !            37:
        !            38:   -- DESCRIPTION :
        !            39:   --   Returns the dimension, that is the number of equations.
        !            40:
        !            41:   function Number_of_Sets ( i : natural ) return natural;
        !            42:
        !            43:   -- DESCRIPTION :
        !            44:   --   Returns the number of sets for the i-th equation.
        !            45:
        !            46:   function Is_In ( i,j,k : natural ) return boolean;
        !            47:
        !            48:   -- DESCRIPTION :
        !            49:   --   Returns true if the k-th unknown belongs to the j-th set of the
        !            50:   --   i-th equation.
        !            51:
        !            52: -- COMPUTING THE UPPER BOUND :
        !            53:
        !            54:   function B return natural;
        !            55:
        !            56:   -- REQUIRED :
        !            57:   --   There exists a set structure for a polynomial system
        !            58:
        !            59:   -- DESCRIPTION :
        !            60:   --   Returns an upper bound to the number of solutions to
        !            61:   --   a given polynomial system.
        !            62:
        !            63:   procedure B ( bn : out natural; l : in out List );
        !            64:
        !            65:   -- REQUIRED :
        !            66:   --   There exists a set structure for a polynomial system
        !            67:
        !            68:   -- DESCRIPTION :
        !            69:   --   Returns the upper bound bn, together with the positions
        !            70:   --   corresponding to the acceptable classes.
        !            71:
        !            72: -- DESTRUCTOR :
        !            73:
        !            74:   procedure Clear;
        !            75:
        !            76:   -- DESCRIPTION :
        !            77:   --   All used memory will be freed
        !            78:
        !            79: end Set_Structure;