Re: maths, functions and solvers

2012-05-29 Thread Edmund
No, core.logic is not the answer here; numerical stuff is currently out of reach. On Saturday, 26 May 2012 03:25:22 UTC+1, jlk wrote: > > Hi Zack > > I don't really know enough about core.logic to comment on this. Brent > mentions symbolic math and it sounds neat but I'm more interested in > n

Re: maths, functions and solvers

2012-05-25 Thread jlk
Hi Zack I don't really know enough about core.logic to comment on this. Brent mentions symbolic math and it sounds neat but I'm more interested in numerical solutions at the moment. Cheers On Saturday, May 26, 2012 10:45:09 AM UTC+10, Brent Millare wrote: > > I originally assumed core.logic

Re: maths, functions and solvers

2012-05-25 Thread jlk
On Friday, May 25, 2012 9:30:12 AM UTC+10, Stephen Compall wrote: > > On May 24, 2012 8:42 AM, "jlk" JLK wrote: > > However the only way I can think of converting the argument list and the > function into a function of one argument is with an intermediate function. > > Apply is the standard way to

Re: maths, functions and solvers

2012-05-25 Thread Brent Millare
I originally assumed core.logic would be the key to symbolic math, but now I feel that's not really the case. You still need to implement all the algebra manipulation algorithms as usual. One can define the numbers in a different way as Ambrose did in his talk, but I imagine we would need to ha

Re: maths, functions and solvers

2012-05-24 Thread Zack Maril
Off topic: How hard would it be to build on core.logicto do math functions? -Zack On Thursday, May 24, 2012 9:30:12 PM UTC-2, Stephen Compall wrote: > > On May 24, 2012 8:42 AM, "jlk" wrote: > > However the only way I can think of converting the

Re: maths, functions and solvers

2012-05-24 Thread Stephen Compall
On May 24, 2012 8:42 AM, "jlk" wrote: > However the only way I can think of converting the argument list and the function into a function of one argument is with an intermediate function. Apply is the standard way to listify a function's arguments. Where f is a function taking n args, (partial a

maths, functions and solvers

2012-05-24 Thread jlk
Hello I've got a problem I'm stuck with and would value some extra input... Basically I'd like to be able to define a maths function with a large number of variables, then pass this and a map of arguments to a solve function which solves for whatever is not defined in the map. Now the solve fu