mul in add_group_filter_basis_of_comm

Stream: general

[Filippo A. E. Nuccio]

In docs#add_group_filter_basis_of_comm the third (resp. fourth) field is called mul (resp. inv), but wouldn't it more reasonable to call it add (resp. sub)? Also, in the doc at the end I think we should have "add_group_filter_basis constructor in the additive commutative group case", no?

[Yaël Dillies]

This is generated by to_additive so there's not much you can do about the field names.

[Anne Baanen]

The docstring can be tweaked easily though :)

[Filippo A. E. Nuccio]

Oh yes, I just realised by clicking on the source. I will simply pull a doc PR then.