generateAssertions -- generate assert statements from experimental input

Synopsis

• Usage:

  generateAssertions x

• Inputs:
  • x, a string whose non-comment non-blank lines are Macaulay2 expressions to be evaluated
• Outputs:
  • a net whose lines are assert statements that assert that the expressions evaluate to the expected value, just computed

Description

i1 : generateAssertions ///
     2+2
     2^20
     ///

o1 = 
     assert( (2+2) === 4 );
     assert( (2^20) === 1048576 );

i2 : value \ unstack oo

o2 = {, }

o2 : List