kevin lucas on Wed, 26 Apr 2023 23:02:41 +0200
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Recognizing numbers using PARI/GP
|
- To: pari-users@pari.math.u-bordeaux.fr
- Subject: Recognizing numbers using PARI/GP
- From: kevin lucas <lucaskevin296@gmail.com>
- Date: Wed, 26 Apr 2023 23:01:16 +0200
- Delivery-date: Wed, 26 Apr 2023 23:02:41 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1682542887; x=1685134887; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=kPMkXkONiuTOANC9RsdSNvbhHbTfdckSSmzfKdGYqVU=; b=Uh4tRR4/GGW4gG2UU31qEJwa7vkEkSX1/ugjQJ+xz1uqPHS7be74JvR8dYzeyGaKin knBSAjZHmPEvg7R+Dg0bU2ZC7xTm6QA+plm11TrSX9G+dNnULSF6FoG2CWnHtT8p7hCb XdZai3E8IL/bo7R5oRWfuDKx1fqa8P1cCdinclTMTpfDdc4F1NpDIt0PToDaOPoaNkzJ RG0EyAevdo1+0U9xJM0EDuFKNMCdHCdlKgBDIMgmp/cXzohsJZ2jnjyFLC3e6eVWomPw 5OrP4AFaV9YHBflBsHM7HUp8qi6mH/zTxzlkZ4cOhCMojMVj5lfsoHrMPflvQ50YJ4LU 6ghQ==
I recently had cause to run a computation that spat out the number 2.0298832… A little research suggested that this should be a special value of a Dedekind zeta function, but I can’t find the exact relation. Now, I’m aware that PARI/GP can recognize algebraic numbers using algdep, and one can easily incorporate numbers involving common constants like $\pi$ and e with qflll. But what if you suspect relations between special values of special functions (e.g. eta/gamma/zeta functions) and you don’t know which values of which functions, as in this case? I’ve known mathematicians who found relations like this all the time, which leads me to believe there are some dark arts in PARI for this that are only well known within a small community.
So my questions are:
1. What is this number above?
2. Are there general approaches (or better yet, GP scripts) for finding such relations when one doesn’t know beforehand the constants that will appear? Put simply, how do you recognize numbers in GP?
Any help or reference would be helpful.
Thanks,
Kevin