Stream: math-comp users

Topic: choiceMixin


view this post on Zulip Pierre Rousselin (Sep 12 2023 at 13:26):

Trying to compile a library which uses ssreflect.choice.choiceMixin. It was not possible with mathcomp 2. Is it by design? If so, what would be the intended replacement (if any)?

view this post on Zulip Pierre Roux (Sep 12 2023 at 13:45):

Could you give more context (link to the line in the library). In MC2, it is often no longer needed to explicitly deal with mixins (although they are still there, they should be relatively transparent to the user).


Last updated: Jul 25 2024 at 16:02 UTC