Posts by nea89@kitty.social
 (DIR) Post #B5lSUYpC1RGpFGrMUi by nea89@kitty.social
       1 likes, 0 repeats
       
       @tranquillity@mastodon.minionflo.net @fiore@brain.worm.pink @sodiboo@gaysex.cloud @minekpo1@mastodon.catgirl.cloud @root@possum.city @solonovamax@tech.lgbt as it stands θ is just a free / unbound variable. so this expression is neither an actual rotation matrix, nor the set of all rotation matricies around the x axis in ℝ^3, but instead just a free floating expression that needs to be placed into a context to make sense. this one would generally read it as the right hand side of a function definition (if one prefers the "parameterized" view, then perhaps it helps to consider that A_θ is/can be also just syntax for function application)