Source author record

Anna Maria Bigatti

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC

Catalog footprint

Research overview

2works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Saturations of Subalgebras, SAGBI Bases, and U-invariants

Given a polynomial ring $P$ over a field $K$ , an element $g \in P$ , and a $K$ -subalgebra $S$ of $P$ , we deal with the problem of saturating $S$ with respect to $g$ , i.e. computing $Sat_g(S) = S[g, g^{-1}]\cap P$ . In the general case we describe a procedure/algorithm to compute a set of generators for $Sat_g(S)$ which terminates if and only if it is finitely generated. Then we consider the more interesting case when $S$ is graded. In particular, if $S$ is graded by a positive matrix $W$ and $g$ is an indeterminate, we show that if we choose a term ordering $σ$ of $g$ -DegRev type compatible with $W$ , then the two operations of computing a $σ$ -SAGBI basis of $S$ and saturating $S$ with respect to $g$ commute. This fact opens the doors to nice algorithms for the computation of $Sat_g(S)$ . In particular, under special assumptions on the grading one can use the truncation of a $σ$ -SAGBI basis and get the desired result. Notably, this technique can be applied to the problem of directly computing some $U$ -invariants, classically called semi-invariants, even in the case that $K$ is not the field of complex numbers.

preprint2016arXiv

Implicitization of Hypersurfaces

We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for polynomial parametrizations: one algorithm, "ElimTH", has as main step the computation of an elimination ideal via a \textit{truncated, homogeneous} Gröbner basis. The other algorithm, "Direct", computes the implicitization directly using an approach inspired by the generalized Buchberger-Möller algorithm. Either may be used inside the third algorithm, "RatPar", to deal with parametrizations by rational functions. Finally we show how these algorithms can be used in a modular approach, algorithm "ModImplicit", for avoiding the high costs of arithmetic with rational numbers. We exhibit experimental timings to show the practical efficiency of our new algorithms.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.