|
From: Stavros M. <mac...@al...> - 2021-02-28 00:41:36
|
Certainly something to think about. On Sat, Feb 27, 2021, 19:36 Barton Willis <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). > > > |