Re: [Maxima-discuss] sub expression with missing simp flags.

[Richard F. <fa...@gm...>]

I suppose we could come up with a complete environment description S .. 
all global flags and values, user and system .,...
and say that the "correct" test result C is in that certain environment, 
and the test should be something like

( [establish environment S],  result: command(...),    is (result=C) );

right now we can say kill(all);  but that doesn't really reset 
everything. if it did, among other things it would
close the files we use for reading and writing the test results... Maybe 
the environment S has to be
partitioned to deliberately ignore some things?  Just thinking out loud 
here..

All things considered, it seems to me the test suite process is doing a 
remarkable job.

I think that looking for SIMP flags all over is not going to find much;
on the other hand it may not be very expensive to do.
RJF




On 2/27/21 4:41 PM, Stavros Macrakis wrote:
> Certainly something to think about.
>
> On Sat, Feb 27, 2021, 19:36 Barton Willis <wi...@un... 
> <mailto:wi...@un...>> wrote:
>
>     But checking that an expression E returned by a test satisfies E =
>     expand(E,0,0) will needlessly fail when E has been simplified in a
>      environment (say domain : complex or …) that differs from the
>     current environment. Right?
>
>     The test suite should probably check that all outputs are:
>
>       * Fully flagged with simp flags.
>       * Unchanged when resimplified with expand(expr,0,0).
>
>
>
> _______________________________________________
> Maxima-discuss mailing list
> Max...@li...
> https://lists.sourceforge.net/lists/listinfo/maxima-discuss