30 lines
		
	
	
		
			1.1 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			30 lines
		
	
	
		
			1.1 KiB
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
| // define a plane with UID 94894440791888
 | |
| plane94894440791888 = {
 | |
|   origin = [0.005000000000000001, 0.01, -0.005],
 | |
|   xAxis = [
 | |
|     0.9285064634886234,
 | |
|     0.37131623619207604,
 | |
|     0.0
 | |
|   ],
 | |
|   yAxis = [-0.0, 0.0, 1.0]
 | |
| }
 | |
| 
 | |
| // create a sketch with UID 94894440902176
 | |
| sketch94894440902176 = startSketchOn(-XZ)
 | |
|   |> startProfile(at = [-0.005, -0.005])
 | |
|   |> line(end = [0.01, 0.0], tag = $line94894439494384)
 | |
|   |> line(end = [0.0, 0.01], tag = $line94894439429616)
 | |
|   |> line(end = [-0.01, 0.0], tag = $line94894439638160)
 | |
|   |> line(end = [0.0, -0.01], tag = $line94894439971808)
 | |
| 
 | |
| // create an extrusion with UID 94894439487136
 | |
| extrude94894439487136 = extrude(sketch94894440902176, length = 0.01)
 | |
| 
 | |
| // create a sketch with UID 94894439448464
 | |
| sketch94894439448464 = startSketchOn(plane94894440791888)
 | |
|   |> startProfile(at = [0.00074557205559017, 0.00306415853984399])
 | |
|   |> line(end = [0.004999999999999999, 0.0], tag = $line94894440230336)
 | |
|   |> line(end = [0.0, -0.005], tag = $line94894439497168)
 | |
|   |> line(end = [-0.004999999999999999, 0.0], tag = $line94894439496768)
 | |
|   |> line(end = [0.0, 0.005], tag = $line94894440231952)
 |