| | |
| | |
| |
|
| | import functools |
| | from typing import Optional |
| |
|
| | import torch |
| | import torch.nn.functional as F |
| |
|
| |
|
| | """ |
| | The transformation matrices returned from the functions in this file assume |
| | the points on which the transformation will be applied are column vectors. |
| | i.e. the R matrix is structured as |
| | |
| | R = [ |
| | [Rxx, Rxy, Rxz], |
| | [Ryx, Ryy, Ryz], |
| | [Rzx, Rzy, Rzz], |
| | ] # (3, 3) |
| | |
| | This matrix can be applied to column vectors by post multiplication |
| | by the points e.g. |
| | |
| | points = [[0], [1], [2]] # (3 x 1) xyz coordinates of a point |
| | transformed_points = R * points |
| | |
| | To apply the same matrix to points which are row vectors, the R matrix |
| | can be transposed and pre multiplied by the points: |
| | |
| | e.g. |
| | points = [[0, 1, 2]] # (1 x 3) xyz coordinates of a point |
| | transformed_points = points * R.transpose(1, 0) |
| | """ |
| |
|
| |
|
| | |
| | def matrix_of_angles(cos, sin, inv=False, dim=2): |
| | assert dim in [2, 3] |
| | sin = -sin if inv else sin |
| | if dim == 2: |
| | row1 = torch.stack((cos, -sin), axis=-1) |
| | row2 = torch.stack((sin, cos), axis=-1) |
| | return torch.stack((row1, row2), axis=-2) |
| | elif dim == 3: |
| | row1 = torch.stack((cos, -sin, 0*cos), axis=-1) |
| | row2 = torch.stack((sin, cos, 0*cos), axis=-1) |
| | row3 = torch.stack((0*sin, 0*cos, 1+0*cos), axis=-1) |
| | return torch.stack((row1, row2, row3),axis=-2) |
| |
|
| |
|
| | def quaternion_to_matrix(quaternions): |
| | """ |
| | Convert rotations given as quaternions to rotation matrices. |
| | |
| | Args: |
| | quaternions: quaternions with real part first, |
| | as tensor of shape (..., 4). |
| | |
| | Returns: |
| | Rotation matrices as tensor of shape (..., 3, 3). |
| | """ |
| | r, i, j, k = torch.unbind(quaternions, -1) |
| | two_s = 2.0 / (quaternions * quaternions).sum(-1) |
| |
|
| | o = torch.stack( |
| | ( |
| | 1 - two_s * (j * j + k * k), |
| | two_s * (i * j - k * r), |
| | two_s * (i * k + j * r), |
| | two_s * (i * j + k * r), |
| | 1 - two_s * (i * i + k * k), |
| | two_s * (j * k - i * r), |
| | two_s * (i * k - j * r), |
| | two_s * (j * k + i * r), |
| | 1 - two_s * (i * i + j * j), |
| | ), |
| | -1, |
| | ) |
| | return o.reshape(quaternions.shape[:-1] + (3, 3)) |
| |
|
| |
|
| | def _copysign(a, b): |
| | """ |
| | Return a tensor where each element has the absolute value taken from the, |
| | corresponding element of a, with sign taken from the corresponding |
| | element of b. This is like the standard copysign floating-point operation, |
| | but is not careful about negative 0 and NaN. |
| | |
| | Args: |
| | a: source tensor. |
| | b: tensor whose signs will be used, of the same shape as a. |
| | |
| | Returns: |
| | Tensor of the same shape as a with the signs of b. |
| | """ |
| | signs_differ = (a < 0) != (b < 0) |
| | return torch.where(signs_differ, -a, a) |
| |
|
| |
|
| | def _sqrt_positive_part(x): |
| | """ |
| | Returns torch.sqrt(torch.max(0, x)) |
| | but with a zero subgradient where x is 0. |
| | """ |
| | ret = torch.zeros_like(x) |
| | positive_mask = x > 0 |
| | ret[positive_mask] = torch.sqrt(x[positive_mask]) |
| | return ret |
| |
|
| |
|
| | def matrix_to_quaternion(matrix): |
| | """ |
| | Convert rotations given as rotation matrices to quaternions. |
| | |
| | Args: |
| | matrix: Rotation matrices as tensor of shape (..., 3, 3). |
| | |
| | Returns: |
| | quaternions with real part first, as tensor of shape (..., 4). |
| | """ |
| | if matrix.size(-1) != 3 or matrix.size(-2) != 3: |
| | raise ValueError(f"Invalid rotation matrix shape f{matrix.shape}.") |
| | m00 = matrix[..., 0, 0] |
| | m11 = matrix[..., 1, 1] |
| | m22 = matrix[..., 2, 2] |
| | o0 = 0.5 * _sqrt_positive_part(1 + m00 + m11 + m22) |
| | x = 0.5 * _sqrt_positive_part(1 + m00 - m11 - m22) |
| | y = 0.5 * _sqrt_positive_part(1 - m00 + m11 - m22) |
| | z = 0.5 * _sqrt_positive_part(1 - m00 - m11 + m22) |
| | o1 = _copysign(x, matrix[..., 2, 1] - matrix[..., 1, 2]) |
| | o2 = _copysign(y, matrix[..., 0, 2] - matrix[..., 2, 0]) |
| | o3 = _copysign(z, matrix[..., 1, 0] - matrix[..., 0, 1]) |
| | return torch.stack((o0, o1, o2, o3), -1) |
| |
|
| |
|
| | def _axis_angle_rotation(axis: str, angle): |
| | """ |
| | Return the rotation matrices for one of the rotations about an axis |
| | of which Euler angles describe, for each value of the angle given. |
| | |
| | Args: |
| | axis: Axis label "X" or "Y or "Z". |
| | angle: any shape tensor of Euler angles in radians |
| | |
| | Returns: |
| | Rotation matrices as tensor of shape (..., 3, 3). |
| | """ |
| |
|
| | cos = torch.cos(angle) |
| | sin = torch.sin(angle) |
| | one = torch.ones_like(angle) |
| | zero = torch.zeros_like(angle) |
| |
|
| | if axis == "X": |
| | R_flat = (one, zero, zero, zero, cos, -sin, zero, sin, cos) |
| | if axis == "Y": |
| | R_flat = (cos, zero, sin, zero, one, zero, -sin, zero, cos) |
| | if axis == "Z": |
| | R_flat = (cos, -sin, zero, sin, cos, zero, zero, zero, one) |
| |
|
| | return torch.stack(R_flat, -1).reshape(angle.shape + (3, 3)) |
| |
|
| |
|
| | def euler_angles_to_matrix(euler_angles, convention: str): |
| | """ |
| | Convert rotations given as Euler angles in radians to rotation matrices. |
| | |
| | Args: |
| | euler_angles: Euler angles in radians as tensor of shape (..., 3). |
| | convention: Convention string of three uppercase letters from |
| | {"X", "Y", and "Z"}. |
| | |
| | Returns: |
| | Rotation matrices as tensor of shape (..., 3, 3). |
| | """ |
| | if euler_angles.dim() == 0 or euler_angles.shape[-1] != 3: |
| | raise ValueError("Invalid input euler angles.") |
| | if len(convention) != 3: |
| | raise ValueError("Convention must have 3 letters.") |
| | if convention[1] in (convention[0], convention[2]): |
| | raise ValueError(f"Invalid convention {convention}.") |
| | for letter in convention: |
| | if letter not in ("X", "Y", "Z"): |
| | raise ValueError(f"Invalid letter {letter} in convention string.") |
| | matrices = map(_axis_angle_rotation, convention, torch.unbind(euler_angles, -1)) |
| | return functools.reduce(torch.matmul, matrices) |
| |
|
| |
|
| | def _angle_from_tan( |
| | axis: str, other_axis: str, data, horizontal: bool, tait_bryan: bool |
| | ): |
| | """ |
| | Extract the first or third Euler angle from the two members of |
| | the matrix which are positive constant times its sine and cosine. |
| | |
| | Args: |
| | axis: Axis label "X" or "Y or "Z" for the angle we are finding. |
| | other_axis: Axis label "X" or "Y or "Z" for the middle axis in the |
| | convention. |
| | data: Rotation matrices as tensor of shape (..., 3, 3). |
| | horizontal: Whether we are looking for the angle for the third axis, |
| | which means the relevant entries are in the same row of the |
| | rotation matrix. If not, they are in the same column. |
| | tait_bryan: Whether the first and third axes in the convention differ. |
| | |
| | Returns: |
| | Euler Angles in radians for each matrix in data as a tensor |
| | of shape (...). |
| | """ |
| |
|
| | i1, i2 = {"X": (2, 1), "Y": (0, 2), "Z": (1, 0)}[axis] |
| | if horizontal: |
| | i2, i1 = i1, i2 |
| | even = (axis + other_axis) in ["XY", "YZ", "ZX"] |
| | if horizontal == even: |
| | return torch.atan2(data[..., i1], data[..., i2]) |
| | if tait_bryan: |
| | return torch.atan2(-data[..., i2], data[..., i1]) |
| | return torch.atan2(data[..., i2], -data[..., i1]) |
| |
|
| |
|
| | def _index_from_letter(letter: str): |
| | if letter == "X": |
| | return 0 |
| | if letter == "Y": |
| | return 1 |
| | if letter == "Z": |
| | return 2 |
| |
|
| |
|
| | def matrix_to_euler_angles(matrix, convention: str): |
| | """ |
| | Convert rotations given as rotation matrices to Euler angles in radians. |
| | |
| | Args: |
| | matrix: Rotation matrices as tensor of shape (..., 3, 3). |
| | convention: Convention string of three uppercase letters. |
| | |
| | Returns: |
| | Euler angles in radians as tensor of shape (..., 3). |
| | """ |
| | if len(convention) != 3: |
| | raise ValueError("Convention must have 3 letters.") |
| | if convention[1] in (convention[0], convention[2]): |
| | raise ValueError(f"Invalid convention {convention}.") |
| | for letter in convention: |
| | if letter not in ("X", "Y", "Z"): |
| | raise ValueError(f"Invalid letter {letter} in convention string.") |
| | if matrix.size(-1) != 3 or matrix.size(-2) != 3: |
| | raise ValueError(f"Invalid rotation matrix shape f{matrix.shape}.") |
| | i0 = _index_from_letter(convention[0]) |
| | i2 = _index_from_letter(convention[2]) |
| | tait_bryan = i0 != i2 |
| | if tait_bryan: |
| | central_angle = torch.asin( |
| | matrix[..., i0, i2] * (-1.0 if i0 - i2 in [-1, 2] else 1.0) |
| | ) |
| | else: |
| | central_angle = torch.acos(matrix[..., i0, i0]) |
| |
|
| | o = ( |
| | _angle_from_tan( |
| | convention[0], convention[1], matrix[..., i2], False, tait_bryan |
| | ), |
| | central_angle, |
| | _angle_from_tan( |
| | convention[2], convention[1], matrix[..., i0, :], True, tait_bryan |
| | ), |
| | ) |
| | return torch.stack(o, -1) |
| |
|
| |
|
| | def random_quaternions( |
| | n: int, dtype: Optional[torch.dtype] = None, device=None, requires_grad=False |
| | ): |
| | """ |
| | Generate random quaternions representing rotations, |
| | i.e. versors with nonnegative real part. |
| | |
| | Args: |
| | n: Number of quaternions in a batch to return. |
| | dtype: Type to return. |
| | device: Desired device of returned tensor. Default: |
| | uses the current device for the default tensor type. |
| | requires_grad: Whether the resulting tensor should have the gradient |
| | flag set. |
| | |
| | Returns: |
| | Quaternions as tensor of shape (N, 4). |
| | """ |
| | o = torch.randn((n, 4), dtype=dtype, device=device, requires_grad=requires_grad) |
| | s = (o * o).sum(1) |
| | o = o / _copysign(torch.sqrt(s), o[:, 0])[:, None] |
| | return o |
| |
|
| |
|
| | def random_rotations( |
| | n: int, dtype: Optional[torch.dtype] = None, device=None, requires_grad=False |
| | ): |
| | """ |
| | Generate random rotations as 3x3 rotation matrices. |
| | |
| | Args: |
| | n: Number of rotation matrices in a batch to return. |
| | dtype: Type to return. |
| | device: Device of returned tensor. Default: if None, |
| | uses the current device for the default tensor type. |
| | requires_grad: Whether the resulting tensor should have the gradient |
| | flag set. |
| | |
| | Returns: |
| | Rotation matrices as tensor of shape (n, 3, 3). |
| | """ |
| | quaternions = random_quaternions( |
| | n, dtype=dtype, device=device, requires_grad=requires_grad |
| | ) |
| | return quaternion_to_matrix(quaternions) |
| |
|
| |
|
| | def random_rotation( |
| | dtype: Optional[torch.dtype] = None, device=None, requires_grad=False |
| | ): |
| | """ |
| | Generate a single random 3x3 rotation matrix. |
| | |
| | Args: |
| | dtype: Type to return |
| | device: Device of returned tensor. Default: if None, |
| | uses the current device for the default tensor type |
| | requires_grad: Whether the resulting tensor should have the gradient |
| | flag set |
| | |
| | Returns: |
| | Rotation matrix as tensor of shape (3, 3). |
| | """ |
| | return random_rotations(1, dtype, device, requires_grad)[0] |
| |
|
| |
|
| | def standardize_quaternion(quaternions): |
| | """ |
| | Convert a unit quaternion to a standard form: one in which the real |
| | part is non negative. |
| | |
| | Args: |
| | quaternions: Quaternions with real part first, |
| | as tensor of shape (..., 4). |
| | |
| | Returns: |
| | Standardized quaternions as tensor of shape (..., 4). |
| | """ |
| | return torch.where(quaternions[..., 0:1] < 0, -quaternions, quaternions) |
| |
|
| |
|
| | def quaternion_raw_multiply(a, b): |
| | """ |
| | Multiply two quaternions. |
| | Usual torch rules for broadcasting apply. |
| | |
| | Args: |
| | a: Quaternions as tensor of shape (..., 4), real part first. |
| | b: Quaternions as tensor of shape (..., 4), real part first. |
| | |
| | Returns: |
| | The product of a and b, a tensor of quaternions shape (..., 4). |
| | """ |
| | aw, ax, ay, az = torch.unbind(a, -1) |
| | bw, bx, by, bz = torch.unbind(b, -1) |
| | ow = aw * bw - ax * bx - ay * by - az * bz |
| | ox = aw * bx + ax * bw + ay * bz - az * by |
| | oy = aw * by - ax * bz + ay * bw + az * bx |
| | oz = aw * bz + ax * by - ay * bx + az * bw |
| | return torch.stack((ow, ox, oy, oz), -1) |
| |
|
| |
|
| | def quaternion_multiply(a, b): |
| | """ |
| | Multiply two quaternions representing rotations, returning the quaternion |
| | representing their composition, i.e. the versorΒ with nonnegative real part. |
| | Usual torch rules for broadcasting apply. |
| | |
| | Args: |
| | a: Quaternions as tensor of shape (..., 4), real part first. |
| | b: Quaternions as tensor of shape (..., 4), real part first. |
| | |
| | Returns: |
| | The product of a and b, a tensor of quaternions of shape (..., 4). |
| | """ |
| | ab = quaternion_raw_multiply(a, b) |
| | return standardize_quaternion(ab) |
| |
|
| |
|
| | def quaternion_invert(quaternion): |
| | """ |
| | Given a quaternion representing rotation, get the quaternion representing |
| | its inverse. |
| | |
| | Args: |
| | quaternion: Quaternions as tensor of shape (..., 4), with real part |
| | first, which must be versors (unit quaternions). |
| | |
| | Returns: |
| | The inverse, a tensor of quaternions of shape (..., 4). |
| | """ |
| |
|
| | return quaternion * quaternion.new_tensor([1, -1, -1, -1]) |
| |
|
| |
|
| | def quaternion_apply(quaternion, point): |
| | """ |
| | Apply the rotation given by a quaternion to a 3D point. |
| | Usual torch rules for broadcasting apply. |
| | |
| | Args: |
| | quaternion: Tensor of quaternions, real part first, of shape (..., 4). |
| | point: Tensor of 3D points of shape (..., 3). |
| | |
| | Returns: |
| | Tensor of rotated points of shape (..., 3). |
| | """ |
| | if point.size(-1) != 3: |
| | raise ValueError(f"Points are not in 3D, f{point.shape}.") |
| | real_parts = point.new_zeros(point.shape[:-1] + (1,)) |
| | point_as_quaternion = torch.cat((real_parts, point), -1) |
| | out = quaternion_raw_multiply( |
| | quaternion_raw_multiply(quaternion, point_as_quaternion), |
| | quaternion_invert(quaternion), |
| | ) |
| | return out[..., 1:] |
| |
|
| |
|
| | def axis_angle_to_matrix(axis_angle): |
| | """ |
| | Convert rotations given as axis/angle to rotation matrices. |
| | |
| | Args: |
| | axis_angle: Rotations given as a vector in axis angle form, |
| | as a tensor of shape (..., 3), where the magnitude is |
| | the angle turned anticlockwise in radians around the |
| | vector's direction. |
| | |
| | Returns: |
| | Rotation matrices as tensor of shape (..., 3, 3). |
| | """ |
| | return quaternion_to_matrix(axis_angle_to_quaternion(axis_angle)) |
| |
|
| |
|
| | def matrix_to_axis_angle(matrix): |
| | """ |
| | Convert rotations given as rotation matrices to axis/angle. |
| | |
| | Args: |
| | matrix: Rotation matrices as tensor of shape (..., 3, 3). |
| | |
| | Returns: |
| | Rotations given as a vector in axis angle form, as a tensor |
| | of shape (..., 3), where the magnitude is the angle |
| | turned anticlockwise in radians around the vector's |
| | direction. |
| | """ |
| | return quaternion_to_axis_angle(matrix_to_quaternion(matrix)) |
| |
|
| |
|
| | def axis_angle_to_quaternion(axis_angle): |
| | """ |
| | Convert rotations given as axis/angle to quaternions. |
| | |
| | Args: |
| | axis_angle: Rotations given as a vector in axis angle form, |
| | as a tensor of shape (..., 3), where the magnitude is |
| | the angle turned anticlockwise in radians around the |
| | vector's direction. |
| | |
| | Returns: |
| | quaternions with real part first, as tensor of shape (..., 4). |
| | """ |
| | angles = torch.norm(axis_angle, p=2, dim=-1, keepdim=True) |
| | half_angles = 0.5 * angles |
| | eps = 1e-6 |
| | small_angles = angles.abs() < eps |
| | sin_half_angles_over_angles = torch.empty_like(angles) |
| | sin_half_angles_over_angles[~small_angles] = ( |
| | torch.sin(half_angles[~small_angles]) / angles[~small_angles] |
| | ) |
| | |
| | |
| | sin_half_angles_over_angles[small_angles] = ( |
| | 0.5 - (angles[small_angles] * angles[small_angles]) / 48 |
| | ) |
| | quaternions = torch.cat( |
| | [torch.cos(half_angles), axis_angle * sin_half_angles_over_angles], dim=-1 |
| | ) |
| | return quaternions |
| |
|
| |
|
| | def quaternion_to_axis_angle(quaternions): |
| | """ |
| | Convert rotations given as quaternions to axis/angle. |
| | |
| | Args: |
| | quaternions: quaternions with real part first, |
| | as tensor of shape (..., 4). |
| | |
| | Returns: |
| | Rotations given as a vector in axis angle form, as a tensor |
| | of shape (..., 3), where the magnitude is the angle |
| | turned anticlockwise in radians around the vector's |
| | direction. |
| | """ |
| | norms = torch.norm(quaternions[..., 1:], p=2, dim=-1, keepdim=True) |
| | half_angles = torch.atan2(norms, quaternions[..., :1]) |
| | angles = 2 * half_angles |
| | eps = 1e-6 |
| | small_angles = angles.abs() < eps |
| | sin_half_angles_over_angles = torch.empty_like(angles) |
| | sin_half_angles_over_angles[~small_angles] = ( |
| | torch.sin(half_angles[~small_angles]) / angles[~small_angles] |
| | ) |
| | |
| | |
| | sin_half_angles_over_angles[small_angles] = ( |
| | 0.5 - (angles[small_angles] * angles[small_angles]) / 48 |
| | ) |
| | return quaternions[..., 1:] / sin_half_angles_over_angles |
| |
|
| |
|
| | def rotation_6d_to_matrix(d6: torch.Tensor) -> torch.Tensor: |
| | """ |
| | Converts 6D rotation representation by Zhou et al. [1] to rotation matrix |
| | using Gram--Schmidt orthogonalisation per Section B of [1]. |
| | Args: |
| | d6: 6D rotation representation, of size (*, 6) |
| | |
| | Returns: |
| | batch of rotation matrices of size (*, 3, 3) |
| | |
| | [1] Zhou, Y., Barnes, C., Lu, J., Yang, J., & Li, H. |
| | On the Continuity of Rotation Representations in Neural Networks. |
| | IEEE Conference on Computer Vision and Pattern Recognition, 2019. |
| | Retrieved from http://arxiv.org/abs/1812.07035 |
| | """ |
| |
|
| | a1, a2 = d6[..., :3], d6[..., 3:] |
| | b1 = F.normalize(a1, dim=-1) |
| | b2 = a2 - (b1 * a2).sum(-1, keepdim=True) * b1 |
| | b2 = F.normalize(b2, dim=-1) |
| | b3 = torch.cross(b1, b2, dim=-1) |
| | return torch.stack((b1, b2, b3), dim=-2) |
| |
|
| |
|
| | def matrix_to_rotation_6d(matrix: torch.Tensor) -> torch.Tensor: |
| | """ |
| | Converts rotation matrices to 6D rotation representation by Zhou et al. [1] |
| | by dropping the last row. Note that 6D representation is not unique. |
| | Args: |
| | matrix: batch of rotation matrices of size (*, 3, 3) |
| | |
| | Returns: |
| | 6D rotation representation, of size (*, 6) |
| | |
| | [1] Zhou, Y., Barnes, C., Lu, J., Yang, J., & Li, H. |
| | On the Continuity of Rotation Representations in Neural Networks. |
| | IEEE Conference on Computer Vision and Pattern Recognition, 2019. |
| | Retrieved from http://arxiv.org/abs/1812.07035 |
| | """ |
| | return matrix[..., :2, :].clone().reshape(*matrix.size()[:-2], 6) |
| |
|