赤经a1和a2是 -180o~ 180o 之间的角，a=a2-a1 赤纬d1和d2是 -90o~ 90o 之间的角，d=d2-d1 请编写一个函数，接收两颗星星赤经和赤纬的角度作为参数，计算并返回这两颗星星所对弧的角度。 其中主程序已经给出部分代码，完成的功能是接收用户输入的两颗星星的赤纬和赤经，并打印输出结果（显示小数点后4位） 【输入形式】 分别输入两颗星星各自的赤经，赤纬 【输出形式】 输出两个星星所对弧度角度（弧度值），显示到小数点后4位 【样例输入】 -120, 30 90, 60 【样例输出】 1.5128用python编写

可以使用以下代码实现：

import math

def angle_between_stars(a1, d1, a2, d2):
    a = math.radians(a2 - a1)
    d = math.radians(d2 - d1)
    angle = 2 * math.asin(math.sqrt(math.sin(d/2)**2 + math.cos(d1) * math.cos(d2) * math.sin(a/2)**2))
    return round(angle, 4)

# 主程序
a1, d1 = map(float, input().split(','))
a2, d2 = map(float, input().split(','))
angle = angle_between_stars(a1, d1, a2, d2)
print(angle)

首先定义了一个 `angle_between_stars` 函数，用于计算两颗星星所对弧的角度。函数接收四个参数，分别是两颗星星的赤经和赤纬，返回计算出来的弧度角度。具体的计算方法可以参考天文学中的球面三角学知识。

在主程序中，读取用户输入的赤经和赤纬，调用 `angle_between_stars` 函数计算弧度角度，最后将结果打印输出即可。需要注意的是，输出结果需要使用 `round` 函数保留小数点后4位。