------------------------------------------------------- -- Online Help : CoCoA 4.7.5 -- -- date : 2009/Jun/03 -- -------------------------------------------------------