# Buggy code
def division(x_sh, y_sh, bit_len_max=None):
    """Performs division of encrypted numbers

    Args:
        x_sh, y_sh (AdditiveSharingTensor): the private tensors on which the op applies

    Returns:
        element-wise integer division of x_sh by y_sh
    """
    assert x_sh.dtype == y_sh.dtype != "custom", (
        "`custom` dtype shares are unsupported in SecureNN, use dtype = `long` or `int` instead"
    )
    alice, bob = x_sh.locations
    crypto_provider = x_sh.crypto_provider
    L = x_sh.field
    dtype = get_dtype(L)
    if bit_len_max is None:
        bit_len_max = Q_BITS(L) // 2

    x_shape = x_sh.shape
    y_shape = y_sh.shape
    assert x_shape == y_shape or list(y_shape) == [1]

    x_sh = x_sh.view(-1)
    y_sh = y_sh.view(-1)

    # Common Randomness
    w_sh = _shares_of_zero(bit_len_max, L, dtype, crypto_provider, alice, bob)
    s_sh = _shares_of_zero(1, L, dtype, crypto_provider, alice, bob)
    u_sh = _shares_of_zero(1, L, dtype, crypto_provider, alice, bob)

    ks = []
    for i in range(bit_len_max - 1, -1, -1):
        # 3)
        z_sh = x_sh - u_sh - 2**i * y_sh + w_sh[i]

        # 4)
        beta_sh = relu_deriv(z_sh)

        # 5)
        v_sh = beta_sh * (2**i * y_sh)

        # 6)
        k_sh = beta_sh * 2**i
        ks.append(k_sh)

        # 7)
        u_sh = u_sh + v_sh

    # 9)
    q = sum(ks) + s_sh

    if len(x_shape):
        return q.view(*x_shape)
    else:
        return q


# Traceback (TypeError)
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)
<ipython-input-7-902fb9b77716> in <module>
12 x = th.tensor([1.1,2.0,3.2,4.0]).fix_precision().share(*workers, crypto_provider=sw, requires_grad=True)
13 m=th.nn.Linear(4, 1).fix_precision().share(*workers, crypto_provider=sw, requires_grad=True)
---> 14 o=m(x)

/usr/local/lib/python3.7/site-packages/torch/nn/modules/module.py in __call__(self, *input, **kwargs)
491             result = self._slow_forward(*input, **kwargs)
492         else:
--> 493             result = self.forward(*input, **kwargs)
494         for hook in self._forward_hooks.values():
495             hook_result = hook(self, input, result)

/usr/local/lib/python3.7/site-packages/torch/nn/modules/linear.py in forward(self, input)
90     @weak_script_method
91     def forward(self, input):
---> 92         return F.linear(input, self.weight, self.bias)
93
94     def extra_repr(self):

/usr/local/lib/python3.7/site-packages/syft/frameworks/torch/hook/hook.py in overloaded_func(*args, **kwargs)
745                 handle_func_command = TorchTensor.handle_func_command
746
--> 747             response = handle_func_command(command)
748
749             return response

/usr/local/lib/python3.7/site-packages/syft/frameworks/torch/tensors/interpreters/native.py in handle_func_command(cls, command)
310             new_command = (cmd, None, new_args, new_kwargs)
311             # Send it to the appropriate class and get the response
--> 312             response = new_type.handle_func_command(new_command)
313             # Put back the wrappers where needed
314             response = syft.frameworks.torch.hook_args.hook_response(

/usr/local/lib/python3.7/site-packages/syft/frameworks/torch/tensors/interpreters/autograd.py in handle_func_command(cls, command)
236             # Try to get recursively the attributes in cmd = "<attr1>.<attr2>.<attr3>..."
237             cmd = cls.rgetattr(cls, cmd)
--> 238             return cmd(*args, **kwargs)
239         except AttributeError:
240             pass

/usr/local/lib/python3.7/site-packages/syft/frameworks/torch/tensors/interpreters/autograd.py in linear(*args)
201                     Un-hook the function to have its detailed behaviour
202                     """
--> 203                     return torch.nn.functional.native_linear(*args)
204
205                 module.linear = linear

/usr/local/lib/python3.7/site-packages/torch/nn/functional.py in linear(input, weight, bias)
1406         ret = torch.addmm(bias, input, weight.t())
1407     else:
-> 1408         output = input.matmul(weight.t())
1409         if bias is not None:
1410             output += bias

/usr/local/lib/python3.7/site-packages/syft/frameworks/torch/tensors/interpreters/autograd.py in method_with_grad(*args, **kwargs)
138                 )
139
--> 140                 result = getattr(new_self, name)(*new_args, **new_kwargs)
141
142                 # Put back SyftTensor on the tensors found in the response

/usr/local/lib/python3.7/site-packages/syft/frameworks/torch/tensors/interpreters/precision.py in matmul(self, *args, **kwargs)
414
415         # Send it to the appropriate class and get the response
--> 416         response = getattr(new_self, "matmul")(*new_args, **new_kwargs)
417
418         # Put back SyftTensor on the tensors found in the response

/usr/local/lib/python3.7/site-packages/syft/frameworks/torch/tensors/interpreters/additive_shared.py in matmul(self, other)
515             return self._public_mul(other, "matmul")
516
--> 517         return self._private_mul(other, "matmul")
518
519     def mm(self, *args, **kwargs):

/usr/local/lib/python3.7/site-packages/syft/frameworks/torch/tensors/interpreters/additive_shared.py in _private_mul(self, other, equation)
413             raise AttributeError("For multiplication a crypto_provider must be passed.")
414
--> 415         shares = spdz.spdz_mul(cmd, self, other, self.crypto_provider, self.field)
416
417         return shares

/usr/local/lib/python3.7/site-packages/syft/frameworks/torch/crypto/spdz.py in spdz_mul(cmd, x_sh, y_sh, crypto_provider, field)
43         j = sy.MultiPointerTensor(children=[j1, j0])
44     else:
---> 45         j = sy.MultiPointerTensor(children=[j1] + j0.child.values())
46
47     delta_b = cmd(delta, b)

TypeError: can only concatenate list (not "dict_values") to list

# Fixed code
def division(x_sh, y_sh, bit_len_max=None):
    """Performs division of encrypted numbers

    Args:
        x_sh, y_sh (AdditiveSharingTensor): the private tensors on which the op applies

    Returns:
        element-wise integer division of x_sh by y_sh
    """
    assert x_sh.dtype == y_sh.dtype != "custom", (
        "`custom` dtype shares are unsupported in SecureNN, use dtype = `long` or `int` instead"
    )
    workers = x_sh.locations
    crypto_provider = x_sh.crypto_provider
    L = x_sh.field
    dtype = get_dtype(L)
    if bit_len_max is None:
        bit_len_max = Q_BITS(L) // 2

    x_shape = x_sh.shape
    y_shape = y_sh.shape
    assert x_shape == y_shape or list(y_shape) == [1]

    x_sh = x_sh.view(-1)
    y_sh = y_sh.view(-1)

    # Common Randomness
    w_sh = _shares_of_zero(bit_len_max, L, dtype, crypto_provider, *workers)
    s_sh = _shares_of_zero(1, L, dtype, crypto_provider, *workers)
    u_sh = _shares_of_zero(1, L, dtype, crypto_provider, *workers)

    ks = []
    for i in range(bit_len_max - 1, -1, -1):
        # 3)
        z_sh = x_sh - u_sh - 2**i * y_sh + w_sh[i]

        # 4)
        beta_sh = relu_deriv(z_sh)

        # 5)
        v_sh = beta_sh * (2**i * y_sh)

        # 6)
        k_sh = beta_sh * 2**i
        ks.append(k_sh)

        # 7)
        u_sh = u_sh + v_sh

    # 9)
    q = sum(ks) + s_sh

    if len(x_shape):
        return q.view(*x_shape)
    else:
        return q