multiple inheritance

Stream: new members

[Winston Yin]

Is it recommended to set set_option old_structure_cmd true in order for easier multiple inheritance? For example, I'm trying to define a class with extends A →ₗ[k] (V →ₗ[k] V), monoid_hom A (V →ₗ[k] V), so that it is both a linear map in regards to the module structure and a homomorphism in regards to the monoid structure. However, the to_fun field exists in both classes. Otherwise, I'd have to manually copy the fields of one of the two.

[Yakov Pechersky]

If you check monoid_hom, you'll see that it extends two classes that both have to_fun also, and uses old_structure.

[Eric Wieser]

In your particular case you might be looking for docs#alg_hom?

[Eric Wieser]

A →ₐ[k] (V →ₗ[k] V)