1. 2D SLAM
    1. VERTEX_SE2:
      1. VERTEX_SE2 i x y theta
      2. Euclidean groups are the transformations of the space that preserve the Euclidean distance between any two points, also known as rigid body transformations.
      3. The Euclidean group E(n) comprises all translations, rotations, and reflections and arbitrary finite combinations of them.
      4. We're interested in: Special Euclidean Group SE(n) which comprise arbitrary combinations of translations and rotations, but not reflections.
      5. i is the robot's ith position in the world fixed frame.
      6. $x_i = (x, y, theta)^T$
    2. EDGE_SE2:
      1. EDGE_SE2 i j x y theta info(x, y, theta)

      2. This edge represents $T^i_j$ , i.e transformation of j with respect to i. And x, y, and theta are relative transforms of j wrt i.

      3. info(x, y, theta) is the information matrix that represents the confidence in the measurement and it is the inverse of the covariance matrix. Hence, it is symmetric and positive semi-definite. We typically only store the upper-triangular block of the matrix in row-major order.

        https://s3-us-west-2.amazonaws.com/secure.notion-static.com/a059c2e3-96f2-4f82-bad7-df38305f4ceb/IMG_0198.jpg

      4. Generally, we treat $x, y, \theta$ as independent variables. And only weigh the diagonal entries of the information matrix.

  2. 3D SLAM
    1. VERTEX_SE3
      1. VERTEX_SE3:QUAT i x y z $q_x\\; q_y\\; q_z\\; q_w$
      2. i is the robot's ith position in the world fixed frame.
      3. Quaternions are used to represent the rotation.
    2. EDGE_SE3
      1. EDGE_SE3:QUAT i j x y z$\\;q_x\\; q_y\\; q_z\\; q_w$info(x, y, z, $\\theta_x,\\theta_y,\\theta_z$)

      2. This edge represents: $T^i_j$ , i.e transformation of j with respect to i.

      3. Though relative transformation is measured in quaternion, the information matrix is measured in Euler angles.

        https://s3-us-west-2.amazonaws.com/secure.notion-static.com/7633c9c4-c3e2-4a08-b590-fa7d2075172f/IMG_0199.jpg