New finite projective line and new implementation of CosetPos

[giuliao27]

No description provided.

[codecov]

Codecov Report

❌ Patch coverage is 8.00000% with 92 lines in your changes missing coverage. Please review.
✅ Project coverage is 44.21%. Comparing base (0d0d7d3) to head (4bac73c).
⚠️ Report is 3 commits behind head on master.

Files with missing lines	Patch %	Lines
lib/Orru/subgroups.gi	5.71%	66 Missing ⚠️
lib/Orru/finiteProjectiveSpaces.gi	7.14%	26 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #149      +/-   ##
==========================================
- Coverage   44.27%   44.21%   -0.06%     
==========================================
  Files         358      358              
  Lines       65397    65495      +98     
==========================================
+ Hits        28953    28959       +6     
- Misses      36444    36536      +92     

Files with missing lines	Coverage Δ
lib/Orru/decsOrru.gd	91.30% <100.00%> (+0.82%)	⬆️
lib/Orru/finiteProjectiveSpaces.gi	9.57% <7.14%> (-2.37%)	⬇️
lib/Orru/subgroups.gi	11.72% <5.71%> (-2.50%)	⬇️

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.