Karim Belabas on Thu, 27 Apr 2023 02:40:53 +0200
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: Recognizing numbers using PARI/GP
|
- To: pari-users@pari.math.u-bordeaux.fr
- Subject: Re: Recognizing numbers using PARI/GP
- From: Karim Belabas <Karim.Belabas@math.u-bordeaux.fr>
- Date: Thu, 27 Apr 2023 02:39:14 +0200
- Arc-authentication-results: i=1; smail; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1682555945; c=relaxed/relaxed; bh=02RUvlzJGZrlY4aVraqEiGsCeZsBXJ+RVQm2WMr0jdU=; h=DKIM-Signature:Date:From:To:Subject:Message-ID:Mail-Followup-To: References:MIME-Version:Content-Type:Content-Disposition: Content-Transfer-Encoding:In-Reply-To; b=08WBJ1TbGp901Ttp16ZQum4gl46N3fc0HjWmnbtnM96eByPti5+5wSmXtIUV6a52PrkWZh+WhpPqQoLhvO8TSrCScdthovX8l0dS811GSaYS7zKx5z2S73EBPovjCOUOQTFla4tza5MmnFRDiYUeQlSGBY2+qVv2v1Wq5ay7CHL+ArV2AgSbcwImHNtGuQ5+uwMoO+eJht+GMAtBKlQEHL9wF9m3hx85R5P2Nc6GmOm4bDw1TsmlUutPcv2gArLitMxyd/d8dmlMstUBlTh6EvJ6X70JGUtRsXieEhCB0Do3Xa+2gd/ZH2wPZVMieYGaUHIUm36tdsn3ggl6m1PUsvswwzC2RNvIdFonOm/iAyfBG5C56rURtAw9BZwine9uywdENGP0W+/FLQh8lpfAEaAe6k1ty+5Ox2BknNvRs8svwoxDdWceEeLwcIW/Xfs+hNtSKHjD30x+hddSO1cXZpo3SWP52iJYCjoMxMFMoPMKQG/JZ+7yhi4FgKjD/XFuz9tXoNT/MvCPCSfngWw56vcIYiLjPAuNCuL8c4lyI5yoUowz3I8DrZQOgcK8VK8O6n+P4TldHhhxnhLQtvPD6j1kNSTsXSeGY4OT5miazy8T5ThfVkW4E7l+wV6lLAFtZv/O0vIjieTJIhrhknVNtq4vewRswiiWs1ifxpQ4BF0=
- Arc-seal: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1682555945; cv=none; b=QgK3Yu0jkuSlafcV+Jz/ZVgKFqY2DdktKCHaz1iG0cfxZXU7OCtJksi309qYgGGBsqFljdspVTG5Aco09r4L+I2H6/aNkd0V2XHT1E1tMWJdjD3ZXblu02uZ7V/hydcOR2m3WwmhYCBuxbXNMAToEmQnKeX90K5p+C0D0PU/6KZFdAE+KcUHTGQi/doFhj+KJGiYQamVycwXAEDDz4F7B5VwUEiMInEY83Rj24r5KtKcDSreNjGju+QhMYVjX/NqOCGNnOWXAdf6amVQ9xysx8WS5GtAnhb4I5G98LG4KvXYgbY1Q4y6D2EyvC5l/GnKGh0Mp2C8zh04tMqQLHvJtliBgF3k1y2ZsHAX5K7dRWDK1bOADCe9gZwKBKhZoJAbdP/yGIOC+JnCZG0eejdw55F6Prc9Si/aajCD9/qS2XEu3RuvpRBR2w6PxKIIw8jOkjC43qMrJIYgPtdEyPRKCMWAlRvL6Diimj2VjO9pzJYd1sjh0sQVOMZa8TQF8Mgqoc5Vv9dMYXsoqrVKgfj6tDJ2d09qA06oT/bjq9LArXkPWSHYO4FVwBttuJaA7vWcb7MHfJJvlW+tRcD/BWoOCnLqMnExuo5G09E7gdsUoSkgYyAWdm/dkELLv+mFY7Jg1xnYAZV3kQAXD28HlkBrQxaieKZq8DKoeBaFDqzxRc4=
- Authentication-results: smail; arc=none
- Delivery-date: Thu, 27 Apr 2023 02:40:53 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=math.u-bordeaux.fr; s=2022; t=1682555945; bh=02RUvlzJGZrlY4aVraqEiGsCeZsBXJ+RVQm2WMr0jdU=; h=Date:From:To:Subject:References:In-Reply-To:From; b=I+cbs8G4n/wDlbVURZifxkMaXmsfkALK1YGZYUuIS8zfJFxccU9oGmsPQfyLB09SW gPORNLAVs3qvELYUcfq958oujwOsMtqo2x1jzopAny1Vno8FpOm1Xl8aVgRsj5irfg kSfNoDfHMtPFdadYiCRhL45+SUN5POGZOWYq2HwcRdR2NqwrM8tLrMtO/INaVczHsx Jl4QNxxLIYGigwGw6EAufQPcjqYmb5tbpq4/b1mZaVmboo8Uj+k/HGYnw2bZhFcnzW VO+VgL1c8aDd4G8g+BL0g9Szv1TVsJveJqlBMdnOiQAPq82VftCnnzwGxX89xPllg2 gvgtuUXEDvfYglpX4GEJ2Z0Il4Yg4V9XFcA4JN9j7xv8Gx5qKVj6estUx5juJlbQO3 n2clmSDjIuOPH72XxJ4BcC1s5Oa/mgRoX/YO5yIJCWD15JDOTnmcyzE/JPEA9OYpXC SsZCmn+qJMew709nf4xhSPPxPNoArRBnCudpX47Kq41KuusL+OVOok5z7twqI2vg+B yyfz3WC2IHFb21V9J+mnbMr7zGs7ymj/eemqzIefejQgMsKY4sBrP2GyqP3vchp7gd Adrw75TdsrMx4zYttLpx5UlNLsthMWaLC5UeMXGgdvsUsW5lynS/FnTvoonsQszHmT 2AHrEk8p6QoBNCxgVlbVZ5ao=
- In-reply-to: <ZEnBYWlZ8q1bxGfE@math.u-bordeaux.fr>
- Mail-followup-to: pari-users@pari.math.u-bordeaux.fr
- References: <CACESMjKxOVCFG75pZuwdyH+TsJcznjOz6QvL6NNGCyRG=8juVQ@mail.gmail.com> <ZEmc1SR4Thhp9Wxe@seventeen> <ZEnBYWlZ8q1bxGfE@math.u-bordeaux.fr>
* Karim Belabas [2023-04-27 02:27]:
> From Bill's first formula (and Milnor's proof of it given in the
> Wikipedia article), you can express this in terms of Lobachevsky's function
> and in turn get your expected relation to Dedekind zeta function:
>
> ? lfun(x^2+3,2)/zeta(2) * sqrt(27) / 2
> %1 = 2.0298832128193072500424051085490405719
Forgot to mention another (simpler?) expression for this, also
explained in Milnor's paper:
? 3 * imag( dilog(exp(2*I*Pi/3)) )
%2 = 2.0298832128193072500424051085490405719
Cheers,
K.B.
--
Pr Karim Belabas, U. Bordeaux, Vice-président en charge du Numérique
Institut de Mathématiques de Bordeaux UMR 5251 - (+33) 05 40 00 29 77
http://www.math.u-bordeaux.fr/~kbelabas/