transision matrix, canonical base, etc