parameters: (R : Rotation)
return_statement: return [[R[0],R[3],R[6]],
              [R[1],R[4],R[7]],
              [R[2],R[5],R[8]]]
docstring: Returns the 3x3 rotation matrix corresponding to R.
docstring_summary: Returns the 3x3 rotation matrix corresponding to R.
docstring_tokens: Returns the 3x3 rotation matrix corresponding to R .
function: def matrix(R : Rotation) -> Matrix3:
      """Returns the 3x3 rotation matrix corresponding to R."""
      return [[R[0],R[3],R[6]],
              [R[1],R[4],R[7]],
              [R[2],R[5],R[8]]]
function_tokens: def matrix ( R : Rotation ) -> Matrix3 : return [ [ R [ 0 ] , R [ 3 ] , R [ 6 ] ] , [ R [ 1 ] , R [ 4 ] , R [ 7 ] ] , [ R [ 2 ] , R [ 5 ] , R [ 8 ] ] ]