public static Z3Point3D operator /(Z3Point3D p3d, double value) { return(new Z3Point3D( Z3Math.Div(p3d.X, Z3Math.Real(value)), Z3Math.Div(p3d.Y, Z3Math.Real(value)), Z3Math.Div(p3d.Z, Z3Math.Real(value)))); }
public Z3Point3D GetManhattanNormalized() { Z3Point3D result = new Z3Point3D(); ArithExpr higherCoord = Z3Math.Max( Z3Math.Max( Z3Math.Abs(this.X), Z3Math.Abs(this.Y)), Z3Math.Abs(this.Z)); result.X = Z3Math.Div(this.X, higherCoord); result.Y = Z3Math.Div(this.Y, higherCoord); result.Z = Z3Math.Div(this.Z, higherCoord); return(result); }