Axiom Computer Algebra System - Bugs: bug #8086, rootsOf(2*z^4 + z^3 - z - 2)...
You are not allowed to post comments on this tracker with your current authentication level.
bug #8086: rootsOf(2*z^4 + z^3 - z - 2) wrong
Submitter: | Martin Rubey <kratt6> | ||
Submitted: | Wed 10 Mar 2004 09:06:43 AM UTC | ||
Category: | algebra | Severity: | 3 - Normal |
Item Group: | code bug | Status: | None |
Privacy: | Public | Assigned to: | None |
Originator Name: | kratt6 | Open/Closed: | Open |
Release: | 14.6.2003 | Reproducibility: | None |
Fixed Release: | |||
Error message: |
|
||
Example of code trigerring the bug: | rootsOf(2*z^4 + z^3 - z - 2) wrong
|
||
Internal cause: |
|
Sat 22 May 2004 01:48:36 PM UTC, comment #1: |
Martin Rubey <kratt6> |
Wed 10 Mar 2004 09:06:43 AM UTC, original submission:
a fresh Axiom says |
Martin Rubey <kratt6> |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follows 1 latest change.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2008-11-25 | axiom | Example of code trigerring the bug | rootsOf(2*z^4 + z^3 - z - 2) wrong rootsOf(2*z^4 + z^3 - z - 2, z) correct rootsOf(z^4 + z^3 + z - 1) wrong rootsOf(z^4 + z^3 + z - 1,z) correct | ![]() |
rootsOf(2*z^4 + z^3 - z - 2) wrong rootsOf(2*z^4 + z^3 - z - 2, z) correct rootsOf(z^4 + z^3 + z - 1) wrong rootsOf(z^4 + z^3 + z - 1,z) correct |
Maybe I should have added why rootsOf(2*z^4 + z^3 - z - 2) is wrong:
2*z^4+z^3-z-2=(z^2-1)*(2*z^2+z+2),
thus no two roots are equal, contrary to axioms result.
Martin