with Test_Double_Lseries_Matrices;

procedure ts_laurmat is

-- DESCRIPTION :
--   Calls the main test on matrices of Laurent series,
--   in double precision.

begin
  Test_Double_Lseries_Matrices.Main;
end ts_laurmat;
