54 research outputs found
Representations of fundamental groups of 3-manifolds into PGL(3,C): Exact computations in low complexity
In this paper we are interested in computing representations of the
fundamental group of a 3-manifold into PSL(3;C) (in particular in PSL(2;C);
PSL(3;R) and PU(2; 1)). The representations are obtained by gluing decorated
tetrahedra of flags. We list complete computations (giving 0-dimensional or
1-dimensional solution sets) for the first complete hyperbolic non-compact
manifolds with finite volume which are obtained gluing less than three
tetrahedra with a description of the computer methods used to find them
Algorithms for zero-dimensional ideals using linear recurrent sequences
Inspired by Faug\`ere and Mou's sparse FGLM algorithm, we show how using
linear recurrent multi-dimensional sequences can allow one to perform
operations such as the primary decomposition of an ideal, by computing the
annihilator of one or several such sequences.Comment: LNCS, Computer Algebra in Scientific Computing CASC 201
On the asymptotic and practical complexity of solving bivariate systems over the reals
This paper is concerned with exact real solving of well-constrained,
bivariate polynomial systems. The main problem is to isolate all common real
roots in rational rectangles, and to determine their intersection
multiplicities. We present three algorithms and analyze their asymptotic bit
complexity, obtaining a bound of \sOB(N^{14}) for the purely projection-based
method, and \sOB(N^{12}) for two subresultant-based methods: this notation
ignores polylogarithmic factors, where bounds the degree and the bitsize of
the polynomials. The previous record bound was \sOB(N^{14}).
Our main tool is signed subresultant sequences. We exploit recent advances on
the complexity of univariate root isolation, and extend them to sign evaluation
of bivariate polynomials over two algebraic numbers, and real root counting for
polynomials over an extension field. Our algorithms apply to the problem of
simultaneous inequalities; they also compute the topology of real plane
algebraic curves in \sOB(N^{12}), whereas the previous bound was
\sOB(N^{14}).
All algorithms have been implemented in MAPLE, in conjunction with numeric
filtering. We compare them against FGB/RS, system solvers from SYNAPS, and
MAPLE libraries INSULATE and TOP, which compute curve topology. Our software is
among the most robust, and its runtimes are comparable, or within a small
constant factor, with respect to the C/C++ libraries.
Key words: real solving, polynomial systems, complexity, MAPLE softwareComment: 17 pages, 4 algorithms, 1 table, and 1 figure with 2 sub-figure
Semidefinite Characterization and Computation of Real Radical Ideals
For an ideal given by a set of generators, a new
semidefinite characterization of its real radical is
presented, provided it is zero-dimensional (even if is not). Moreover we
propose an algorithm using numerical linear algebra and semidefinite
optimization techniques, to compute all (finitely many) points of the real
variety as well as a set of generators of the real radical
ideal. The latter is obtained in the form of a border or Gr\"obner basis. The
algorithm is based on moment relaxations and, in contrast to other existing
methods, it exploits the real algebraic nature of the problem right from the
beginning and avoids the computation of complex components.Comment: 41 page
On The Topology of Planar Algebraic Curves
International audienceWe introduce a method to compute the topology of planar algebraic curves. The curve may not be in generic position and may have vertical asymptotes. The algebraic tools are rational univariate representation for zero-dimensional ideals and multiplicities in these ideals. Experiments show the efficiency of our algorithm
- …