Stream: math-comp users

Topic: rank type

view this post on Zulip Emilio Jesús Gallego Arias (Oct 01 2021 at 15:42):

Hi folks, has anyone implemented a type that for a given T : finType represents a k-ranked set of T?

By a k-ranked set of T I mean a duplicate-free k.-tuple T

Just asking as not to reinvent the wheel

Last updated: Dec 07 2023 at 18:01 UTC