将顺序表(a1,a2,…,an)重新排列以a1为界的两部分：a1前面的值均比a1小，a1后面的值均比a1大（这里假设数据元素的类型具有可比性，不妨设为整型）写成代码

这是一个经典的排序算法问题，通常称为“将数组分为两个部分”的操作。你可以使用双指针法来解决这个问题。以下是使用Python编写的简单代码示例：

def partition_and_sort(arr):
    if len(arr) <= 1:
        return arr

    pivot = arr[0]  # 选择第一个元素作为基准
    left = []  # 存储所有小于基准的元素
    right = []  # 存储所有大于基准的元素

    # 双指针遍历数组
    i = 1  # 左指针
    for j in range(1, len(arr)):
        if arr[j] < pivot:
            left.append(arr[j])  # 小于pivot的元素放到左边
        else:
            right.append(arr[j])  # 大于等于pivot的元素放到右边

    # 合并左右两部分，并对右半部分进行排序（这里是快速排序的递归过程）
    left.extend(sorted(right))

    return left


# 示例
arr = [5, 3, 8, 6, 1, a1]  # 假设a1是一个已知的大于5的整数
sorted_arr = partition_and_sort(arr)
print("Sorted array:", sorted_arr)

在这个代码中，我们首先检查数组长度是否为1或更少，如果是，则直接返回。然后我们选择第一个元素作为枢轴，通过两个指针分别遍历数组，将元素分别放入左、右两个列表中。最后，我们将左列表和排序后的右列表合并。

注意，这里的`a1`应当是一个确定的值，如果需要处理未知大小的数组，你需要先查找或插入`a1`的位置，然后再进行划分和排序。