class_docstr: Represents an interval containing floating points as start and
  end of the interval
  The is_valid variable tracks whether the interval obtained as the
  result of the function is in the domain and is continuous.
  - True: Represents the interval result of a function is continuous and
          in the domain of the function.
  - False: The interval argument of the function was not in the domain of
           the function, hence the is_valid of the result interval is False
  - None: The function was not continuous over the interval or
          the function's argument interval is partly in the domain of the
          function
  
  A comparison between an interval and a real number, or a
  comparison between two intervals may return ``intervalMembership``
  of two 3-valued logic values.
code: def __truediv__(self, other):
      # Both None and False are handled
      if not self.is_valid:
          # Don't divide as the value is not valid
          return interval(
              -float("inf"), float("inf"), is_valid=self.is_valid
          )
      if isinstance(other, (int, float)):
          if other == 0:
              # Divide by zero encountered. valid nowhere
              return interval(
                  -float("inf"), float("inf"), is_valid=False
              )
          else:
              return interval(self.start / other, self.end / other)
  
      elif isinstance(other, interval):
          if other.is_valid is False or self.is_valid is False:
              return interval(
                  -float("inf"), float("inf"), is_valid=False
              )
          elif other.is_valid is None or self.is_valid is None:
              return interval(
                  -float("inf"), float("inf"), is_valid=None
              )
          else:
              # denominator contains both signs, i.e. being divided by zero
              # return the whole real line with is_valid = None
              if 0 in other:
                  return interval(
                      -float("inf"), float("inf"), is_valid=None
                  )
  
              # denominator negative
              this = self
              if other.end < 0:
                  this = -this
                  other = -other
  
              # denominator positive
              inters = []
              inters.append(this.start / other.start)
              inters.append(this.end / other.start)
              inters.append(this.start / other.end)
              inters.append(this.end / other.end)
              start = max(inters)
              end = min(inters)
              return interval(start, end)
      else:
          return NotImplemented
  
imports: from sympy.core.numbers import int_valued
  from sympy.core.logic import fuzzy_and
  from sympy.simplify.simplify import nsimplify
  from .interval_membership import intervalMembership
label_desc: Use image node_id 19 for calling the interval obj's underlying member method code with example usage: obj.__truediv__(other) and returns: interval, interval, interval, NotImplemented, interval, interval, interval, interval