eve-native icon indicating copy to clipboard operation
eve-native copied to clipboard

Not transitivity bug

Open joshuafcole opened this issue 8 years ago • 0 comments

WORKING

search
  num = [#naturals n]
  not(a = math/pow[value: n exponent: 1 / 2]
      b = math/floor[value: a]
      b > 1
      b < n
      c = math/range[from: 2, to: b]
      0 = math/mod[value: n, by: c])
bind
  [#html/div n]
end


NOT WORKING (TRANSITIVITY)

search
  num = [#naturals n]
  a = math/pow[value: n exponent: 1 / 2]
  b = math/floor[value: a]
  not(b > 1
      b < n
      c = math/range[from: 2, to: b]
      0 = math/mod[value: n, by: c])
bind
  [#html/div style: [color: "green"] sort: "{{n}}b" text: "{{n}}: is a prime"]
end

joshuafcole avatar Aug 16 '17 20:08 joshuafcole