Advertisement
Guest User

Untitled

a guest
Jun 17th, 2019
71
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.76 KB | None | 0 0
  1. SetSystemOptions[
  2. "ReduceOptions" -> "ExhaustiveSearchMaxPoints" -> {10000, 100000}];
  3.  
  4. Clear[n, M];
  5. n = {a, b, c};
  6. M = {1, 2, 3};
  7. TraditionalForm[Simplify[a x + b y + c z + d == 0]] /.
  8. Solve[{Abs[n . M + d]/Norm[n] == 2,
  9. 1 <= a <= 10, -5 <= b <= 10, -5 <= c <= 10, a > b > c}, {a, b, c,
  10. d }, Integers]
  11.  
  12. SetSystemOptions[
  13. "ReduceOptions" -> "ExhaustiveSearchMaxPoints" -> {10000, 100000}];
  14.  
  15. Clear[n, M];
  16. n = {a, b, c};
  17. M = {1, 2, 3};
  18. sol = Solve[{Abs[n . M + d]/Norm[n] == 2,
  19. 1 <= a <= 10, -5 <= b <= 10, -5 <= c <= 10, a > b > c}, {a, b, c,d }, Integers]
  20.  
  21. TraditionalForm[Simplify[a x + b y + c z + d == 0]] /.
  22. DeleteDuplicates[sol,
  23. With[{v1 = Normalize[{a, b, c, d} /. #1],
  24. v2 = Normalize[{a, b, c, d} /. #2]},
  25. v1 == v2 || v1 == -v2] &]
  26.  
  27. r = Reduce[ a x + b y + c z + d == 0 && EuclideanDistance[{1, 2, 3}, {x, y, z}] == 2,
  28. {a, b, c, d}, Integers]
  29.  
  30. (a | b | c | d) ∈ Integers && (
  31. (z == 1 && y == 2 && x == 1 && d == -a - 2 b - c) ||
  32. (z == 3 && ((y == 0 && x == 1 && d == -a - 3 c) ||
  33. (y == 2 && ((x == -1 && d == a - 2 b - 3 c) ||
  34. (x == 3 && d == -3 a - 2 b - 3 c))) ||
  35. (y == 4 && x == 1 && d == -a - 4 b - 3 c))) ||
  36. (z == 5 && y == 2 && x == 1 && d == -a - 2 b - 5 c))
  37.  
  38. Normal @ Solve[1 <= a <= 5 && -5 <= b <= 5 && -5 <= c <= 5 && a > b > c && r,
  39. {a, b, c, d}, Integers]
  40.  
  41. SetSystemOptions[
  42. "ReduceOptions" -> "ExhaustiveSearchMaxPoints" -> {10000, 100000}];
  43. Clear[n, M];
  44. n = {a, b, c};
  45. M = {1, 2, 3};
  46. TraditionalForm[Simplify[a x + b y + c z + d == 0]] /.
  47. Solve[{Abs[n.M + d]/Norm[n] == 2,
  48. 1 <= a <= 10, -5 <= b <= 10, -5 <= c <= 10, a > b > c,
  49. GCD[a, b, c, d] == 1}, {a, b, c, d}, Integers]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement