We study the triangular representation of zero-dimensional varieties
defined over the rational field (resp. a rational function field). We
prove polynomial bounds for the height (resp. degree) of the
coefficients of such triangular sets, whereas previous bounds were
exponential. We also introduce a rational form of triangular
representation, for which our estimates become linear. Experiments
show the practical interest of this new representation.
|