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: Feb 08 2023 at 08:02 UTC