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)