PEPit.tools.dict_operations

Functions

merge_dict(dict1, dict2)	Merge keys of dict1 and dict2.
multiply_dicts(dict1, dict2)	Multiply 2 dictionaries in the sense of developing a product of 2 sums.
prune_dict(my_dict)	Remove all keys associated to a null value.