continuous_semilinear_map_class.to_semilinear_map_class source