Vincent Lefevre on Sat, 16 May 2020 21:43:45 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
obsolete information on the PARI/GP website |
Hi, First, on https://pari.math.u-bordeaux.fr/anongit.html the "git clone" URLs should be updated to the https ones. Moreover, on https://pari.math.u-bordeaux.fr/dochtml/html/ about "Standard monadic or dyadic operators", operator ^, or more directly https://pari.math.u-bordeaux.fr/dochtml/html/Standard_monadic_or_dyadic_operators.html#backslashpow I read: If the exponent n is an integer, then exact operations are performed using binary (left-shift) powering techniques. If x is a p-adic number, [...] which doesn't match the text from "src/functions/operators/HEADER": \item If the exponent $n$ is an integer, then exact operations are performed using binary (left-shift) powering techniques. By definition, $x^0$ is (an empty product interpreted as) an exact $1$ in the underlying prime ring: \bprog ? 0.0 ^ 0 %1 = 1 ? (1 + O(2^3)) ^ 0 %2 = 1 ? (1 + O(x)) ^ 0 %3 = 1 ? Mod(2,4)^0 %4 = Mod(1,4) ? Mod(x,x^2)^0 %5 = Mod(1, x^2) @eprog\noindent If $x$ is a $p$-adic number, its precision will increase if $v_p(n) > 0$ and [...] The text was changed in commit c2fac9a1569e2a9adaa9de8763e291c5b0c75e75 on 2018-09-10. The web page says "version 2.12.1" and the bump to 2.12.1 was done on 2019-06-04 (commit 81cf67751949bb5e86c3cc26c0b078d32bfdf3df). So having the old text is surprising. -- Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)