class_docstr: Representation for a range of values. 
class_docstr_tok: ["Representation","for","a","range","of","values","."]
docstr: Combiner for Divide operation.
  
  >>> Interval(-1, 5) / Interval(3, 8)
  Interval(low=-1, high=1)
  >>> Interval(-1, 5) / Interval(-5, -4)
  Interval(low=-2, high=0)
  >>> Interval(-1, 5) / Interval(-5, 3)
  Interval(low=-inf, high=inf)
docstr_tok: ["Combiner","for","Divide","operation",".",">",">",">","Interval","(","-1",",","5",")","\/","Interval","(","3",",","8",")","Interval","(","low=-1",",","high=1",")",">",">",">","Interval","(","-1",",","5",")","\/","Interval","(","-5",",","-4",")","Interval","(","low=-2",",","high=0",")",">",">",">","Interval","(","-1",",","5",")","\/","Interval","(","-5",",","3",")","Interval","(","low=-inf",",","high=inf",")"]
code: def __div__(self, other):
      """
      Combiner for Divide operation.
  
      >>> Interval(-1, 5) / Interval(3, 8)
      Interval(low=-1, high=1)
      >>> Interval(-1, 5) / Interval(-5, -4)
      Interval(low=-2, high=0)
      >>> Interval(-1, 5) / Interval(-5, 3)
      Interval(low=-inf, high=inf)
      """
  
      if other.low <= 0 and other.high >= 0:
          return UNKNOWN_RANGE
      if other.low == 0:
          return UNKNOWN_RANGE
  
      def all_bounds():
          return itertools.chain(self.bounds(), other.bounds())
  
      if any(isinf(x) for x in all_bounds()):
          return UNKNOWN_RANGE
  
      res = [
          v1 // v2
          for v1, v2 in itertools.product(self.bounds(), other.bounds())
      ]
      return Interval(min(res), max(res))
  
imports: from math import isinf, isnan
  import itertools
  import numpy
label_desc: Use image node_id 12 for calling the Interval obj's underlying member method code with example usage: obj.__div__(other) and returns: Interval, UNKNOWN_RANGE, UNKNOWN_RANGE, itertools, UNKNOWN_RANGE