Changes http://wiki.axiom-developer.org/382DivideIfCanUnivariatePolynomialDivisionPackageAlgorithm/diff -- Le samedi 08 septembre 2007 � 01:31 -0500, wyscc a �crit : > Changes > http://wiki.axiom-developer.org/382DivideIfCanUnivariatePolynomialDivisionPackageAlgorithm/diff > -- > Even though I used the word "coerce" in my previous mail, the actual sequence > of function searches was using the equivalent of a polynomial lift (that is, > apply a function 'A->B' (any function perhaps) to the coefficient to view a > polynomial over 'A' as a polynomial over 'B'; in this case this lift comes > from 'UPOLYC2' with signature '((ZMOD 9 -> INT),UP(x,ZMOD 9)) -> UP(x,INT)'. > Such lifting is common in the interpreter---in fact, the interpreter tried > and applied a number of them before this last one; for example: '((POLY ZMOD > 9 -> ZMOD 9),UP(x,POLY ZMOD 9)) -> UP(x,ZMOD 9)'. I don't know if the > documentation explicitly forbids using 'convert' as the first argument (it > may even explicitly allow 'convert', 'retract', and 'coerce'). I believe it > only says there should be no *automatic* "coercion" using 'convert' and this > rule is obeyed in these examples and the one below. >
I probably misinterpreted the documentation, many thanks Wyscc. In fact when I said "don't know what to do exactly" what I had in mind was first try to understand why the interpreter call this function (I never underestimate the authors of Axiom though here, the closed bug report, this is clearly the case) and under which circumstances. You're right by saying "polynomial lifting is not coercion" but the issue raised by this report is still problematic to me. Will give it more thoughts. Last thing, I modified my Axiom tree : the interpreter is no longer allowed to use 'convert' without my permission :-). Many thanks again! -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
