Modifier les bits dans un entier en Python

Donc, j'ai un nombre entier avec une valeur de 7. (0b00000111) Et je voudrais la remplacer par une fonction à 13. (0b00001101) Alors quel est le meilleur algorithme pour remplacer les octets dans un nombre entier? Par exemple:

set_bits(somevalue, 3, 1) # What makes the 3rd bit to 1 in somevalue?

source d'informationauteur Váradi Norbert