algebraic cone; monoid action; group action; orbit; action with unique fixed point; algebra automorphism; stable ideal; irreducible algebraic variety zero-dimensional algebraic variety; rational univariate representation with short coefficients; separating element algorithm 