用元组定义一个4*4的整型矩阵，编写程序输出这个矩阵的所有鞍点，即该位置上的元素在该行上最大、该列上最小的鞍点。

在Python中，我们可以使用元组列表来表示一个4x4的整数矩阵。鞍点是指在一个二维数组中，某个元素在所在行中是最高的，在所在列中是最低的。下面是一个简单的示例，如何定义矩阵并找出鞍点：

# 定义一个4x4的整型矩阵
matrix = [(0, 2), (5, 6), (1, 8), (9, 1)]  # 这里假设每个元素是一个包含行索引和列值的元组

# 驼峰排序算法用于查找鞍点
def find_elbows(matrix):
    rows = [row[1] for row in matrix]
    cols = sorted(range(len(matrix)), key=lambda i: matrix[i][0])

    elbows = []
    for j, col_index in enumerate(cols):
        if rows[col_index] != matrix[col_index][1]:  # 如果当前列的值不是其在行中的最大值，可能是鞍点
            for i, row in enumerate(matrix):
                if row == (col_index, rows[i]):  # 检查是否也是所在行的最小值
                    elbows.append((i, col_index))

    return elbows

# 查找并打印鞍点
elbow_points = find_elbows(matrix)
if elbow_points:
    print("鞍点坐标：", elbow_points)
else:
    print("矩阵中没有鞍点")