[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-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

[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

[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: Symbolic Sage - What is it?

2010-03-27 Thread yuri.k
> I will add code to trac as soon as possible. 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 gr

[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] Symbolic Sage - What is it?

2010-03-27 Thread yuri.k
As a maple user I can say that sage is difficult to use if you just going to do some simple math. The main reason is - I used to deal with symbolic computation. So what's wrong with symbolic in Sage? To do some complex symbolic computation I usually need symbolic variables, functions, regular numb

[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 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