2 puts "========================"
5 puts "========================"
8 restore [locate_data_file pro5557_revol.brep] revol1
10 restore [locate_data_file pro5557_bsurf.brep] bsurf2
16 halfspace space2 bsurf2 0 -0.3 0
18 bcut result revol1 space2
21 "pro5557 : cut a cylinder by an infinite surface extrusion"
22 set testinfos(infoX) -0.2
23 set testinfos(infoY) -0.2
24 set testinfos(infoZ) -0.34
25 set testinfos(infoZ2) -0.3
27 checkshape -top result