search

zenna / Arrows.jl

14 stars 2 forks source link

aprx_totalize is not totally totalizing DivArrow #100

Closed jburroni closed 6 years ago

jburroni commented 6 years ago

Consider the following example:

  c = CompArrow(:c, [:x, :y], [:z])
  x, y, z = ⬨(c)
  (x/y) ⥅ z
  apprx = aprx_totalize!(c)

Then, apprx(-2, -4)) == Inf, which is not what we want