public static double length(Coord3 c) {
   return c.length();
 }
 public static int volume(Coord3 c) {
   return c.volume();
 }
 public static int dot(Coord3 c1, Coord3 c2) {
   return c1.dot(c2);
 }
 public static Coord3 cross(Coord3 c1, Coord3 c2) {
   return c1.cross(c2);
 }
 public static Coord3 divide(Coord3 c1, Coord3 c2) {
   return c1.divBy(c2);
 }
 public static Coord3 multiply(Coord3 c1, Coord3 c2) {
   return c1.times(c2);
 }
 public static Coord3 subtract(Coord3 c1, Coord3 c2) {
   return c1.minus(c2);
 }
 public static Coord3 add(Coord3 c1, Coord3 c2) {
   return c1.plus(c2);
 }
 public double hypot(Coord3 c1, Coord3 c2) {
   return c1.distanceTo(c2);
 }