/* PLEASE READ FIRST LINE OF demo.txt */
//some functions..
LINEWIDTH := 40;
eqline := &cat["=" : i in [1..LINEWIDTH] ];;
procedure prcen(s)
        i1 := Floor((LINEWIDTH-#s)/2);
        i2 := LINEWIDTH-#s-i1;
        print &cat[" ": i in [1..i1] ] cat s cat &cat[" ": i in [1..i2] ];
end procedure;
procedure prm(s)
        print eqline;
        prcen(s);
        print eqline;
end procedure;


/* HEAD */
procedure sheet_head()
        print eqline;
        prcen("MAGMA Computational Algebra System");
        prcen("http://magma.maths.usyd.edu.au/");
        print "";
        print("Dan Roozemond, June 2007");
        print eqline;
end procedure;


/* CONTENTS */
procedure sheet_contents();
        print eqline;
        prcen("CONTENTS");
        print "1. Magma in general";
        print "2. Support for Lie groups";
        print "3. LiE: Computer algebra package";
        print "   for Lie group computations";
        print eqline;
end procedure;