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 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
Priority:  5 - 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
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: 


Discussion

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:
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

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>

 

Attached Files

This item currently has no attached files.

 

Dependencies

This item does not depend on any other items.

No items depend on this one.

 

Mail Notification Carbon-Copy List

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

    Votes

    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.

     

    History

    Follows 1 latest change.

    Date Changed by Updated Field Previous Value => Replaced by
    2008-11-25 axiom Example 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.16.
    Corresponding source code