Make desolve deduce the variable if you don't state it

[sagetrac-yuri-k]

Provides autodetect dependent and independent variables in desolve(), desolve_laplace()

Additionally as module which helps to solve first problem provides unified interface for standard python types and sage specific types.
Treats everything as symbolic expression which allows to check its type, take
operator and operands and extract subexpressions by given types.

http://groups.google.com/group/sage-devel/browse_thread/thread/f2ba2198dc5b79ed

http://groups.google.com/group/sage-devel/browse_thread/thread/e04cbc547095f2ac

CC: @robert-marik @novoselt

Component: symbolics

Keywords: symbolic, type, subexpression

Author: Yuri Karadzhov

Issue created by migration from https://trac.sagemath.org/ticket/8616

[sagetrac-yuri-k]

symbolic sage module

[sagetrac-yuri-k]

Attachment: trac_8616_symbolic_sage.patch.gz

symbolic sage module

[sagetrac-yuri-k]

comment:2

Attachment: trac_8616_symbolic_sage.2.patch.gz

[sagetrac-yuri-k]

Description changed:

--- 
+++ 
@@ -2,4 +2,8 @@
 Treats everything as symbolic expression which allows to check its type, take
 operator and operands and extract subexpressions by given types.
 
+Provides autodetect dependent and independent variables in desolve()
+
 http://groups.google.com/group/sage-devel/browse_thread/thread/f2ba2198dc5b79ed
+
+http://groups.google.com/group/sage-devel/browse_thread/thread/e04cbc547095f2ac

[robert-marik]

Changed upstream from Reported upstream. Developers acknowledge bug. to none

[robert-marik]

comment:5

Hm I have the following error after installing the patch

ImportError: No module named mtype
Error importing ipy_profile_sage - perhaps you should run %upgrade?
WARNING: Loading of ipy_profile_sage failed.

And there is no mtype.* file in sage/symmbolic in my Sage 4.3.4

[sagetrac-yuri-k]

Attachment: trac_8616_symbolic_sage_correct.patch.gz

[sagetrac-yuri-k]

Attachment: trac_8616_symbolic_sage_correct2.patch.gz

more precise autodetect of independent variable

[sagetrac-yuri-k]

Description changed:

--- 
+++ 
@@ -2,7 +2,7 @@
 Treats everything as symbolic expression which allows to check its type, take
 operator and operands and extract subexpressions by given types.
 
-Provides autodetect dependent and independent variables in desolve()
+Provides autodetect dependent and independent variables in desolve(), desolve_laplace()
 
 http://groups.google.com/group/sage-devel/browse_thread/thread/f2ba2198dc5b79ed