CoCoA » CoCoA-5

Several CoCoALib test files need to be improved, and probably some more new ones written. This could also prove a useful test of the documentation.

For instance, I know that QBGenerator needs a proper test.
(20140208) Bruns asks whether computation times for f*g and g*f are equal; if not, which is better (based on NumTerms?)

• write a fn IsCyclotomic for univariate polynomials (based on paper by Bradford+Davenport)
• write a fn IsDegenerate for univariate polynpomials (based on paper by Cipu, Diouf, Mignotte) -- JAA does not like the fn name
• [done] write code for subresultant (and perhaps some variants?)
• write a simple impl of NLSAT (paper by ), perhaps just for the case of 2 indets?
• write a simple impl of Gao-Volny-Wang
• translate QIR code into C++/CoCoALib
• write better impls for certain rings homs (e.g. for verifying correctness of "implicit")
• a fn which produces the simplest non-neg integer matrix giving the same term ordering (perhaps with given GradingDim)

Added Feature #1701: could be a good source of ideas to be refined, tested, documented, developed.