126,319 research outputs found
Computing the canonical representation of constructible sets
Constructible sets are needed in many algorithms of Computer Algebra, particularly in the GröbnerCover and other algorithms for parametric polynomial systems. In this paper we review the canonical form ofconstructible sets and give algorithms for computing it.Peer ReviewedPostprint (author's final draft
Factorization of Z-homogeneous polynomials in the First (q)-Weyl Algebra
We present algorithms to factorize weighted homogeneous elements in the first
polynomial Weyl algebra and -Weyl algebra, which are both viewed as a
-graded rings. We show, that factorization of homogeneous
polynomials can be almost completely reduced to commutative univariate
factorization over the same base field with some additional uncomplicated
combinatorial steps. This allows to deduce the complexity of our algorithms in
detail. Furthermore, we will show for homogeneous polynomials that
irreducibility in the polynomial first Weyl algebra also implies irreducibility
in the rational one, which is of interest for practical reasons. We report on
our implementation in the computer algebra system \textsc{Singular}. It
outperforms for homogeneous polynomials currently available implementations
dealing with factorization in the first Weyl algebra both in speed and elegancy
of the results.Comment: 26 pages, Singular implementation, 2 algorithms, 1 figure, 2 table
Sub-quadratic Decoding of One-point Hermitian Codes
We present the first two sub-quadratic complexity decoding algorithms for
one-point Hermitian codes. The first is based on a fast realisation of the
Guruswami-Sudan algorithm by using state-of-the-art algorithms from computer
algebra for polynomial-ring matrix minimisation. The second is a Power decoding
algorithm: an extension of classical key equation decoding which gives a
probabilistic decoding algorithm up to the Sudan radius. We show how the
resulting key equations can be solved by the same methods from computer
algebra, yielding similar asymptotic complexities.Comment: New version includes simulation results, improves some complexity
results, as well as a number of reviewer corrections. 20 page
Computer algebra and operators
The symbolic computation of operator expansions is discussed. Some of the capabilities that prove useful when performing computer algebra computations involving operators are considered. These capabilities may be broadly divided into three areas: the algebraic manipulation of expressions from the algebra generated by operators; the algebraic manipulation of the actions of the operators upon other mathematical objects; and the development of appropriate normal forms and simplification algorithms for operators and their actions. Brief descriptions are given of the computer algebra computations that arise when working with various operators and their actions
Efficient computer algebra algorithms for polynomial matrices in control design
The theory of polynomial matrices plays a key role in the design and analysis of multi-input multi-output control and communications systems using frequency domain methods. Examples include coprime factorizations of transfer functions, cannonical realizations from matrix fraction descriptions, and the transfer function design of feedback compensators. Typically, such problems abstract in a natural way to the need to solve systems of Diophantine equations or systems of linear equations over polynomials. These and other problems involving polynomial matrices can in turn be reduced to polynomial matrix triangularization procedures, a result which is not surprising given the importance of matrix triangularization techniques in numerical linear algebra. Matrices with entries from a field and Gaussian elimination play a fundamental role in understanding the triangularization process. In the case of polynomial matrices, matrices with entries from a ring for which Gaussian elimination is not defined and triangularization is accomplished by what is quite properly called Euclidean elimination. Unfortunately, the numerical stability and sensitivity issues which accompany floating point approaches to Euclidean elimination are not very well understood. New algorithms are presented which circumvent entirely such numerical issues through the use of exact, symbolic methods in computer algebra. The use of such error-free algorithms guarantees that the results are accurate to within the precision of the model data--the best that can be hoped for. Care must be taken in the design of such algorithms due to the phenomenon of intermediate expressions swell
Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath
We present a new open source implementation in the SageMath computer algebra
system of algorithms for the numerical solution of linear ODEs with polynomial
coefficients. Our code supports regular singular connection problems and
provides rigorous error bounds
Computations on Simple Games using RelView
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper we present relational models of simple games and develop relational algorithms for solving some game-theoretic basic problems. The algorithms immediately can be transformed into the language of the Computer Algebra system RelView and, therefore, the system can be used to solve the problems and to visualize the results of the computations.relational algebra ; RelView ; simple games
From Tensor Equations to Numerical Code -- Computer Algebra Tools for Numerical Relativity
In this paper we present our recent work in developing a computer-algebra
tool for systems of partial differential equations (PDEs), termed "Kranc". Our
work is motivated by the problem of finding solutions of the Einstein equations
through numerical simulations. Kranc consists of Mathematica based
computer-algebra packages, that facilitate the task of dealing with symbolic
tensorial calculations and realize the conversion of systems of partial
differential evolution equations into parallelized C or Fortran code.Comment: LaTeX llncs style, 9 pages, 1 figure, to appaer in the proceedings of
"SYNASC 2004 - 6th International Symposium on Symbolic and Numeric Algorithms
for Scientific Computing", Timisoara, Romania, September 26-30 200
- …