type(obj) = <class 'sage.categories.examples.crystals.HighestWeightCrystalOfTypeA_with_category'>
version = 4.4.2
obj =
'Highest weight crystal of type A_3 of highest weight omega_1'
