> <\body> <\session|axiom|default> <\output> Axiom Computer Algebra System (Release 2.3) Linux 2.2 for Intel i386 (AXLUX23NA) -----------------------------------------------------------------------\ ------ \ \ \ Issue )copyright to view copyright notices. \ \ \ Issue )summary for a summary of useful system commands. \ \ \ Issue )quit to leave AXIOM and return to shell. -----------------------------------------------------------------------\ ------ \; <\input|<\with|color|red> >\ > differentiate(x^x^x,x) <\input|<\with|color|red> >\ > a: Symbol := 'a <\input|<\with|color|red> >\ > b: Symbol := 'b <\input|<\with|color|red> >\ > coef := Fraction(Integer) <\input|<\with|color|red> >\ > group := LieExponentials(Symbol, coef, 4) <\input|<\with|color|red> >\ > lpoly := LiePolynomial(Symbol, coef) <\input|<\with|color|red> >\ > poly := XPBWPolynomial(Symbol, coef) <\input|<\with|color|red> >\ > ea := exp(a::lpoly)$group <\input|<\with|color|red> >\ > eb := exp(b::lpoly)$group <\input|<\with|color|red> >\ > g: group := ea*eb <\input|<\with|color|red> >\ > g :: poly <\input|<\with|color|red> >\ > log(g)$group <\input|<\with|color|red> >\ > g1: group := inv(g) <\input|<\with|color|red> >\ > g*g1 <\input|<\with|color|red> >\ > \; \; <\initial> <\collection>