我想用python的numpy和sympy库实现以下功能，首先已知一个方阵A，其中的元素都是具体的数值，接着有一个列矩阵b，它的行数和A相等，同时其中的元素是符号比如（a1，a2……）这样子的，我想在把这两个矩阵横向连接，形成一个增广矩阵。接着我想要通过初等变换的形式将这个矩阵中原本是方阵的部分转化为一个单位矩阵，当然每一次的初等变换中列矩阵b也要跟着变化。最后我想要得到那个新的带有符号的列矩阵b。请注意由于列矩阵b中原本的元素都是符号，因此在做初等变换的时候就用sympy库来对其进行变换

您可以使用以下示例代码来实现您所需的功能：

import numpy as np
import sympy as sp

# 创建方阵A
A = np.array([[1, 2, 3],
              [4, 5, 6],
              [7, 8, 9]])

# 创建列矩阵b
b = sp.Matrix(sp.symbols('a1:4'))

# 将A和b横向连接成增广矩阵
augmented_matrix = sp.Matrix(np.hstack((A, b)))

# 进行初等变换，将A部分转化为单位矩阵并相应的变换b
for i in range(len(A)):
    if augmented_matrix[i, i] != 1:
        divisor = augmented_matrix[i, i]
        augmented_matrix[i, :] /= divisor
        b[i, :] /= divisor
        
    for j in range(i+1, len(A)):
        if augmented_matrix[j, i] != 0:
            multiplier = augmented_matrix[j, i]
            augmented_matrix[j, :] -= multiplier * augmented_matrix[i, :]
            b[j, :] -= multiplier * b[i, :]
            
    for j in range(i-1, -1, -1):
        if augmented_matrix[j, i] != 0:
            multiplier = augmented_matrix[j, i]
            augmented_matrix[j, :] -= multiplier * augmented_matrix[i, :]
            b[j, :] -= multiplier * b[i, :]

# 得到新的带有符号的列矩阵b
new_b = sp.Matrix([sp.simplify(elem) for elem in b])

在这个代码中，我们首先创建了一个方阵A和一个列矩阵b，并将它们横向连接起来形成了一个增广矩阵。接着我们使用sympy库中的符号运算来进行初等变换，将A部分转化为单位矩阵，并相应的变换了列矩阵b。最后，我们得到了新的带有符号的列矩阵b。

需要注意的是，在进行初等变换的过程中，我们需要同时变换列矩阵b。同时，由于列矩阵b中的元素是符号，因此我们需要使用sympy库来进行运算和化简。