Revamp how testing is done

[fingolfin]

Now there are four tst/test*.g files, testing with different helper packages available.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 87.80%. Comparing base (fe65bd9) to head (b5ad64e).

Additional details and impacted files

@@            Coverage Diff             @@
##           master      #96      +/-   ##
==========================================
+ Coverage   86.27%   87.80%   +1.52%     
==========================================
  Files          60       57       -3     
  Lines       12825    12464     -361     
==========================================
- Hits        11065    10944     -121     
+ Misses       1760     1520     -240     

see 5 files with indirect coverage changes

🚀 New features to boost your workflow:

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

[fingolfin]

Pedro some errors occur, see this log. For example:

########> Diff in /tmp/gaproot/pkg/numericalsgps/tst/testall.tst:291
# Input is:
MinimalGenerators(a);
# Expected output:
[ [ 1, 1 ], [ 1, 2 ], [ 2, 1 ], [ 3, 1 ] ]
# But found:
[ [ 3, 1 ], [ 1, 2 ], [ 1, 1 ], [ 2, 1 ] ]
########

which seems harmless (the order changed; perhaps the output of MinimalGenerators should be sorted?

The second error looks more serious:

########> Diff in /tmp/gaproot/pkg/numericalsgps/tst/testall.tst:1875
# Input is:
IsGradedAssociatedRingNumericalSemigroupGorenstein(s);
# Expected output:
false
# But found:
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `+' on 2 arguments
The 2nd argument is 'fail' which might point to an earlier problem

########

[pedritomelenas]

I see were the problem is. We muted factorizations in 4ti2 and large factorizations are required for omega computations. Also, the output of generators is not transformed to set. Thanks