<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sat, Mar 28, 2015 at 5:10 AM, Animesh Saxena <span dir="ltr"><<a href="mailto:animeshsaxena@icloud.com" target="_blank">animeshsaxena@icloud.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I was implementing automatic differentiation in haskell and was able to code the calculation part, but I wanted to extend it to show the symbols instead of just the final value.<br>
<br>
Anyway now I was hoping to print the actual symbols, so I was googling around for extending “Show” typeclass for floating and Num, kinda similar pattern. Is this the right approach? Or I need to rethink the problem?<br>
Basically my aim is to do something like mathematica where if I specify D[f[x],x] then I get the answer in symbols.<br>
<br></blockquote><div><br>The idea would be to write a new type that transport an human readable 
representation as well as the actual value, then make it a Num, Floating and
 so on instance so that you could just use ADif with this type to get a 
representation of your action. You can look at <a href="https://hackage.haskell.org/package/simple-reflect">simple-reflect</a>
 for a simple implementation of this idea you can directly use with your
 ADif. If instead of a String, you transport an operation tree, you may 
even simplify your result and get back almost a symbolic differentiation
 from your automatic differentiation !<br><br>-- <br></div><div>Jedaï<br></div></div><br></div></div>