LIB "latex.lib";
// -------- prepare for example ---------
if (defined(TeXaligned)) {int Teali=TeXaligned; kill TeXaligned;}
if (defined(TeXbrack)){string Tebra=TeXbrack; kill TeXbrack;}
//
//  --------------  typesetting for polynomials ----------
ring r = 0,(x,y),lp;
poly f = x5y3 + 3xy4 + 2xy2 + y6;
f;
==> x5y3+3xy4+2xy2+y6
texobj("",f);
==> $$
==> \begin{array}{rl}
==> & x^{5}y^{3}+3xy^{4}+2xy^{2}+y^{6}\\
==> \end{array}
==> $$
//  --------------  typesetting for ideals ----------
ideal G = jacob(f);
G;
==> G[1]=5x4y3+3y4+2y2
==> G[2]=3x5y2+12xy3+4xy+6y5
texobj("",G);
==> $$
==> \left(
==> \begin{array}{c}
==> 5x^{4}y^{3}+3y^{4}+2y^{2}, \\
==> 3x^{5}y^{2}+12xy^{3}+4xy+6y^{5}
==> \end{array}
==> \right)$$
//  --------------  variation of typesetting for ideals ----------
int TeXaligned = 1; export TeXaligned;
string TeXbrack = "<"; export TeXbrack;
texobj("",G);
==> $\left<5x^{4}y^{3}+3y^{4}+2y^{2},3x^{5}y^{2}+12xy^{3}+4xy+6y^{5}\right>$
kill TeXaligned, TeXbrack;
//  --------------  typesetting for matrices ----------
matrix J = jacob(G);
texobj("",J);
==> $$
==> \left(
==> \begin{array}{*{2}{c}}
==> 20x^{3}y^{3} & 15x^{4}y^{2}+12y^{3}+4y \\
==> 15x^{4}y^{2}+12y^{3}+4y & 6x^{5}y+36xy^{2}+4x+30y^{4}
==> \end{array}
==> \right)
==> $$
//  --------------  typesetting for intmats ----------
intmat m[3][4] = 9,2,4,5,2,5,-2,4,-6,10,-1,2,7;
texobj("",m);
==> $$
==> \left(
==> \begin{array}{*{4}{r}}
==> 9 & 2 & 4 & 5\\
==> 2 & 5 & -2 & 4\\
==> -6 & 10 & -1 & 2
==> \end{array}
==> \right)
==> $$
//
// --- restore global variables if previously defined ---
if (defined(Teali)){int TeXaligned=Teali; export TeXaligned; kill Teali;}
if (defined(Tebra)){string TeXbrack=Tebra; export TeXbrack; kill Tebra;}