Added more convencience methods for arithmetics with Vector{QQFieldElem}

[YueRen]

Proposed changes for #1555

[codecov]

Codecov Report

Merging #1559 (9c3c893) into master (4f99e9e) will decrease coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master    #1559      +/-   ##
==========================================
- Coverage   84.19%   84.18%   -0.01%     
==========================================
  Files          94       94              
  Lines       36602    36607       +5     
==========================================
+ Hits        30818    30819       +1     
- Misses       5784     5788       +4     

Files	Coverage Δ
src/flint/fmpq.jl	85.20% <100.00%> (+0.16%)	⬆️

... and 7 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[YueRen]

I don't understand why I am failing the codecov test. If it is critical for merging the pull request, then help would be appreciated.

[thofma]

No, it is not critical. Ignore it. The important bit is the coverage for the patch, which is at 100%!

[YueRen]

Yes, I was referring to Max's suggestion with vectors over NCRingElem which do not belong here. The PR is fine as is and ready to be merged.

…

On Thu, 19 Oct 2023 at 17:06, Tommy Hofmann ***@***.***> wrote: ***@***.**** commented on this pull request. ------------------------------ In src/flint/fmpq.jl <#1559 (comment)>: > +//(v::Vector{QQFieldElem}, x::ZZRingElem) = v .// x +/(v::Vector{QQFieldElem}, x::ZZRingElem) = v ./ x +*(x::ZZRingElem, v::Vector{QQFieldElem}) = x .* v +*(v::Vector{QQFieldElem}, x::ZZRingElem) = v .* x If the scalar should be ZZRingElem or QQFieldElem, it needs to be here. — Reply to this email directly, view it on GitHub <#1559 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAIGGK7I734HLBJQC7KCLJLYAFFZDAVCNFSM6AAAAAA6HEKQ56VHI2DSMVQWIX3LMV43YUDVNRWFEZLROVSXG5CSMV3GSZLXHMYTMOBYGE2DENZVGQ> . You are receiving this because you authored the thread.Message ID: ***@***.***>