Re: what's it worth to write a short program for polynomial multiplication?



On Jun 2, 5:41 pm, TimDaly <d...@xxxxxxxxxxxxxxxxxxx> wrote:
......

There are 58 * operators in Axiom, many of which can by automatically
specialized for the polynomial type in question. Thus,

x * y

is the shortest, valid way to efficiently multiply two polynomials in
the Spad (scratchpad, Axiom's native language).

Well, there may still be decisions to be made that have to do with the
actual data, as opposed to the declared category.
For example, one could have data that is declared to be a sparse
polynomial and is stored that way, but actually has entirely filled
in. If the user knew that, a coercion might be introduced. But if the
user did not, and the program just keyed off the categories of the
inputs, the algorithm used would not be especially efficient. Should
the "*" operator do the work necessary to test the data at runtime (as
opposed to the "type" of the data)?
It would be one way of trying to use the "most efficient" algorithm at
the cost of slowing everything down just a little :)


Tim Daly
Axiom Lead Developer

.



Relevant Pages

  • MACIS 2007 - CALL FOR PARTICIPATION
    ... Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. ... Computing Roots of Polynomials using Bivariate Quadratic Clipping ... An algorithm for checking whether the toric ideal of an affine monomial curve is a complete intersection ...
    (comp.specification.z)
  • Re: decomposition of polynomials
    ... but Googling "polynomial decomposition" will reveal ... problems for multivariate polynomials and for rational and algebraic ... O) algorithm for the decomposition of irreducible polynomials ... Technical Report TR87-826, Comput. ...
    (sci.math)
  • Re: euclidean algorithm over Q[i]
    ... Are you using the Euclidean algorithm to compute ... GCD's of univariate polynomials over Q? ... I'm not sure what 'pseudo division' may mean, ... Let b be the leading coefficient of G ...
    (sci.math.symbolic)
  • Re: VM machine: A CAS answer 25,000,000+ times longer than it is
    ... Axiom and derviatives prior to 2008 got this wrong. ... modulo 67108859 to quickly discover relatively prime polynomials. ... The exact input to trigger bug is: ...
    (sci.math.symbolic)
  • Re: Kroneckers method for polynomial factorization
    ... The algorithm as given is not really a good version. ... I hope this shows what you left out (factoring the integers). ... The polynomial interpolation step cannot always ... polynomials requiring rational coefficients cannot, however, be ...
    (sci.math.symbolic)