turn a, b such that a * symbol + b == self.

        If self is not linear with respect to symbol, raise RuntimeError.
        r