bugAxiom Computer Algebra System - Bugs: bug #4560, duplicate set element

 
 

You are not allowed to post comments on this tracker with your current authentication level.

bug #4560: duplicate set element

Submitted by:  David MentrĂ© <dmentre>
Submitted on:  Thu 31 Jul 2003 05:14:44 PM UTC  
 
Category: algebraSeverity: 3 - Normal
Item Group: code bugStatus: Fixed
Privacy: PublicAssigned to: None
Originator Name: Juergen Weiss; Bill PageOpen/Closed: Closed
Release: Thursday June 5, 2003 at 14:52:04Reproducibility: None
Fixed Release: Tuesday September 2, 2003 at 19:15:55
Error message: 
Example of code trigerring the bug: 

alternatingGroup 4
% :: List Permutation Integer
li := %
pgr := MonoidRing(Polynomial PrimeField 5, Permutation Integer)
p : pgr := first li
q : pgr := first li
basis := [p,q,pp,pq, qp,qq, pqq, pqp, qpq,qqp,qpqq,qqpq]
% :: Set MonoidRing(Polynomial PrimeField 5,Permutation Integer)
-- a simple example
-- this fails in GCL but works in CMUCL
m:pgr :=1
n:pgr :=1
set[m,n]
--Example 2
one? m ==> false

but should be

==> true

--Example 3
dom:=MonoidRing(Polynomial PrimeField 5, Permutation Integer)
p:dom:=1
set [p,p] ==> {1,1}

but should be

==> {1}

Internal cause: 

Thu 31 Jul 2003 05:14:44 PM UTC, original submission:

The last command in coercels.input converts the result to a set.
With gcl, the result contains duplicate elements. Problem does not
occur with cmu cl.

David Mentré <dmentre>
Project Administrator

 

Attached Files
file #602:  testset.input added by billpage1 (611B - application/octet-stream)
file #600:  testset.input added by billpage1 (611B - application/octet-stream)
file #599:  testset.input added by billpage1 (611B - application/octet-stream)

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

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

 

 

Follow 5 latest changes.

Date Changed By Updated Field Previous Value => Replaced By
Tue 02 Sep 2003 08:05:34 PM UTCdmentreStatusNone=>(Error - Not Found)
  Open/ClosedOpen=>(Error - Not Found)
  Fixed Release=>
Sat 02 Aug 2003 10:06:01 AM UTCdmentreOriginator NameJuergen Weiss, Bill Page=>
  Example of code trigerring the bugalternatingGroup 4 % :: List Permutation Integer li := % pgr := MonoidRing(Polynomial PrimeField 5, Permutation Integer) p : pgr := first li q : pgr := first li basis := [p,q,pp,pq, qp,qq, pqq, pqp, qpq,qqp,qpqq,qqpq] % :: Set MonoidRing(Polynomial PrimeField 5,Permutation Integer) -- a simple example -- this fails in GCL but works in CMUCL m:pgr :=1 n:pgr :=1 set[m,n] --Example 2 one? m =>

Back to the top


Powered by Savane 3.1-cleanup1