patchAxiom Computer Algebra System - Patches: patch #3161, any? and every? should exit when...


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

patch #3161: any? and every? should exit when the result is clear

Submitted by:  Martin Rubey <kratt6>
Submitted on:  Thu 24 Jun 2004 12:06:55 PM UTC  
Category: NonePriority: 1 - Later
Status: NonePrivacy: Public
Assigned to: Bill Page <billpage1>Open/Closed: Open

Tue 28 Dec 2004 02:38:58 PM UTC, comment #2:

Does the later version of this patch also correct the problem of "mixed behviour" in TREE?

Bill Page <billpage1>
Project MemberIn charge of this item.
Thu 24 Jun 2004 12:27:49 PM UTC, comment #1:

Sorry, the patch contained a stupid mistake, now fixed.

Note that I dod not check whether some function in axiom relies on this behaviour. In case that there is, I have the strong feeling that there should not be.


Martin Rubey <kratt6>
Thu 24 Jun 2004 12:06:55 PM UTC, original submission:

As discussed in the thread starting with
I believe that the following behaviour of any? and every? is bad, because things are computed unnecessarily:

(2) -> any?(i+->(output(i);(i=1)::Boolean),[1,2,3])

(2) true

The attached patch fixes this for HOAGG and CLAGG in aggcat.spad. This makes axioms behaviour more consistent also: in TBAGG, A1AGG, ARR2CAT, LZSTAGG the functions are done as in the patch, in TREE a mixed behaviour is exhibited (and should be fixed)


Martin Rubey <kratt6>


Attached Files
file #7586:  aggspeed.patch added by kratt6 (634B - text/x-diff)
file #7585:  aggspeed.patch added by kratt6 (631B - text/x-diff)


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 3 latest changes.

Date Changed By Updated Field Previous Value => Replaced By
Tue 28 Dec 2004 02:38:58 PM UTCbillpage1Assigned toNone=>billpage1
Thu 24 Jun 2004 12:27:49 PM UTCkratt6Attached File-=>Added aggspeed.patch, #3395
Thu 24 Jun 2004 12:06:55 PM UTCkratt6Attached File-=>Added aggspeed.patch, #3394

Back to the top

Powered by Savane 3.1-cleanup1