Simplification regimes & Polynomial generators

[pogudingleb]

The purpose of the PR is two-fold:

• Simplification regimes adjusted using the following rationale:

  • :weak - the bare minimum
  • :standard - the best which can be achieved while terminating as long as the weak one terminates
  • :strong - the stongest
    In numbers this gives:
  • just one MQS ideal computation for :weak
  • additional polynomial generators of degree three for :standard
  • additional GB-fan computations for :strong
    Now Lincomp1 and Lincomp2 benchmarks terminate in reasonable time in the standard regime (as opposed to before).

• In order to mitigate the effect of bumping normal forms degree to three in the standard regime, the normal forms code has been refactored and optimized (e.g., 6-fold speed up on Fujita).