Bug 547012 - Maxima gives incomplete results solving inequalities (fixed in upstream new release)
Summary: Maxima gives incomplete results solving inequalities (fixed in upstream new r...
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: maxima
Version: 12
Hardware: All
OS: Linux
low
medium
Target Milestone: ---
Assignee: Rex Dieter
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2009-12-13 08:17 UTC by Federico Pedemonte
Modified: 2010-01-12 23:47 UTC (History)
2 users (show)

Fixed In Version: 0.8.4-1.fc12
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2010-01-12 23:47:25 UTC
Type: ---
Embargoed:


Attachments (Terms of Use)

Description Federico Pedemonte 2009-12-13 08:17:46 UTC
Description of problem:

Maxima gives incomplete results solving inequelities, as someone already reported on upstream's bug reports page:

http://sourceforge.net/tracker/index.php?func=detail&aid=2636628&group_id=4933&atid=104933

http://sourceforge.net/tracker/index.php?func=detail&aid=2882408&group_id=4933&atid=104933

Version-Release number of selected component (if applicable):

maxima-5.19.2-1.fc12.i686
maxima-runtime-sbcl-5.19.2-1.fc12.i686

How reproducible:

always

Steps to Reproduce:

maxima --batch-string="load("solve_rat_ineq"); solve_rat_ineq( (x^2+5) > (-3*x^2+5) / (2*x+1) );"
  
Actual results:

                                          1
(%o2)                             [[x < - -]]
                                          2


Expected results:
                                          1
(%o2)                             [[x < - -], [x > 0]]
                                          2


Additional info:

This has already been fixed in Maxima upstream version 5.20
Please update to 5.20

Comment 1 Rex Dieter 2009-12-16 23:58:30 UTC
Maybe 5.20.1, if upstream deems it stable.  stay tuned.

Comment 3 Fedora Update System 2009-12-21 21:04:12 UTC
maxima-5.20.1-1.fc12 has been submitted as an update for Fedora 12.
http://admin.fedoraproject.org/updates/maxima-5.20.1-1.fc12

Comment 4 Federico Pedemonte 2009-12-22 09:16:40 UTC
solved the bug for me!

thank you!

Comment 5 Fedora Update System 2010-01-03 21:02:44 UTC
wxMaxima-0.8.4-1.fc12, maxima-5.20.1-2.fc12 has been pushed to the Fedora 12 testing repository.  If problems still persist, please make note of it in this bug report.
 If you want to test the update, you can install it with 
 su -c 'yum --enablerepo=updates-testing update wxMaxima maxima'.  You can provide feedback for this update here: http://admin.fedoraproject.org/updates/F12/FEDORA-2009-13575

Comment 6 Fedora Update System 2010-01-12 23:47:16 UTC
wxMaxima-0.8.4-1.fc12, maxima-5.20.1-2.fc12 has been pushed to the Fedora 12 stable repository.  If problems still persist, please make note of it in this bug report.

Comment 7 Fedora Update System 2010-01-12 23:47:33 UTC
wxMaxima-0.8.4-1.fc12, maxima-5.20.1-2.fc12 has been pushed to the Fedora 12 stable repository.  If problems still persist, please make note of it in this bug report.


Note You need to log in before you can comment on or make changes to this bug.