Aqua + typos CI

[ArnoStrouwen]

Aqua found possible type piracy.
Should those methods be upstreamed?
total_degree, vars

[codecov]

Codecov Report

Attention: 1 lines in your changes are missing coverage. Please review.

Comparison is base (7550ac5) 89.90% compared to head (e496ff0) 74.47%.

Files	Patch %	Lines
...rc/RationalFunctionFields/RationalFunctionField.jl	85.71%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff             @@
##           master     #253       +/-   ##
===========================================
- Coverage   89.90%   74.47%   -15.43%     
===========================================
  Files          25       25               
  Lines        3208     3205        -3     
===========================================
- Hits         2884     2387      -497     
- Misses        324      818      +494     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[sumiya11]

Hi, thanks for the PR.
I think these type piracies are fine.
In addition, I suggest beautiful_generating_set instead of beautifully_generators/beautifuly_generators.
@pogudingleb

[ChrisRackauckas]

I don't think so. Why wouldn't those two methods get upstreamed? They seem like generally useful functions for the package that defines the algebraic types?

[pogudingleb]

@ArnoStrouwen Thanks!

In addition, I suggest beautiful_generating_set instead of beautifully_generators/beautifuly_generators.
@pogudingleb

I also like this better. Another option would be to simplify_generators

Why wouldn't those two methods get upstreamed?
They seem like generally useful functions for the package that defines the algebraic types?

I agree with Chris, at least for vars, I have created an issue for this.

[sumiya11]

Right, I agree, we can rename total_degree, and vars can perhaps be defined in AbstractAlgebra.jl. I will open an issue there once I land

[pogudingleb]

Right, I agree, we can rename total_degree, and vars can perhaps be defined in AbstractAlgebra.jl. I will open an issue there once I land

I guess, they would rather appreciate a PR)

[pogudingleb]

Superseded by #274