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)