def sdm_monomial_divides(A, B):
 return ((A[0] == B[0]) and all(((a <= b) for (a, b) in zip(A[1:], B[1:]))))

def sdm_monomial_divides ( A , B ) : return ( ( A [ 0 ] == B [ 0 ] ) and all ( ( ( a <= b ) for ( a , b ) in zip ( A [ 1 : ] , B [ 1 : ] ) ) ) )
does there exist a monomial x such that xa = b? examples positive examples: in the following examples .