The code can be much cleaner if `Vec<FE>,Vec<GE>` would have defined arithmetic operators like `Add` and `Mul`.
The code can be much cleaner if
Vec<FE>,Vec<GE>would have defined arithmetic operators likeAddandMul.