1*da0073e9SAndroid Build Coastguard Worker# mypy: allow-untyped-defs 2*da0073e9SAndroid Build Coastguard Workerfrom functools import update_wrapper 3*da0073e9SAndroid Build Coastguard Workerfrom numbers import Number 4*da0073e9SAndroid Build Coastguard Workerfrom typing import Any, Dict 5*da0073e9SAndroid Build Coastguard Worker 6*da0073e9SAndroid Build Coastguard Workerimport torch 7*da0073e9SAndroid Build Coastguard Workerimport torch.nn.functional as F 8*da0073e9SAndroid Build Coastguard Workerfrom torch.overrides import is_tensor_like 9*da0073e9SAndroid Build Coastguard Worker 10*da0073e9SAndroid Build Coastguard Worker 11*da0073e9SAndroid Build Coastguard Workereuler_constant = 0.57721566490153286060 # Euler Mascheroni Constant 12*da0073e9SAndroid Build Coastguard Worker 13*da0073e9SAndroid Build Coastguard Worker__all__ = [ 14*da0073e9SAndroid Build Coastguard Worker "broadcast_all", 15*da0073e9SAndroid Build Coastguard Worker "logits_to_probs", 16*da0073e9SAndroid Build Coastguard Worker "clamp_probs", 17*da0073e9SAndroid Build Coastguard Worker "probs_to_logits", 18*da0073e9SAndroid Build Coastguard Worker "lazy_property", 19*da0073e9SAndroid Build Coastguard Worker "tril_matrix_to_vec", 20*da0073e9SAndroid Build Coastguard Worker "vec_to_tril_matrix", 21*da0073e9SAndroid Build Coastguard Worker] 22*da0073e9SAndroid Build Coastguard Worker 23*da0073e9SAndroid Build Coastguard Worker 24*da0073e9SAndroid Build Coastguard Workerdef broadcast_all(*values): 25*da0073e9SAndroid Build Coastguard Worker r""" 26*da0073e9SAndroid Build Coastguard Worker Given a list of values (possibly containing numbers), returns a list where each 27*da0073e9SAndroid Build Coastguard Worker value is broadcasted based on the following rules: 28*da0073e9SAndroid Build Coastguard Worker - `torch.*Tensor` instances are broadcasted as per :ref:`_broadcasting-semantics`. 29*da0073e9SAndroid Build Coastguard Worker - numbers.Number instances (scalars) are upcast to tensors having 30*da0073e9SAndroid Build Coastguard Worker the same size and type as the first tensor passed to `values`. If all the 31*da0073e9SAndroid Build Coastguard Worker values are scalars, then they are upcasted to scalar Tensors. 32*da0073e9SAndroid Build Coastguard Worker 33*da0073e9SAndroid Build Coastguard Worker Args: 34*da0073e9SAndroid Build Coastguard Worker values (list of `numbers.Number`, `torch.*Tensor` or objects implementing __torch_function__) 35*da0073e9SAndroid Build Coastguard Worker 36*da0073e9SAndroid Build Coastguard Worker Raises: 37*da0073e9SAndroid Build Coastguard Worker ValueError: if any of the values is not a `numbers.Number` instance, 38*da0073e9SAndroid Build Coastguard Worker a `torch.*Tensor` instance, or an instance implementing __torch_function__ 39*da0073e9SAndroid Build Coastguard Worker """ 40*da0073e9SAndroid Build Coastguard Worker if not all(is_tensor_like(v) or isinstance(v, Number) for v in values): 41*da0073e9SAndroid Build Coastguard Worker raise ValueError( 42*da0073e9SAndroid Build Coastguard Worker "Input arguments must all be instances of numbers.Number, " 43*da0073e9SAndroid Build Coastguard Worker "torch.Tensor or objects implementing __torch_function__." 44*da0073e9SAndroid Build Coastguard Worker ) 45*da0073e9SAndroid Build Coastguard Worker if not all(is_tensor_like(v) for v in values): 46*da0073e9SAndroid Build Coastguard Worker options: Dict[str, Any] = dict(dtype=torch.get_default_dtype()) 47*da0073e9SAndroid Build Coastguard Worker for value in values: 48*da0073e9SAndroid Build Coastguard Worker if isinstance(value, torch.Tensor): 49*da0073e9SAndroid Build Coastguard Worker options = dict(dtype=value.dtype, device=value.device) 50*da0073e9SAndroid Build Coastguard Worker break 51*da0073e9SAndroid Build Coastguard Worker new_values = [ 52*da0073e9SAndroid Build Coastguard Worker v if is_tensor_like(v) else torch.tensor(v, **options) for v in values 53*da0073e9SAndroid Build Coastguard Worker ] 54*da0073e9SAndroid Build Coastguard Worker return torch.broadcast_tensors(*new_values) 55*da0073e9SAndroid Build Coastguard Worker return torch.broadcast_tensors(*values) 56*da0073e9SAndroid Build Coastguard Worker 57*da0073e9SAndroid Build Coastguard Worker 58*da0073e9SAndroid Build Coastguard Workerdef _standard_normal(shape, dtype, device): 59*da0073e9SAndroid Build Coastguard Worker if torch._C._get_tracing_state(): 60*da0073e9SAndroid Build Coastguard Worker # [JIT WORKAROUND] lack of support for .normal_() 61*da0073e9SAndroid Build Coastguard Worker return torch.normal( 62*da0073e9SAndroid Build Coastguard Worker torch.zeros(shape, dtype=dtype, device=device), 63*da0073e9SAndroid Build Coastguard Worker torch.ones(shape, dtype=dtype, device=device), 64*da0073e9SAndroid Build Coastguard Worker ) 65*da0073e9SAndroid Build Coastguard Worker return torch.empty(shape, dtype=dtype, device=device).normal_() 66*da0073e9SAndroid Build Coastguard Worker 67*da0073e9SAndroid Build Coastguard Worker 68*da0073e9SAndroid Build Coastguard Workerdef _sum_rightmost(value, dim): 69*da0073e9SAndroid Build Coastguard Worker r""" 70*da0073e9SAndroid Build Coastguard Worker Sum out ``dim`` many rightmost dimensions of a given tensor. 71*da0073e9SAndroid Build Coastguard Worker 72*da0073e9SAndroid Build Coastguard Worker Args: 73*da0073e9SAndroid Build Coastguard Worker value (Tensor): A tensor of ``.dim()`` at least ``dim``. 74*da0073e9SAndroid Build Coastguard Worker dim (int): The number of rightmost dims to sum out. 75*da0073e9SAndroid Build Coastguard Worker """ 76*da0073e9SAndroid Build Coastguard Worker if dim == 0: 77*da0073e9SAndroid Build Coastguard Worker return value 78*da0073e9SAndroid Build Coastguard Worker required_shape = value.shape[:-dim] + (-1,) 79*da0073e9SAndroid Build Coastguard Worker return value.reshape(required_shape).sum(-1) 80*da0073e9SAndroid Build Coastguard Worker 81*da0073e9SAndroid Build Coastguard Worker 82*da0073e9SAndroid Build Coastguard Workerdef logits_to_probs(logits, is_binary=False): 83*da0073e9SAndroid Build Coastguard Worker r""" 84*da0073e9SAndroid Build Coastguard Worker Converts a tensor of logits into probabilities. Note that for the 85*da0073e9SAndroid Build Coastguard Worker binary case, each value denotes log odds, whereas for the 86*da0073e9SAndroid Build Coastguard Worker multi-dimensional case, the values along the last dimension denote 87*da0073e9SAndroid Build Coastguard Worker the log probabilities (possibly unnormalized) of the events. 88*da0073e9SAndroid Build Coastguard Worker """ 89*da0073e9SAndroid Build Coastguard Worker if is_binary: 90*da0073e9SAndroid Build Coastguard Worker return torch.sigmoid(logits) 91*da0073e9SAndroid Build Coastguard Worker return F.softmax(logits, dim=-1) 92*da0073e9SAndroid Build Coastguard Worker 93*da0073e9SAndroid Build Coastguard Worker 94*da0073e9SAndroid Build Coastguard Workerdef clamp_probs(probs): 95*da0073e9SAndroid Build Coastguard Worker """Clamps the probabilities to be in the open interval `(0, 1)`. 96*da0073e9SAndroid Build Coastguard Worker 97*da0073e9SAndroid Build Coastguard Worker The probabilities would be clamped between `eps` and `1 - eps`, 98*da0073e9SAndroid Build Coastguard Worker and `eps` would be the smallest representable positive number for the input data type. 99*da0073e9SAndroid Build Coastguard Worker 100*da0073e9SAndroid Build Coastguard Worker Args: 101*da0073e9SAndroid Build Coastguard Worker probs (Tensor): A tensor of probabilities. 102*da0073e9SAndroid Build Coastguard Worker 103*da0073e9SAndroid Build Coastguard Worker Returns: 104*da0073e9SAndroid Build Coastguard Worker Tensor: The clamped probabilities. 105*da0073e9SAndroid Build Coastguard Worker 106*da0073e9SAndroid Build Coastguard Worker Examples: 107*da0073e9SAndroid Build Coastguard Worker >>> probs = torch.tensor([0.0, 0.5, 1.0]) 108*da0073e9SAndroid Build Coastguard Worker >>> clamp_probs(probs) 109*da0073e9SAndroid Build Coastguard Worker tensor([1.1921e-07, 5.0000e-01, 1.0000e+00]) 110*da0073e9SAndroid Build Coastguard Worker 111*da0073e9SAndroid Build Coastguard Worker >>> probs = torch.tensor([0.0, 0.5, 1.0], dtype=torch.float64) 112*da0073e9SAndroid Build Coastguard Worker >>> clamp_probs(probs) 113*da0073e9SAndroid Build Coastguard Worker tensor([2.2204e-16, 5.0000e-01, 1.0000e+00], dtype=torch.float64) 114*da0073e9SAndroid Build Coastguard Worker 115*da0073e9SAndroid Build Coastguard Worker """ 116*da0073e9SAndroid Build Coastguard Worker eps = torch.finfo(probs.dtype).eps 117*da0073e9SAndroid Build Coastguard Worker return probs.clamp(min=eps, max=1 - eps) 118*da0073e9SAndroid Build Coastguard Worker 119*da0073e9SAndroid Build Coastguard Worker 120*da0073e9SAndroid Build Coastguard Workerdef probs_to_logits(probs, is_binary=False): 121*da0073e9SAndroid Build Coastguard Worker r""" 122*da0073e9SAndroid Build Coastguard Worker Converts a tensor of probabilities into logits. For the binary case, 123*da0073e9SAndroid Build Coastguard Worker this denotes the probability of occurrence of the event indexed by `1`. 124*da0073e9SAndroid Build Coastguard Worker For the multi-dimensional case, the values along the last dimension 125*da0073e9SAndroid Build Coastguard Worker denote the probabilities of occurrence of each of the events. 126*da0073e9SAndroid Build Coastguard Worker """ 127*da0073e9SAndroid Build Coastguard Worker ps_clamped = clamp_probs(probs) 128*da0073e9SAndroid Build Coastguard Worker if is_binary: 129*da0073e9SAndroid Build Coastguard Worker return torch.log(ps_clamped) - torch.log1p(-ps_clamped) 130*da0073e9SAndroid Build Coastguard Worker return torch.log(ps_clamped) 131*da0073e9SAndroid Build Coastguard Worker 132*da0073e9SAndroid Build Coastguard Worker 133*da0073e9SAndroid Build Coastguard Workerclass lazy_property: 134*da0073e9SAndroid Build Coastguard Worker r""" 135*da0073e9SAndroid Build Coastguard Worker Used as a decorator for lazy loading of class attributes. This uses a 136*da0073e9SAndroid Build Coastguard Worker non-data descriptor that calls the wrapped method to compute the property on 137*da0073e9SAndroid Build Coastguard Worker first call; thereafter replacing the wrapped method into an instance 138*da0073e9SAndroid Build Coastguard Worker attribute. 139*da0073e9SAndroid Build Coastguard Worker """ 140*da0073e9SAndroid Build Coastguard Worker 141*da0073e9SAndroid Build Coastguard Worker def __init__(self, wrapped): 142*da0073e9SAndroid Build Coastguard Worker self.wrapped = wrapped 143*da0073e9SAndroid Build Coastguard Worker update_wrapper(self, wrapped) # type:ignore[arg-type] 144*da0073e9SAndroid Build Coastguard Worker 145*da0073e9SAndroid Build Coastguard Worker def __get__(self, instance, obj_type=None): 146*da0073e9SAndroid Build Coastguard Worker if instance is None: 147*da0073e9SAndroid Build Coastguard Worker return _lazy_property_and_property(self.wrapped) 148*da0073e9SAndroid Build Coastguard Worker with torch.enable_grad(): 149*da0073e9SAndroid Build Coastguard Worker value = self.wrapped(instance) 150*da0073e9SAndroid Build Coastguard Worker setattr(instance, self.wrapped.__name__, value) 151*da0073e9SAndroid Build Coastguard Worker return value 152*da0073e9SAndroid Build Coastguard Worker 153*da0073e9SAndroid Build Coastguard Worker 154*da0073e9SAndroid Build Coastguard Workerclass _lazy_property_and_property(lazy_property, property): 155*da0073e9SAndroid Build Coastguard Worker """We want lazy properties to look like multiple things. 156*da0073e9SAndroid Build Coastguard Worker 157*da0073e9SAndroid Build Coastguard Worker * property when Sphinx autodoc looks 158*da0073e9SAndroid Build Coastguard Worker * lazy_property when Distribution validate_args looks 159*da0073e9SAndroid Build Coastguard Worker """ 160*da0073e9SAndroid Build Coastguard Worker 161*da0073e9SAndroid Build Coastguard Worker def __init__(self, wrapped): 162*da0073e9SAndroid Build Coastguard Worker property.__init__(self, wrapped) 163*da0073e9SAndroid Build Coastguard Worker 164*da0073e9SAndroid Build Coastguard Worker 165*da0073e9SAndroid Build Coastguard Workerdef tril_matrix_to_vec(mat: torch.Tensor, diag: int = 0) -> torch.Tensor: 166*da0073e9SAndroid Build Coastguard Worker r""" 167*da0073e9SAndroid Build Coastguard Worker Convert a `D x D` matrix or a batch of matrices into a (batched) vector 168*da0073e9SAndroid Build Coastguard Worker which comprises of lower triangular elements from the matrix in row order. 169*da0073e9SAndroid Build Coastguard Worker """ 170*da0073e9SAndroid Build Coastguard Worker n = mat.shape[-1] 171*da0073e9SAndroid Build Coastguard Worker if not torch._C._get_tracing_state() and (diag < -n or diag >= n): 172*da0073e9SAndroid Build Coastguard Worker raise ValueError(f"diag ({diag}) provided is outside [{-n}, {n-1}].") 173*da0073e9SAndroid Build Coastguard Worker arange = torch.arange(n, device=mat.device) 174*da0073e9SAndroid Build Coastguard Worker tril_mask = arange < arange.view(-1, 1) + (diag + 1) 175*da0073e9SAndroid Build Coastguard Worker vec = mat[..., tril_mask] 176*da0073e9SAndroid Build Coastguard Worker return vec 177*da0073e9SAndroid Build Coastguard Worker 178*da0073e9SAndroid Build Coastguard Worker 179*da0073e9SAndroid Build Coastguard Workerdef vec_to_tril_matrix(vec: torch.Tensor, diag: int = 0) -> torch.Tensor: 180*da0073e9SAndroid Build Coastguard Worker r""" 181*da0073e9SAndroid Build Coastguard Worker Convert a vector or a batch of vectors into a batched `D x D` 182*da0073e9SAndroid Build Coastguard Worker lower triangular matrix containing elements from the vector in row order. 183*da0073e9SAndroid Build Coastguard Worker """ 184*da0073e9SAndroid Build Coastguard Worker # +ve root of D**2 + (1+2*diag)*D - |diag| * (diag+1) - 2*vec.shape[-1] = 0 185*da0073e9SAndroid Build Coastguard Worker n = ( 186*da0073e9SAndroid Build Coastguard Worker -(1 + 2 * diag) 187*da0073e9SAndroid Build Coastguard Worker + ((1 + 2 * diag) ** 2 + 8 * vec.shape[-1] + 4 * abs(diag) * (diag + 1)) ** 0.5 188*da0073e9SAndroid Build Coastguard Worker ) / 2 189*da0073e9SAndroid Build Coastguard Worker eps = torch.finfo(vec.dtype).eps 190*da0073e9SAndroid Build Coastguard Worker if not torch._C._get_tracing_state() and (round(n) - n > eps): 191*da0073e9SAndroid Build Coastguard Worker raise ValueError( 192*da0073e9SAndroid Build Coastguard Worker f"The size of last dimension is {vec.shape[-1]} which cannot be expressed as " 193*da0073e9SAndroid Build Coastguard Worker + "the lower triangular part of a square D x D matrix." 194*da0073e9SAndroid Build Coastguard Worker ) 195*da0073e9SAndroid Build Coastguard Worker n = round(n.item()) if isinstance(n, torch.Tensor) else round(n) 196*da0073e9SAndroid Build Coastguard Worker mat = vec.new_zeros(vec.shape[:-1] + torch.Size((n, n))) 197*da0073e9SAndroid Build Coastguard Worker arange = torch.arange(n, device=vec.device) 198*da0073e9SAndroid Build Coastguard Worker tril_mask = arange < arange.view(-1, 1) + (diag + 1) 199*da0073e9SAndroid Build Coastguard Worker mat[..., tril_mask] = vec 200*da0073e9SAndroid Build Coastguard Worker return mat 201