hs: signings and expected charpoly code,

some notes on trying to compute with signings.