Is there an implementation of modulo operation for field?

[wenti-123]

Hi, I am currently working on a project involving the arkworks library and have a question regarding modulo operation on field elements.

Specifically, I am interested in calculating the result of taking a field element modulo an arbitrary number. I've searched through the documentation but couldn't find a direct implementation or information regarding this operation.

Could you kindly provide guidance on whether arkworks supports modulo operation on field elements, and if so, how I can perform such operations?

Thank you in advance for your time and assistance. I appreciate your efforts in developing and maintaining the arkworks library.

[burdges]

All elements are invertable in a field, so the remainer is always zero (or divide by zero error).

"Reduce" means the remainder in integer division. It lives in https://github.com/arkworks-rs/algebra/blob/master/ff/src/fields/models/fp/montgomery_backend.rs. ark-poly has polynomial division.

[mmaker]

Agree with @burdges: for fields this doesn't make sense, but for BigInt it could be useful! in which case though it's a duplicate of #717 -- I think we can close it?

[Pratyush]

Agreed that an element of a field only coincidentally happens to be an integer (and that only for prime fields). The recommended way to do what you're looking for is via #717

[hdvanegasm]

Agree with @burdges: for fields this doesn't make sense, but for BigInt it could be useful! in which case though it's a duplicate of #717 -- I think we can close it?

I'm currently implementing this functionality to close #717.