51         Double3 res = new Double3();  in add()  local
52         res.x = a.x + b.x;  in add()
53         res.y = a.y + b.y;  in add()
54         res.z = a.z + b.z;  in add()
56         return res;  in add()
89         Double3 res = new Double3();  in add()  local
90         res.x = a.x + b;  in add()
91         res.y = a.y + b;  in add()
92         res.z = a.z + b;  in add()
94         return res;  in add()
116         Double3 res = new Double3();  in sub()  local
117         res.x = a.x - b.x;  in sub()
118         res.y = a.y - b.y;  in sub()
119         res.z = a.z - b.z;  in sub()
121         return res;  in sub()
143         Double3 res = new Double3();  in sub()  local
144         res.x = a.x - b;  in sub()
145         res.y = a.y - b;  in sub()
146         res.z = a.z - b;  in sub()
148         return res;  in sub()
170         Double3 res = new Double3();  in mul()  local
171         res.x = a.x * b.x;  in mul()
172         res.y = a.y * b.y;  in mul()
173         res.z = a.z * b.z;  in mul()
175         return res;  in mul()
197         Double3 res = new Double3();  in mul()  local
198         res.x = a.x * b;  in mul()
199         res.y = a.y * b;  in mul()
200         res.z = a.z * b;  in mul()
202         return res;  in mul()
224         Double3 res = new Double3();  in div()  local
225         res.x = a.x / b.x;  in div()
226         res.y = a.y / b.y;  in div()
227         res.z = a.z / b.z;  in div()
229         return res;  in div()
251         Double3 res = new Double3();  in div()  local
252         res.x = a.x / b;  in div()
253         res.y = a.y / b;  in div()
254         res.z = a.z / b;  in div()
256         return res;  in div()