Ringel–Hall_algebra loading ...