#6559: Real domain for symbolic variables
----------------------------------------------------+-----------------------
   Reporter:  gmhossain                             |       Owner:            
       Type:  enhancement                           |      Status:  needs_work
   Priority:  major                                 |   Milestone:  sage-4.3.1
  Component:  symbolics                             |    Keywords:  pynac     
     Author:  Golam Mortuza Hossain, Burcin Erocal  |    Upstream:  N/A       
   Reviewer:                                        |      Merged:            
Work_issues:                                        |  
----------------------------------------------------+-----------------------
Changes (by newvalueoldvalue):

  * keywords:  => pynac
  * work_issues:  needs rebase =>
  * author:  Golam Mortuza Hossain => Golam Mortuza Hossain, Burcin Erocal


Comment:

 I uploaded a revised version of Golam's patch at attachment:trac_6559
 -domain-and-latex_name-for-variable.take2.3.patch, and a referee patch at
 attachment:trac_6559-referee.patch.

 The changes in the revised patch over Golam's version are
  * rebased to 4.3.rc0
  * removed `sage.symbolic.ring.SR.new_var()` and
 `sage.symbolic.ring.is_ComplexVariable()` functions. The first is same as
 `SR.symbol()` and I don't see a use for the second, since all variables
 are complex. :)
  * removed pickling changes in sage.symbolic.expression.Expression, since
 unpickling in this case could create a new variable with the same name as
 an existing one, but with a different domain. This would lead to rather
 confusing situations.

 The referee patch reorganizes the new code a little to make it more
 efficient. Apparently the new variable creation is an important operation
 and being sloppy here greatly increases doctest timings. It also adds new
 methods like `_is_positive()`, `_is_real()` to the expression class to
 allow querying for more properties.

 Only the patches
  * attachment:trac_6559-domain-and-latex_name-for-variable.take2.3.patch
 and
  * attachment:trac_6559-referee.patch
 should be applied.

 This ticket depends on the new pynac package here:

 http://sage.math.washington.edu/home/burcin/pynac/pynac-0.1.11.spkg

 which in turns depends on the patches at #7822, #7876, #7363, #7955,
 #7957, #7916 and #6465 (in that order).

 The changes here seem to slow down the maxima interface dramatically, so
 I'm leaving this as needs work for now.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6559#comment:7>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB
-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.


Reply via email to