html/issue-f2ada64adc88a3b4014456bc2d50863f242a1f12.html

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
   3    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
   4
   5 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
   6 <head>
   7 <title>Conversion of / to \frac misplaces bracket types.</title>
   8 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
   9 <link rel="stylesheet" href="style.css" type="text/css" />
  10 </head>
  11
  12 <body>
  13
  14 <div class="main">
  15
  16 <h1>Conversion of / to \frac misplaces bracket types.</h1>
  17 <div class="backptr"><a href="index.html">&laquo; cadabra project page</a></div>
  18
  19
  20   <div class="description">
  21   <p>An expression of the form</p><p>  ( 1/\sqrt{2 B b**2} )**2</p><p>gets translated to </p><p>  { \frac(1)(\sqrt{2 B b**2}) }**2</p><p>whereas it should have been</p><p>  ( \frac{1}{\sqrt{2 B b**2}} )**2</p><p>I.e. the brackets around the '/' should sit on the \frac, not
  22 on each of the children of \frac.</p><p>The actual problem sits in preprocessor.cc, which does</p><p>[a*b]    -&gt;   \prod[a][b]
  23 [a/b]    -&gt;   \frac[a][b]
  24 [a/b]**2 -&gt;   \pow{\frac[a][b]}{2}</p><p>but </p><p>[\frac{a}{b}]  -&gt; \frac{a}{b}
  25 [\frac{a}{b}]**2 -&gt; \pow[\frac{a}{b}]</p><p>So the 'bug' is working the other way around: if you enter
  26 things in [\frac{a}{b}] notation, you should expect it to
  27 be different from [a/b]. Not sure whether this should be
  28 'fixed'; postponing for the time being.</p>
  29   </div>
  30
  31
  32 <h2>Details</h2>
  33 <table>
  34   <tbody>
  35     <tr>
  36       <td class="attrname">Id:</td>
  37       <td class="attrval"><span class="id">f2ada64adc88a3b4014456bc2d50863f242a1f12</span></td>
  38     </tr>
  39
  40     <tr>
  41       <td class="attrname">Type:</td>
  42       <td class="attrval">bugfix</td>
  43     </tr>
  44
  45     <tr>
  46       <td class="attrname">Creation time:</td>
  47       <td class="attrval">2010-01-30 20:41 GMT</td>
  48     </tr>
  49
  50     <tr>
  51       <td class="attrname">Creator:</td>
  52       <td class="attrval"><span class="person">Kasper Peeters &lt;kasper.peeters@...&gt;</span></td>
  53     </tr>
  54
  55
  56
  57     <tr>
  58       <td class="attrname">Release:</td>
  59       <td class="attrval">
  60
  61           <a href="unassigned.html">unassigned</a>
  62
  63       </td>
  64     </tr>
  65
  66     <tr>
  67       <td class="attrname">Component:</td>
  68       <td class="attrval"><a href="component-cadabra.html">cadabra</a></td>
  69     </tr>
  70
  71     <tr>
  72       <td class="attrname">Status:</td>
  73       <td class="attrval">
  74         unstarted
  75
  76       </td>
  77     </tr>
  78
  79
  80   </tbody>
  81 </table>
  82
  83
  84
  85 <h2>Issue log</h2>
  86
  87 <table class="log">
  88   <tbody>
  89
  90     <tr class="even-row">
  91       <td class="date">2010-02-06 18:12 GMT</td>
  92       <td class="person">Kasper Peeters &lt;kasper.peeters@...&gt;</td>
  93       <td class="message">edited description</td>
  94     </tr>
  95
  96     <tr><td></td></tr>
  97
  98     <tr class="odd-row">
  99       <td class="date">2010-02-06 18:10 GMT</td>
 100       <td class="person">Kasper Peeters &lt;kasper.peeters@...&gt;</td>
 101       <td class="message">unassigned from release 1.18</td>
 102     </tr>
 103
 104     <tr><td></td></tr>
 105
 106     <tr class="even-row">
 107       <td class="date">2010-02-05 00:26 GMT</td>
 108       <td class="person">Kasper Peeters &lt;kasper.peeters@...&gt;</td>
 109       <td class="message">edited description</td>
 110     </tr>
 111
 112     <tr><td></td></tr>
 113
 114     <tr class="odd-row">
 115       <td class="date">2010-01-30 20:41 GMT</td>
 116       <td class="person">Kasper Peeters &lt;kasper.peeters@...&gt;</td>
 117       <td class="message">created</td>
 118     </tr>
 119
 120     <tr><td></td></tr>
 121
 122   </tbody>
 123 </table>
 124
 125 </div>
 126 <div class="footer">Generated by <a href="http://ditz.rubyforge.org/">ditz</a>.</div>
 127
 128 </body>
 129 </html>