编程序：定义一个整型的4行4列的矩阵a，并输入矩阵a的值。将矩阵a行列互换，输出互换后的矩阵，要求按4行4列的矩阵形式输出，并且矩阵中每个元素按域宽为4输出。 （提示：可以借助另一个矩阵b，也可以在本矩阵中利用对角线的性质进行交换。）

在Python中，我们可以定义一个二维列表来模拟一个4行4列的矩阵。首先，让用户输入矩阵的值，然后我们创建一个新的函数来进行矩阵的行列互换。以下是实现这个功能的一个例子：

# 定义矩阵a
def create_matrix():
    matrix_a = []
    for _ in range(4):
        row = list(map(int, input(f"请输入第{(_ + 1)}行的四个数，用逗号分隔：").split(',')))
        matrix_a.append(row)
    return matrix_a

# 矩阵行列互换
def swap_rows_columns(matrix):
    # 使用临时矩阵b存储交换结果
    matrix_b = [[0] * 4 for _ in range(4)]
    
    for i in range(4):
        for j in range(4):
            matrix_b[j][i] = matrix[i][j]
            
    return matrix_b

# 输入矩阵并打印交换后的矩阵
matrix_a = create_matrix()
matrix_b = swap_rows_columns(matrix_a)

for row in matrix_b:
    print(*row, sep='\t', end='\n')  # 每个元素前加制表符，每行结束换行

运行此代码后，用户会按照提示逐行输入矩阵a的元素，然后会看到矩阵a的行列互换后的结果。每个数字占用4个字符宽度。