#NEWLINE# def test_add( self ) : #NEWLINE# #INDENT# t1 = formula . Term ( 't1' ) #NEWLINE# t2 = formula . Term ( 't2' ) #NEWLINE# f = ( t1 + t2 ) #NEWLINE# self . assert_ ( isinstance ( t2 , formula . Formula ) ) #NEWLINE# self . assert_ ( f . hasterm ( t1 ) ) #NEWLINE# self . assert_ ( f . hasterm ( t2 ) )