generateAssertions -- generate assert statements from experimental input

Synopsis

• Usage:

  generateAssertions x

• Inputs:

  • x, a string whose non-comment non-blank lines are Macaulay 2 expressions to be evaluated
• Outputs:

  • a net, 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