pythonocc 拉伸--点---线--面--体

def make_xian():

    # Circle=GC_MakeCircle(gp_Ax2 (gp_Pnt(0,0,5),gp_Dir (0,0,-1)),8).Value()
    # Circle = GC_MakeCircle(gp_Ax2(gp_Pnt(0, 0, 5), gp_Dir(0, 0, -1)), 8)
    E11 = BRepBuilderAPI_MakeEdge(gp_Pnt(40., 0., 0.), gp_Pnt(82.5, 25., 0.)).Edge()
    E12 = BRepBuilderAPI_MakeEdge(gp_Pnt(82.5, 25., 0.), gp_Pnt(42.5, 93., 0.)).Edge()
    E13 = BRepBuilderAPI_MakeEdge(gp_Pnt(42.5, 93., 0.), gp_Pnt(0., 68., 0.)).Edge()
    E14 = BRepBuilderAPI_MakeEdge(gp_Pnt(0., 68., 0.), gp_Pnt(40., 0., 0.)).Edge()
    #点----线---面--体
    shape_wire = BRepBuilderAPI_MakeWire(E11, E12, E13, E14)
    shape_face = BRepBuilderAPI_MakeFace(shape_wire.Wire()).Face()
    #旋转拉伸
    shape =BRepPrimAPI_MakeRevol(shape_face, gp_Ax1(gp_Pnt(0, 0, 0), gp_Dir(1, 1, 1)))
    #拉升立方体--封闭曲线拉伸
    # shape =BRepPrimAPI_MakePrism(shape_face, gp_Vec(0., 0, 50))
    # display.DisplayShape(shape_wire.Shape(), update=True)
    display.DisplayShape(shape.Shape(), update=True)