Quotient_associative_algebra loading ...