UmbralRaptor changed the topic of #kspacademia to: https://gist.github.com/pdn4kd/164b9b85435d87afbec0c3a7e69d3e6d | Dogs are cats. Spiders are cat interferometers. | Космизм сегодня! | Document well, for tomorrow you may get mauled by a ネコバス. | <UmbralRaptor> egg|nomz|egg: generally if your eyes are dewing over, that's not the weather. | <ferram4> I shall beat my problems to death with an engineer. | We can haz pdf
<egg|laptop|egg>
yeah the partial trace gives something mildly annoying, but if you contract the indices diagonally (i with l or j with k) you get twice the original endomorphism, so that's nice
<egg|laptop|egg>
!u ∧
<galois>
∧: U+2227 LOGICAL AND
e_14159 has joined #kspacademia
e_14159_ has quit [Ping timeout: 378 seconds]
<mofh>
egg|laptop|egg: wait, half trace?
<egg|laptop|egg>
mofh: half the trace of the thing seen as an endomorphism of the n(n-1)/2 vector space, it's not actually that nice now that I think of it
<egg|laptop|egg>
mofh: but it's the contraction Sᵏʲⱼₙ that's nice
<egg|laptop|egg>
mofh: since if you do that contraction on a^i_k δ^j_l + a^j_l δ^i_k you get 2a
<egg|laptop|egg>
mofh: not sure whether that contraction has a name
<egg|laptop|egg>
it's the one that's not the partial trace :-p
<mofh>
ohhhhhh.
<mofh>
right, that thing.
* egg|laptop|egg
nibbles on mofh
egg|cell|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #kspacademia
egg|laptop|egg has quit [Remote host closed the connection]