In-Reply-To: <200610311437.k9VEbDWj004900@u123.math.uiuc.edu>
From: Michael Stillman <mike@math.cornell.edu>
Subject: Re: Re: 
Date: Tue, 31 Oct 2006 09:47:07 -0500
To: dan@math.uiuc.edu

That sounds like a reasonable plan, although it will take some work.   
But still, it is important.

On Oct 31, 2006, at 9:37 AM, Dan Grayson wrote:

>
> I think what we might do is this: we write a new file for each  
> chapter called
> verify.m2.  It's loaded after the chapter file test.m2 is input.   
> It examines
> the results like this:
>
> assert( o1 == ... )
> assert( o2 == ... )
> assert( o3 - matrix {{...}} == 0 )
> assert( source o4 == ... )
> ...
>
>> To: Dan Grayson <dan@math.uiuc.edu>
>> From: Michael Stillman <mike@math.cornell.edu>
>> Subject:
>> Date: Mon, 30 Oct 2006 22:43:22 -0500
>>
>> I just ran 'make -k check', and I'm working on fixing the errors
>> which still exist.
>>
>> But I'm not sure what to do for the book part yet.
>>

