@staticmethod
def new_with_T_on_diff(bvec1, bvec2):
    '\n        Given two BitVectors bevc1 and bvec2, this return a BitVector which\n        is a bitwise xor (mod 2 sum) of the bits of bvec1 and bvec2.\n\n        Parameters\n        ----------\n        bvec1 : BitVector\n        bvec2 : BitVector\n\n        Returns\n        -------\n        BitVector\n\n        '
    assert (bvec1.len == bvec2.len)
    return BitVector(bvec1.len, (bvec1.dec_rep ^ bvec2.dec_rep))
Given two BitVectors bevc1 and bvec2, this return a BitVector which
is a bitwise xor (mod 2 sum) of the bits of bvec1 and bvec2.

Parameters
----------
bvec1 : BitVector
bvec2 : BitVector

Returns
-------
BitVector
@staticmethod
def new_with_T_on_diff(bvec1, bvec2):
    '\n        Given two BitVectors bevc1 and bvec2, this return a BitVector which\n        is a bitwise xor (mod 2 sum) of the bits of bvec1 and bvec2.\n\n        Parameters\n        ----------\n        bvec1 : BitVector\n        bvec2 : BitVector\n\n        Returns\n        -------\n        BitVector\n\n        '
    assert (bvec1.len == bvec2.len)
    return BitVector(bvec1.len, (bvec1.dec_rep ^ bvec2.dec_rep))