[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] exact quotient
From: |
Martin Rubey |
Subject: |
[Axiom-developer] exact quotient |
Date: |
19 Jun 2007 14:58:39 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
I am currently trying to correct a performance bug of my guessing package, and
found out that exquo is in general not extremely intelligent.
In axiom, what exquo really does is to perform division and return "failed" if
it's not exact. (I.e., it is in fact slower than quo.quotient)
What I need is a fast algorithm, that simply assumes that the division is
exact, and should benefit from that assumption. (If the assumption is not
true, the computer may crash, if necessary...) As far as I know, using some
tricks performance even better than n^2 (n being the size of the input) is
achievable.
Most important would be such an implementation for the polynomial rings.
Anybody interested?
Martin
- [Axiom-developer] exact quotient,
Martin Rubey <=
- Re: [Axiom-developer] exact quotient, Ralf Hemmecke, 2007/06/19
- Re: [Axiom-developer] exact quotient, Waldek Hebisch, 2007/06/19
- Re: [Axiom-developer] exact quotient, Martin Rubey, 2007/06/20
- Re: [Axiom-developer] exact quotient, Waldek Hebisch, 2007/06/20
- Re: [Axiom-developer] exact quotient, Martin Rubey, 2007/06/21
- Re: [Axiom-developer] exact quotient, Martin Rubey, 2007/06/21
- Re: [Axiom-developer] exact quotient, Martin Rubey, 2007/06/21
- Re: [Axiom-developer] exact quotient, William Sit, 2007/06/21