polynomial: introduce a helper function to divide polynomial by ring element.
[ginac.git] / CVSROOT /
1999-11-08 Richard Kreckelinitial checkin