Stream: math-comp users

Topic: best way to do powers in fingroup


view this post on Zulip Quinn (Nov 13 2023 at 18:08):

Should I just use list operations like fold and repeat? power isn't here https://staff.aist.go.jp/reynald.affeldt/ssrcoq/fingroup_doc.pdf -- is there machinery in place to do a modulus or is that not there?

view this post on Zulip Pierre Roux (Nov 13 2023 at 19:57):

I'm no expert in fingroup but are you looking for https://github.com/math-comp/math-comp/blob/master/mathcomp/fingroup/fingroup.v#L48

view this post on Zulip Quinn (Nov 13 2023 at 20:04):

yes, thanks. (thought I checked that docs page)


Last updated: Jul 25 2024 at 16:02 UTC