kc3-lang/kc3/.ic3_history

• Show log

  Commit

• Hash : 930f20d2
  Author : Thomas de Grivel
  Date : 2024-03-07T09:01:08
  

  use f128 sqrtl for [su]_sqrt

Download

• .ic3_history

• 1/2 + 1/3
  1/2 + 2/3
  3/2 + 1/3
  3/2 + 2/3
  4/2 + 2/3
  4/2 / 2/3
  1/2 / 2/3
  1/2 * 2/3
  1/2 - 2/3
  1/2 / -2/3
  1/2 + 2/3
  1/2 * 2/3
  1/2 / 2/3
  1/2 / 3/2
  1/2 + 2/3
  3/2 + 2/3
  3/2 + 4/3
  1/2 + 4/3
  1/2 + 2/3
  1/2 + 1/3
  3/2 + 1/3
  4/2 + 1/3
  4/1 + 1/3
  4/1 + 2/3
  1/6 + 2/3
  1/6 + 1/3
  1/6 - 1/3
  1/3 - 1/6
  1/3 * 1/6
  2/3 * 2/6
  2/3 * 5/6
  2/3 / 5/6
  sqrt(42)
  sqrt(41)
  sqrt(8)
  sqrt(4)
  sqrt(9)
  sqrt(16)
  sqrt(-1)
  1 + 2 +i 3
  1 +i 1
  1 +i 1 + 2 +i 2
  1 +i 1 + (2 +i 2)
  1 +i 1 * (2 +i 2)
  (1 +i 1) * (2 +i 2)
  0.5
  0.5 + 1
  1/2 + 1
  1 +i 1 + 1
  1 +i 1 + 0.5
  1 +i 1 + (F32) 0.5
  1 +i 1 + 0.5f
  1.5f +i 1 + 0.5f
  1.5f +i 2 + 0.5f
  2/3 +i 2 + 0.5f
  2/3 +i 2 + 1/2
  2/3 +i 2
  2/3 +i 2/2
  2/3 +i 2/1
  2/3 +i 2/3
  2/3 +i 2/3 + 0.5
  3 +i 2 + 0.5
  3 +i 2 + 1
  3 +i 2 + 2
  3 +i 2 + 2 +i 3
  3 +i 2 + 2 +i 3 +i 1
  3 +i 2 + 2 +i 3 +i 1 + 2
  3 +i 2 + 2 +i 3 +i 1 + 1
  1 +i 2
  1 +i 2 +i 3 + 4
  sq = fn (x) { x * x }
  type(1 +i 2 +i 3 + 4)
  sq(1 +i 2 +i 3 + 4)
  sq = fn (x) { x * x }
  type(1 +i 2 +i 3 + 4)
  sq(1 +i 2 +i 3 + 4)
  1 +i 2 +i 3 + 4
  sq = fn (x) { x * x }
  sq(1 +i 2 +i 3 + 4)
  sq(1 +i 0)
  sq(1 +i 1)
  sq(0 +i 1)
  sq(1 +i 1)
  sq(1 +i 2)
  sq(1 +i 0)
  sq(1 +i 0.5)
  sq(1 +i 1/2)
  (Ratio) 1
  quote (Complex) 0
  -1/-1
  -1/-1 + 1
  -1/-1 + 1/1
  -1/-1
  -1/1
  sqrt(-1)
  sqrt(-1) * sqrt(-1)
  sqrt(-2) * sqrt(-2)
  sqrt(1)
  sqrt(2)
  

Download