#NEWLINE# def __new__( cls , name , abbrev , **assumptions ) : #NEWLINE# #INDENT# obj = AtomicExpr . __new__ ( cls , ** obj ) #NEWLINE# assert isinstance ( name , str ) , repr ( type ( name ) ) #NEWLINE# assert isinstance ( abbrev , str ) , repr ( type ( abbrev ) ) #NEWLINE# obj . name = name #NEWLINE# obj . abbrev = abbrev #NEWLINE# return obj