tag:blogger.com,1999:blog-786816577681924169.post2110275885292132007..comments2024-03-08T03:17:46.652-05:00Comments on Abstract Nonsense: Symbolic Calculus in HaskellAnonymoushttp://www.blogger.com/profile/06806017873801457510noreply@blogger.comBlogger11125tag:blogger.com,1999:blog-786816577681924169.post-34827807930745533482019-03-21T05:14:14.134-04:002019-03-21T05:14:14.134-04:00Regardless of whether you are an individual from o...Regardless of whether you are an individual from one the numerous mainstream intuitive polynomial math networks despite everything you have to study and practice a great deal. <br /> <a href="https://www.mathscroll.com/" rel="nofollow">algebra</a>Sarahhttps://www.blogger.com/profile/01618128254174522484noreply@blogger.comtag:blogger.com,1999:blog-786816577681924169.post-34684220029332605382019-03-21T05:13:48.008-04:002019-03-21T05:13:48.008-04:00This comment has been removed by the author.Sarahhttps://www.blogger.com/profile/01618128254174522484noreply@blogger.comtag:blogger.com,1999:blog-786816577681924169.post-31615906229810781942016-02-10T10:40:53.087-05:002016-02-10T10:40:53.087-05:00This comment has been removed by the author.Anonymoushttps://www.blogger.com/profile/12323956712806440963noreply@blogger.comtag:blogger.com,1999:blog-786816577681924169.post-80230072352747317222013-05-02T14:57:49.473-04:002013-05-02T14:57:49.473-04:00Yes, when differentiating I'm expecting a sing...Yes, when differentiating I'm expecting a single-variable function, and if it's a multivariate function, the differentiation isn't quite right...<br /><br />I haven't dealt with differentiation of multivariate functions yet, so I don't exactly know what the process is like, and so I didn't include it.<br /><br />There's no check on whether or not the functions being differentiated are of a single variable, but I've only used single variable functions. <br /><br />I initially left out the naming of variables but for the purposes of power series, it's necessary, so I stuck it in. The system's not perfect because of little issues like this as you point out, but it works okay as a demonstration.<br /><br />Thank you for pointing out the flaw though -- I appreciate the feedback!Anonymoushttps://www.blogger.com/profile/06806017873801457510noreply@blogger.comtag:blogger.com,1999:blog-786816577681924169.post-42917154783688477752013-05-02T14:53:55.267-04:002013-05-02T14:53:55.267-04:00Thanks! Someone on Reddit also pointed that out an...Thanks! Someone on Reddit also pointed that out and I've fixed it.Anonymoushttps://www.blogger.com/profile/06806017873801457510noreply@blogger.comtag:blogger.com,1999:blog-786816577681924169.post-84717412178279248212013-05-02T06:36:04.616-04:002013-05-02T06:36:04.616-04:00You give variables a one-char name, but then ignor...You give variables a one-char name, but then ignore the name completeley. You should either just drop the name (so there is only one variable), or treat different variables differently when differentiating. In the latter case, derivative should take a variable as an argument, declaring which variable to differentiate by.Audunhttps://www.blogger.com/profile/08289738984701974229noreply@blogger.comtag:blogger.com,1999:blog-786816577681924169.post-75716384626940134022013-05-01T22:49:36.214-04:002013-05-01T22:49:36.214-04:00Small note: -(a^b) /= (-a)^bSmall note: -(a^b) /= (-a)^bNoahhttps://www.blogger.com/profile/12638229035633367208noreply@blogger.comtag:blogger.com,1999:blog-786816577681924169.post-91422116197674496242013-05-01T15:01:22.577-04:002013-05-01T15:01:22.577-04:00Thank you, and thanks for letting me know! I'l...Thank you, and thanks for letting me know! I'll correct it.Anonymoushttps://www.blogger.com/profile/06806017873801457510noreply@blogger.comtag:blogger.com,1999:blog-786816577681924169.post-42887326628898164672013-05-01T15:00:44.515-04:002013-05-01T15:00:44.515-04:00Very interesting -- I was actually wondering about...Very interesting -- I was actually wondering about that. It's awesome that it works, thanks for sharing!Anonymoushttps://www.blogger.com/profile/06806017873801457510noreply@blogger.comtag:blogger.com,1999:blog-786816577681924169.post-3857284140383184162013-05-01T13:25:46.302-04:002013-05-01T13:25:46.302-04:00Great article! Nice style.
(you've got a typo...Great article! Nice style.<br /><br />(you've got a typo in T_1 = a/1 * (x-a) = x*(x-a). (should be a * (x-a)))Anonymoushttps://www.blogger.com/profile/15209055426404504584noreply@blogger.comtag:blogger.com,1999:blog-786816577681924169.post-82199385649943321422013-05-01T13:15:02.709-04:002013-05-01T13:15:02.709-04:00You can declare your type an instance of Num, Floa...You can declare your type an instance of Num, Floating etc. like I did here<br />https://github.com/hepek/Ramblings/blob/master/symb.lhs<br /><br />And then you can write your expressions excatly like you would write your programs.Milan Markovićhttps://www.blogger.com/profile/00643909785529395736noreply@blogger.com