Computations modulo regular chains - Computer Science > Symbolic ComputationReport as inadecuate




Computations modulo regular chains - Computer Science > Symbolic Computation - Download this document for free, or read online. Document in PDF available to download.

Abstract: The computation of triangular decompositions are based on two fundamentaloperations: polynomial GCDs modulo regular chains and regularity test modulosaturated ideals. We propose new algorithms for these core operations relyingon modular methods and fast polynomial arithmetic. Our strategies take alsoadvantage of the context in which these operations are performed. We report onextensive experimentation, comparing our code to pre-existing Mapleimplementations, as well as more optimized Magma functions. In most cases, ournew code outperforms the other packages by several orders of magnitude.



Author: Xin Li, Marc Moreno Maza, Wei Pan

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents