def lambda_min(X):
 X = Expression.cast_to_const(X)
 return (- lambda_max((- X)))

def lambda_min ( X ) : X = Expression . cast_to_const ( X ) return ( - lambda_max ( ( - X ) ) )
miximum eigenvalue; :math:lambda_{min}(a) .