Re: [pure-lang-users] Yet another quirk with MinGW

[Eddie R. <er...@bm...>]

On Fri, 2008-08-22 at 11:14 +0200, Albert Graef wrote:
> Eddie Rucker wrote:

> I committed Eddie's math.pure test as test020.pure now, massaged 
> somewhat to produce a nicely formatted test log. (r563)

Thanks. I've been rattled this week over here with the fall semester
starting.

> What remains is the unattractive task to check all the untagged results. 
> As we say over here, that's a "job for someone who killed mom and dad", 
> so I'd rather suggest that we take a "many eyes" approach to that. 
> Everyone here who feels like it and has some spare time on his hands can 
> just scan a few results at a time and report on the mailing list if he 
> notices anything suspicious.
> 
> (Eddie, maybe we should also add another check on the result type and 
> flag results which aren't numbers? I leave that up to you.)

Yea, I need to add max, min, and the relational operations. I say go
ahead and release 0.5 even though I haven't finished with the full test.
It is just too much happening right now for me to focus on what I'm
doing. I was thinking of splitting the number tests up like the
following:

using math;
using system;

// unary functions 
let f = [sqrt, sin, cos, tan, ln, log, exp, atan, asin, acos, sinh,
	 cosh, tanh, asinh, acosh, atanh, abs, re, im, arg, conj, 
	 rect, polar, cis, ceil, floor, round, frac, complexp, realp,
	 rationalp, numberp, exactp, inexactp, infp, nanp];

// binary operations on complex
let f2 = [(+), (-), (*), (/), (^), (==), (!=)];

// binary operations on everything but complex
let f2_ordered = [(+), (-), (*), (/), (^), max, min, atan2, (!=), (==),
 		  (<), (>), (<=), (>=)];

// binary operations on just integers and rationals
let fw = [(pow), (div), (mod)];

// number sets
let Ns = [2,3000000000000000000000000000000000L];
let Zs = [-2,-1,0,1,2,5];
let Qs = [(-2)%3,0%4,4%5];
let Qno0s= [-1%2,5%4];
let Rs = [0.0, -e, pi];
let INs = [-inf,inf,-nan,nan];
let Cs = [a+:b; a=Zs+Qs+Rs+INs; b=Zs+Qs+Rs+INs];

... I'll have to finish later.

e.r.