internal/demo/plugins/axiom-demo.tm

   1 <TeXmacs|1.0.0.6>
   2
   3 <style|<tuple|generic|axiom>>
   4
   5 <\body>
   6   <\session|axiom|default>
   7     <\output>
   8       Axiom Computer Algebra System (Release 2.3)
   9
  10       Linux 2.2 for Intel i386 (AXLUX23NA)
  11
  12       -----------------------------------------------------------------------\
  13       ------
  14
  15       \ \ \ Issue )copyright to view copyright notices.
  16
  17       \ \ \ Issue )summary for a summary of useful system commands.
  18
  19       \ \ \ Issue )quit to leave AXIOM and return to shell.
  20
  21       -----------------------------------------------------------------------\
  22       ------
  23
  24       \;
  25     </output>
  26
  27     <\input|<\with|color|red>
  28       <with|mode|math|\<rightarrow\>>\
  29     </with>>
  30       differentiate(x^x^x,x)
  31     </input>
  32
  33     <\input|<\with|color|red>
  34       <with|mode|math|\<rightarrow\>>\
  35     </with>>
  36       a: Symbol := 'a
  37     </input>
  38
  39     <\input|<\with|color|red>
  40       <with|mode|math|\<rightarrow\>>\
  41     </with>>
  42       b: Symbol := 'b
  43     </input>
  44
  45     <\input|<\with|color|red>
  46       <with|mode|math|\<rightarrow\>>\
  47     </with>>
  48       coef := Fraction(Integer)
  49     </input>
  50
  51     <\input|<\with|color|red>
  52       <with|mode|math|\<rightarrow\>>\
  53     </with>>
  54       group := LieExponentials(Symbol, coef, 4)
  55     </input>
  56
  57     <\input|<\with|color|red>
  58       <with|mode|math|\<rightarrow\>>\
  59     </with>>
  60       lpoly := LiePolynomial(Symbol, coef)
  61     </input>
  62
  63     <\input|<\with|color|red>
  64       <with|mode|math|\<rightarrow\>>\
  65     </with>>
  66       poly := XPBWPolynomial(Symbol, coef)
  67     </input>
  68
  69     <\input|<\with|color|red>
  70       <with|mode|math|\<rightarrow\>>\
  71     </with>>
  72       ea := exp(a::lpoly)$group
  73     </input>
  74
  75     <\input|<\with|color|red>
  76       <with|mode|math|\<rightarrow\>>\
  77     </with>>
  78       eb := exp(b::lpoly)$group
  79     </input>
  80
  81     <\input|<\with|color|red>
  82       <with|mode|math|\<rightarrow\>>\
  83     </with>>
  84       g: group := ea*eb
  85     </input>
  86
  87     <\input|<\with|color|red>
  88       <with|mode|math|\<rightarrow\>>\
  89     </with>>
  90       g :: poly
  91     </input>
  92
  93     <\input|<\with|color|red>
  94       <with|mode|math|\<rightarrow\>>\
  95     </with>>
  96       log(g)$group
  97     </input>
  98
  99     <\input|<\with|color|red>
 100       <with|mode|math|\<rightarrow\>>\
 101     </with>>
 102       g1: group := inv(g)
 103     </input>
 104
 105     <\input|<\with|color|red>
 106       <with|mode|math|\<rightarrow\>>\
 107     </with>>
 108       g*g1
 109     </input>
 110
 111     <\input|<\with|color|red>
 112       <with|mode|math|\<rightarrow\>>\
 113     </with>>
 114       \;
 115     </input>
 116   </session>
 117
 118   \;
 119 </body>
 120
 121 <\initial>
 122   <\collection>
 123     <associate|paragraph width|150mm>
 124     <associate|odd page margin|5mm>
 125     <associate|page medium|automatic>
 126     <associate|shrinking factor|4>
 127     <associate|page right margin|5mm>
 128     <associate|page top margin|5mm>
 129     <associate|reduction page right margin|25mm>
 130     <associate|page type|a4>
 131     <associate|reduction page bottom margin|15mm>
 132     <associate|even page margin|5mm>
 133     <associate|reduction page left margin|25mm>
 134     <associate|page height|757760unit>
 135     <associate|page bottom margin|5mm>
 136     <associate|reduction page top margin|15mm>
 137     <associate|page width|1015808unit>
 138     <associate|language|english>
 139   </collection>
 140 </initial>