Commit | Line | Data |
---|---|---|
40093367 | 1 | |
2 | # Original bug : pro13306 | |
3 | # Date : 4June98 | |
4 | ||
5 | vertex v1 0 0 0 | |
6 | vertex v2 1 0 0 | |
7 | vertex v3 1 3 0 | |
8 | vertex v4 2 3 0 | |
9 | vertex v5 2 0 0 | |
10 | vertex v6 3 0 0 | |
11 | vertex v7 3 5 0 | |
12 | vertex v8 0 5 0 | |
13 | ||
14 | edge e1 v1 v2 | |
15 | edge e2 v2 v3 | |
16 | edge e3 v3 v4 | |
17 | edge e4 v4 v5 | |
18 | edge e5 v5 v6 | |
19 | edge e6 v6 v7 | |
20 | edge e7 v7 v8 | |
21 | edge e8 v8 v1 | |
22 | ||
23 | wire w e1 e2 e3 e4 e5 e6 e7 e8 | |
24 | ||
25 | mkplane p w | |
26 | ||
27 | prism sol p 0 0 2 | |
28 | ||
29 | # five tangent faces | |
30 | #box b 0 2 1 3 1 1 | |
31 | ||
32 | #one tangent face | |
33 | box b -1 2 1 5 1 3 | |
34 | ||
35 | bcut result sol b | |
36 | ||
58cf74e0 | 37 | checkprops result -s 68 |