#NEWLINE# @ property #NEWLINE# def LM( self ) : #NEWLINE# #INDENT# expv = self . leading_expv ( ) #NEWLINE# if ( expv is None ) : #NEWLINE# #INDENT# return self . ring . zero_monom #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# return expv