Overview of the RegularChains[FastArithmeticTools] Subpackage of RegularChains
|
Calling Sequence
|
|
RegularChains[FastArithmeticTools][command](arguments)
command(arguments)
|
|
Description
|
|
•
|
The RegularChains[FastArithmeticTools] subpackage contains a collection of commands for computing with regular chains in prime characteristic using asymptotically fast algorithms.
|
•
|
Most of the commands of this package implements core operations on regular chains such as regularity test and polynomial GCD modulo a regular chain. However, these commands have several constraints. On top of the characteristic issue (mentioned above) the current regular chain must have dimension zero or one. There is only one exception: the command RegularGcdBySpecializationCube which makes no assumption on dimension.
|
•
|
In order to call one of the commands of this subpackage the characteristic of the polynomial ring must be a prime number p satisfying the following properties. First, it should not be greater than 962592769. Secondly, the number p-1 should be divisible by a sufficiently large power of 2. 2^20 is often sufficient. The best prime number p under these constraints is for which p-1 writes 2^26 * 7. If this power of 2 is not large enough, then a clean error is returned.
|
•
|
The command RegularizeDim0 tests whether a polynomial is invertible modulo a zero-dimensional regular chain.
|
|
|
List of RegularChains[FastArithmeticTools] Subpackage Commands
|
|
|
The following is the list of the available commands.
|
|
|
Examples
|
|
>
|
|
>
|
|
>
|
|
Define a ring of polynomials.
| (1) |
Randomly generating (dense) regular chain and polynomial
Compute the iterated resultant of pol w.r.t. tc
>
|
|
| (2) |
Compare with the generic algorithm (non-fast and non-modular algorithm) of the command IteratedResultant.
>
|
|
| (3) |
The results computed IteratedResultantDim0 and IteratedResultant are equivalent.
>
|
|
| (4) |
Define another ring of polynomials.
>
|
|
Generate a regular chain and a random polynomial.
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
>
|
|
Compute the normal form of f.
>
|
|
| (5) |
Compare with the generic algorithm (non-fast and non-modular algorithm) of the command NormalForm.
>
|
|
| (6) |
The results computed by NormalFormDim0 and NormalForm are equivalent.
>
|
|
| (7) |
|
|
References
|
|
|
X. Li and M. Moreno Maza. "Efficient implementation of polynomial arithmetic in a multilevel programming environment." Proc. International Congress of Mathematical Software, p.12-23, LNCS Vol.4151, Springer, 2006.
|
|
X. Li, M. Moreno Maza and E. Schost. "Fast arithmetic for triangular sets: from theory to practice." ISSAC'2007, ACM Press. p.269-276, 2007.
|
|
X. Li and M. Moreno Maza. "Multithreaded parallel implementation of arithmetic operations modulo a triangular set." PASCO'2007, ACM Press, p.53-59, 2007.
|
|
A. Filatei, X. Li, M. Moreno Maza and E. Schost. "Implementation techniques for fast polynomial arithmetic in a high-level programming environment." ISSAC'2006, p.93-100, ACM Press, 2006.
|
|
X. Li, M. Moreno Maza, R. Rasheed and E. Schost. "High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment." Proc. 2008 International Conference on Computational Science and Applications, IEEE Computer Society, pp 331--341 2008.
|
|
X. Li, M. Moreno Maza, R. Rasheed and E. Schost. "The Modpn library: Bringing fast polynomial arithmetic into Maple." Proc. 2008 Milestones in Computer Algebra, Stonehaven Bay, Trinidad and Tobago, 2008.
|
|
X. Li, M. Moreno Maza and W. Pan. "Computations modulo regular chains." Technical Report, University of Western Ontario, 2009.
|
|
|