[Mathlib-develop] Re: Symbolic calculations

[Stefan M. <st...@he...>]

>>Hi Mark and Stefan!
>>
>>1) Why don't we put it on a new class on Functions/Calculus package? I have
>>free access to some "numerical methods" books at the university, so if you
>>need it I'll pass you some hints.
> 
> 
> What I meant was how to handle cases like derivative( sin(x), x) => cos(x) 
> or even derivative( UserFunction(x), x) => OtherFunction(x)
> 
> My idea was that the implementation of sin and UserFunction would contain a 
> method called derivative which would return the correct value.
I aggree to add the two methods to the individual functions.
But what about complex integration/derivative rules, like the chain
rule?
e.g.: d/dx of sin(cos(x))


>>2) Do you mean find the factors of a number (15= 3*5)
>>If true, this page can help you http://www.alpertron.com.ar/ECM.HTM
>>I have tried it with 128 digits on 16 segons!!!
> 
> 
> Actually I meant finding factors of polynomials 
> i.e. x^2 + 2*x + 1 => (x+1)^2
> 
> Though I'll check the link out since the the current implementation of 
> numerical factorization is pretty slow.
Sorry, I've no clue at all. I've never done anything with symbolic
stuff.

Kind regards,
   Stefan.

-- 
------------------------------------
Dr.-Ing. Stefan Mueller
email: St...@he...
------------------------------------