[sage-devel] Re: desolve problems

2010-04-10 Thread yuri.k
> thanks for working on this topis, it is a nice idea to extract > variables from ODE automatically. I vote also for splitting into two > patches and if you have problems with this, I can try it to split them > by myself. Anyway, the ODE patch depends on the mtype interface and > this interface sho

[sage-devel] Re: desolve problems

2010-04-09 Thread ma...@mendelu.cz
Hi Yuri, thanks for working on this topis, it is a nice idea to extract variables from ODE automatically. I vote also for splitting into two patches and if you have problems with this, I can try it to split them by myself. Anyway, the ODE patch depends on the mtype interface and this interface sho

[sage-devel] Re: desolve problems

2010-03-29 Thread yuri.k
> ivars = set(dvar.arguments()).intersection(extract_var_from_diff(de)) I forgot to make intersection in first patch. Changes are in the second one. It helps us to solve sage: x,t=var('x t') sage: f=function('f',x) sage: g=function('g',t,x) sage: de=diff(f,x)+f+diff(g,t,x) sage: desolve(de,f) (c

[sage-devel] Re: desolve problems

2010-03-28 Thread yuri.k
> I suggest that you provide two different patches instead of bundling > all your changes together. One for the desolve fixes, and another one > for your mtype interface. > > Note that each trac ticket should be on one issue only [1]. > > [1]http://www.sagemath.org/doc/developer/trac.html#reasons-t

Re: [sage-devel] Re: desolve problems

2010-03-28 Thread Burcin Erocal
Hi Yuri, Thank you for taking the time to fix the problems you see in the symbolic module. On Sun, 28 Mar 2010 10:12:49 -0700 (PDT) "yuri.k" wrote: > > > Did you use hg_sage.add? It is explained > > here:http://www.sagemath.org/doc/developer/producing_patches.html#quick-me... > > No I didn't.

[sage-devel] Re: desolve problems

2010-03-28 Thread yuri.k
> Did you use hg_sage.add? It is explained > here:http://www.sagemath.org/doc/developer/producing_patches.html#quick-me... No I didn't. Thank you for your help. I almost ready with patch. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, sen

Re: [sage-devel] Re: desolve problems

2010-03-28 Thread Minh Nguyen
Hi, On Mon, Mar 29, 2010 at 1:46 AM, yuri.k wrote: > P.S.: If you have any ideas what should I do - please help me to save > some time. The first chapter of the Developer's Guide [1] is minimum required reading for anyone who wants to effectively contribute to Sage. [1] http://www.sagemath.o

Re: [sage-devel] Re: desolve problems

2010-03-28 Thread David Joyner
On Sun, Mar 28, 2010 at 10:46 AM, yuri.k wrote: > On Mar 28, 4:23 pm, "ma...@mendelu.cz" wrote: >> I got some problems after installing the patch, see the comment at >> trac.sagemath.org > > I added new file sage/symbolic/mtype.py - which is symbolic module. > (it was marked as ? instead of M in

[sage-devel] Re: desolve problems

2010-03-28 Thread yuri.k
On Mar 28, 4:23 pm, "ma...@mendelu.cz" wrote: > I got some problems after installing the patch, see the comment at > trac.sagemath.org I added new file sage/symbolic/mtype.py - which is symbolic module. (it was marked as ? instead of M in patch log) I think patch does not create new files. I'll t

[sage-devel] Re: desolve problems

2010-03-28 Thread ma...@mendelu.cz
I got some problems after installing the patch, see the comment at trac.sagemath.org On 27 bře, 22:45, "yuri.k" wrote: > patch added > > http://trac.sagemath.org/sage_trac/ticket/8616#comment:3 -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group

[sage-devel] Re: desolve problems

2010-03-27 Thread yuri.k
patch added http://trac.sagemath.org/sage_trac/ticket/8616#comment:3 -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/gro

[sage-devel] Re: desolve problems

2010-03-27 Thread yuri.k
I add changes to the trac. So it will be possible to autodetect dependent and independent variables in most cases (actually in all cases sage is able to solve in this moment). The same can be done with systems I guess and of course with bug http://trac.sagemath.org/sage_trac/ticket/7401 Anyone wh

[sage-devel] Re: desolve problems

2010-03-27 Thread yuri.k
I add changes to the trac. So it will be possible to autodetect dependent and independent variables in most cases (actually in all cases sage is able to solve in this moment). The same can be done with systems I guess and of course with bug http://trac.sagemath.org/sage_trac/ticket/7401 Anyone wh

[sage-devel] Re: desolve problems

2010-03-27 Thread yuri.k
I add changes to the trac. So it will be possible to autodetect dependent and independent variables in most cases (actually in all cases sage is able to solve in this moment). The same can be done with systems I guess and of course with bug http://trac.sagemath.org/sage_trac/ticket/7401 Anyone wh

[sage-devel] Re: desolve problems

2010-03-24 Thread yuri.k
> -If the constants are different: it is really easy to compute any > expression of general solutions of equation. And what is better it is > also really easy to compare two solutions being the same. If sol1-sol2 > is constant then solutions sol1 and sol2 are equal (the same) > So in my opinion it

[sage-devel] Re: desolve problems

2010-03-24 Thread yuri.k
> I am not sure if this will work for DE's involving term like y'(a*x > +b). But if you find a secure method how to find dependent and > independent variables from derivative, you can also fix > bughttp://trac.sagemath.org/sage_trac/ticket/7401 Neither Maple nor Maxima can solve the differential

[sage-devel] Re: desolve problems

2010-03-23 Thread ma...@mendelu.cz
On 22 bře, 14:26, YURi KARADZhOV wrote: > desolve(eq,y,ivar=x) > > which is really annoying. And what is worse - we get a wrong answer > > -((a*x - 1)*b*e^(a*x)/a^2 + c*e^(a*x)/a - c)*e^(-a*x) > > but the right answer is > > -((a*x - 1)*b*e^(a*x)/a^2 + c*e^(a*x)/a - _C1)*e^(-a*x) > > where _C1 - a

[sage-devel] Re: desolve problems

2010-03-23 Thread ma...@mendelu.cz
On 22 bře, 14:26, YURi KARADZhOV wrote: > I played around with sage and found some problems with desolve command. > To solve ode diff(y(x),x)+a*y(x)+b*x+c we should first define variables and > functions > > x = var('x') > > a,b,c=var('a b c') > > y=function('y',x) > > eq=diff(y,x)+a*y+b*x+c > >

Re: [sage-devel] Re: desolve problems

2010-03-23 Thread David Joyner
On Tue, Mar 23, 2010 at 10:56 AM, yuri.k wrote: > Actually I finished the improvements I mentioned. And even more - I > developed simple type checking and function which return subexpression > of given expression by given symbolic type. Thank you for your work. > > But I still have questions: >

[sage-devel] Re: desolve problems

2010-03-23 Thread yuri.k
Actually I finished the improvements I mentioned. And even more - I developed simple type checking and function which return subexpression of given expression by given symbolic type. But I still have questions: 1. Is there an easy way to check if some class belongs to package in python? 2. Where s