------------------------------------------------------- -- Online Help : CoCoA 5.0 -- -- date : 12 Mar 2012 -- -------------------------------------------------------