bugAxiom 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 authentification level.

bug #8086: rootsOf(2*z^4 + z^3 - z - 2) wrong

Submitted by:  Martin Rubey <kratt6>
Submitted on:  Wed 10 Mar 2004 09:06:43 AM UTC  
 
Category: algebraSeverity: 3 - Normal
Item Group: code bugStatus: None
Privacy: PublicAssigned to: None
Originator Name: kratt6Open/Closed: Open
Release: 14.6.2003Reproducibility: None
Fixed Release: 
Error message: 
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

Internal cause: 

Sat 22 May 2004 01:48:36 PM UTC, comment #1:

Maybe I should have added why rootsOf(2*z^4 + z^3 - z - 2) is wrong:
2z^4+z^3-z-2=(z^2-1)(2*z^2+z+2),
thus no two roots are equal, contrary to axioms result.

Martin

Martin Rubey <kratt6>
Wed 10 Mar 2004 09:06:43 AM UTC, original submission:

a fresh Axiom says

(1) -> rootsOf(2*z^4 + z^3 - z - 2,z)

- 2%z2 - 2%z1 - 2%z0 - 1
(1) [%z0,%z1,%z2,------------------------]
2
Type: List Expression Integer

(2) -> rootsOf(2*z^4 + z^3 - z - 2)
Loading /home/rubey/axiom/mnt/linux/algebra/POLY2.o for package
PolynomialFunctions2
Loading /home/rubey/axiom/mnt/linux/algebra/ALGMANIP.o for package
AlgebraicManipulations
Loading /home/rubey/axiom/mnt/linux/algebra/IDPOAMS.o for domain
IndexedDirectProductOrderedAbelianMonoidSup
Loading /home/rubey/axiom/mnt/linux/algebra/IDPOAM.o for domain
IndexedDirectProductOrderedAbelianMonoid
Loading /home/rubey/axiom/mnt/linux/algebra/SETCAT-.o for domain
SetCategory&
Loading /home/rubey/axiom/mnt/linux/algebra/EVALAB-.o for domain
Evalable&
Loading /home/rubey/axiom/mnt/linux/algebra/RETRACT-.o for domain
RetractableTo&
Loading /home/rubey/axiom/mnt/linux/algebra/RADCAT-.o for domain
RadicalCategory&
Loading /home/rubey/axiom/mnt/linux/algebra/BASTYPE-.o for domain
BasicType&
Loading /home/rubey/axiom/mnt/linux/algebra/IEVALAB-.o for domain
InnerEvalable&
Loading /home/rubey/axiom/mnt/linux/algebra/COMMUPC.o for package
CommuteUnivariatePolynomialCategory
Loading /home/rubey/axiom/mnt/linux/algebra/PRS.o for package
PseudoRemainderSequence
Loading /home/rubey/axiom/mnt/linux/algebra/UPSQFREE.o for package
UnivariatePolynomialSquareFree
Loading /home/rubey/axiom/mnt/linux/algebra/HEUGCD.o for package
HeuGcd
Loading /home/rubey/axiom/mnt/linux/algebra/INMODGCD.o for package
InnerModularGcd
Loading /home/rubey/axiom/mnt/linux/algebra/EMR.o for domain
EuclideanModularRing
Loading /home/rubey/axiom/mnt/linux/algebra/MDDFACT.o for package
ModularDistinctDegreeFactorizer
Loading /home/rubey/axiom/mnt/linux/algebra/MODRING.o for domain
ModularRing
Loading /home/rubey/axiom/mnt/linux/algebra/LIST2MAP.o for package
ListToMap

(2) [%z4,%z5,%z5,- %z5]
Type: List AlgebraicNumber

which is wrong.

Same thing for zerosOf, same thing for z^4+z^3+z-1

Martin Rubey <kratt6>

 

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by axiom (Updated the item)
  •  

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follows 1 latest change.

    Date Changed By Updated Field Previous Value => Replaced By
    Tue 25 Nov 2008 06:22:05 AM UTCaxiomExample of code trigerring the bugrootsOf(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

    Back to the top


    Powered by Savane 3.1-cleanup