

            set_subset (4) --- return TRUE if set1 is a subset of set2  07/20/84


          | _C_a_l_l_i_n_g _I_n_f_o_r_m_a_t_i_o_n

                 logical function set_subset (set1, set2)
                 pointer set1, set2

          |      Library: vswtmath (Subsystem mathematical library)


            _F_u_n_c_t_i_o_n

                 'Set_subset' returns the logical value '.true.'  if and only
                 if its first argument points to a set that is a subset of or
                 equal  to  the  set  pointed to by its second argument.  The
                 sets need not be of equal length.

                 All set manipulation routines make use of  dynamic  storage,
                 which  must  be  initialized  before  use.  See 'dsinit' for
                 further information.

                 Note that all set manipulation routines have long names.  To
                 avoid unique name conflicts with other routines, any  Ratfor
                 program  using the set routines should include the following
                 statement:

          |           include "=src=/lib/math/swtmlb_link.r.i"


            _I_m_p_l_e_m_e_n_t_a_t_i_o_n

                 If one set is larger than the other, it is checked  to  make
                 sure that none of the higher-order elements is present.  The
                 subset  condition  is then true if and only if every element
                 of 'set1' is also an element of 'set2',  a  statement  which
                 can  be  checked  a  word  at a time with the proper logical
                 operations.


            _C_a_l_l_s

                 set_element


            _S_e_e _A_l_s_o

                 other set routines ('set_?*') (4)













            set_subset (4)                - 1 -                set_subset (4)


