#11539: Sage incorrectly interprets factorials in equations.
--------------------------------------------+-------------------------------
       Reporter:  mhansen                   |         Owner:  burcin            
 
           Type:  defect                    |        Status:  needs_work        
 
       Priority:  critical                  |     Milestone:  sage-5.10         
 
      Component:  symbolics                 |    Resolution:                    
 
       Keywords:                            |   Work issues:                    
 
Report Upstream:  N/A                       |     Reviewers:  Karl-Dieter 
Crisman
        Authors:  Eviatar Bach, Nils Bruin  |     Merged in:                    
 
   Dependencies:                            |      Stopgaps:                    
 
--------------------------------------------+-------------------------------
Changes (by kcrisman):

 * cc: dsm (added)
  * status:  needs_review => needs_work


Comment:

 I like this.  Tried a few other things but it seems to work fine.
 However, now I get
 {{{
 sage -t sage/calculus/calculus.py
 **********************************************************************
 File "sage/calculus/calculus.py", line 1743, in
 sage.calculus.calculus.symbolic_expression_from_maxima_string
 Failed example:
     sefms("x != 3") == SR(x != 3)
 Expected:
     True
 Got:
     False
 **********************************************************************
 1 item had failures:
    1 of  17 in
 sage.calculus.calculus.symbolic_expression_from_maxima_string
     [375 tests, 1 failure, 6.10 s]
 ----------------------------------------------------------------------
 sage -t sage/calculus/calculus.py  # 1 doctest failed
 }}}
 That's because of the change
 {{{
 sage: from sage.calculus.calculus import
 symbolic_expression_from_maxima_string as sefms
 sage: sefms("x!=3")x != 3
 }}}
 to
 {{{
 sage: sefms("x!=3")
 factorial(x) == 3
 }}}
 I'm not sure whether we should just remove this doctest or whether there
 is an appropriate "fix".  I've cc:ed Doug, who worked on #8969 and might
 have a comment about this (though I guess I was the one who originally
 proposed this test).

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11539#comment:14>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to