#8237: Sage does not recognize Maxima's complex infinity
-----------------------------------+----------------------------------------
   Reporter:  robert.marik         |       Owner:  burcin    
       Type:  defect               |      Status:  needs_work
   Priority:  major                |   Milestone:  sage-4.3.3
  Component:  symbolics            |    Keywords:            
     Author:  Burcin Erocal        |    Upstream:  N/A       
   Reviewer:  Karl-Dieter Crisman  |      Merged:            
Work_issues:                       |  
-----------------------------------+----------------------------------------
Changes (by kcrisman):

  * status:  needs_review => needs_work
  * reviewer:  => Karl-Dieter Crisman


Comment:

 Looks good, but does it duplicate some of lines 1841ff of
 sage/calculus/calculus.py?
 {{{
 from sage.rings.infinity import infinity, minus_infinity
 register_symbol(infinity, dict(maxima='inf'))
 register_symbol(minus_infinity, dict(maxima='minf'))
 }}}
 Since
 {{{
 sage: type(infinity)
 <class 'sage.rings.infinity.PlusInfinity'>
 sage: type(SR(infinity))
 <type 'sage.symbolic.expression.Expression'>
 }}}
 my guess is that, at least for completeness, calculus.py should also
 import unsigned_infinity and have a line added with
 {{{
 register_symbol(unsigned_infinity, dict(maxima='infinity'))
 }}}

 Also, my taste in doctests is to also include the original example, not
 (only) the underlying cause:
 {{{
 sage: limit(1/x,x=0)
 Infinity
 sage: limit(1/x,x=0,dir='above')
 +Infinity
 sage: limit(1/x,x=0,dir='below')
 -Infinity
 }}}
 which of course works great now.  These are very minor quibbles, of
 course, but might as well be done.

 Also, in doctesting it doesn't like sage: sage: as the prefix (though one
 could argue this is a bug itself), and
 {{{
 devel/sage/sage/calculus/functional.py", line 313:
     sage: lim(1/x, x=0)
 Expected:
     +Infinity
 Got:
     Infinity
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8237#comment:6>
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