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

Submitter:  Martin Rubey <kratt6>
Submitted:  Thu 24 Jun 2004 12:06:55 PM UTC
Category:  None Priority:  1 - Later
Status:  None Privacy:  Public
Assigned to:  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>
Group Member
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>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

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


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.


Follow 3 latest changes.

Date Changed by Updated Field Previous Value => Replaced by
2004-12-28 billpage1 Assigned toNone billpage1
2004-06-24 kratt6 Attached File- Added aggspeed.patch, #3395
2004-06-24 kratt6 Attached File- Added aggspeed.patch, #3394

Back to the top

Powered by Savane 3.13-4b48.
Corresponding source code