[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#183 #3161: any? and every? should exit when the resu
From: |
kratt6 |
Subject: |
[Axiom-developer] [#183 #3161: any? and every? should exit when the result is clear ] (nouveau) |
Date: |
Thu, 23 Jun 2005 03:39:04 -0500 |
Changes
http://page.axiom-developer.org/zope/mathaction/1833161AnyAndEveryShouldExitWhenTheResultIsClear/diff
--
> > > #3161: any? and every? should exit when the result is clear [A]
> >
> > I don't have the time to look it up right now, whether the
> > "mixed" behaviour TREE would vanish with this patch or not.
> > In any case, this "bug" will never produce mathematically
> > incorrect results. It will only waste cpu cycles.
>
> Can we be sure that functions applied during evaluating 'any?'
> and 'every?' are not being executed for their side-effects?
> I worry that changing the semantics here could have unexpected
> effects in other places in Axiom where 'any?' and 'every?' are
> used.
>
> > In fact, I included the comment regarding TREE only to document
> > that if there would be code that depends on the "evaluate all"
> > code, it wouldn't work with TREE anyway, so it would be broken
> > already. Bottom line: no danger.
>
> I am not convinced. I think this needs more analysis, i.e. look
> at each case were 'any?' and 'every?' are actually used or else
> we have to be prepared to do a lot of testing.
I did some analysis and I'm quite sure that no code will be broken. However,
this is a patch I won't push, since it won't produce incorrect results.
Martin
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#183 #3161: any? and every? should exit when the result is clear ] (nouveau),
kratt6 <=