`dp_f4_main', `dp_f4_mod_main', `dp_weyl_f4_main', `dp_weyl_f4_mod_main'
------------------------------------------------------------------------

dp_f4_main(PLIST,VLIST,ORDER)
dp_f4_mod_main(PLIST,VLIST,ORDER)
dp_weyl_f4_main(PLIST,VLIST,ORDER)
dp_weyl_f4_mod_main(PLIST,VLIST,ORDER)
     :: Groebner basis computation by F4 algorithm (built-in functions)

RETURN
     list

PLIST  VLIST
     list

ORDER
     number, list or matrix

   * These functions compute Groebner bases by F4 algorithm.

   * F4 is a new generation algorithm for Groebner basis computation
     invented by J.C. Faugere. The current implementation of
     `dp_f4_main()' uses Chinese Remainder theorem and not highly
     optimized.

   * Arguments and actions are the same as those of `dp_gr_main()',
     `dp_gr_mod_main()', `dp_weyl_gr_main()', `dp_weyl_gr_mod_main()',
     except for lack of the argument for controlling homogenization.

References
     *Note `dp_ord': dp_ord, *Note `dp_gr_flags dp_gr_print':
     dp_gr_flags dp_gr_print, *Note `gr hgr gr_mod': gr hgr gr_mod,
     *Note `Controlling Groebner basis computations': Controlling
     Groebner basis computations

