1Function: O(_^_)
2Section: programming/internals
3C-Name: ggrando
4Prototype: GD1,L,
5Help: O(p^e): p-adic or power series zero with precision given by e.
6Description:
7 (gen):gen          ggrando($1, 1)
8 (1,small):gen      ggrando(gen_1, $2)
9 (int,small):gen    zeropadic($1, $2)
10 (gen,small):gen    ggrando($1, $2)
11 (var,small):gen    zeroser($1, $2)
12
13Function: O
14Section: polynomials
15C-Name: ggrando
16Prototype:
17Help: O(p^e): p-adic or power series zero with precision given by e.
18Doc: if $p$ is an integer
19 greater than $2$, returns a $p$-adic $0$ of precision $e$. In all other
20 cases, returns a power series zero with precision given by $e v$, where $v$
21 is the $X$-adic valuation of $p$ with respect to its main variable.
22Variant: \fun{GEN}{zeropadic}{GEN p, long e} for a $p$-adic and
23 \fun{GEN}{zeroser}{long v, long e} for a power series zero in variable $v$.
24