libpolys plans

• no n_InpAdd/n_InpDiv: only n_InpMult!
• Moreover we have 3 (!) variants of division WITHOUT ANY DESCRIPTIONS!!!:
  1. number n_Div(number a, number b, const coeffs r)
  2. number n_IntDiv(number a, number b, const coeffs r)
  3. number n_ExactDiv(number a, number b, const coeffs r)
• Writing/reading/conversion-to-string OF polynomials/numbers is very inconsistent and misleading: n_Write/p_Write should take reporter as an argument (can be optionally = standard reporter)
• number output (n_Write) MUST NOT change a number!
• same goes for the conversion to integer by n_Int!
• Only n_Test(NUMBER, COEFFS): no way to test a domain consistency... same for polys/rings?

Note: Frank will take a look!

• (Done) In the face of brand new extension fields by Frank: the following seem to be obsolete together with the corresponding n_Par/n_ParDeg...right???
  1. number ndPar(int, const coeffs r) { return n_Init(0,r); }
  2. int ndParDeg(number, const coeffs) { return 0; } ~~
• (Done by Frank) search for above and switch to the new interface
• (Done by Frank) Ring-interface is scarcely documented: add more doxygen there