|
Bill Allombert on Thu, 16 Nov 2023 07:54:30 +0100
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
Re: Question on ternary quadratic form
|
- To: pari-users@pari.math.u-bordeaux.fr
- Subject: Re: Question on ternary quadratic form
- From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
- Date: Thu, 16 Nov 2023 07:49:32 +0100
- Arc-authentication-results: i=1; smail; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1700117643; c=relaxed/relaxed; bh=jYlGCMgR+WNoBsnQUKDmhDJjDJh8GHzIpay/sHbc0dc=; 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=p2Eb2A9rWKsfpewDSkPA3o757doeKMTgPleI3fjED1M9WbC67JxvnxAbtQfVX8FL6MQ1WxjgX0GQSyTeN3tEkzSj+k4OJUDGZpwfCjHcvQIUSDtMSz2PwOe14obcW9SvXBBV+i5n7sSRKsCjPYqg9zwKxGxihfBnydTFka7W7fX8DcWShQl1kzeHRlU0YQL9oS7sFgFzrxjxTIK/2xpKUxHcdOiJ5HphRhozTrTPTvo1bvVA75KBR5UPYS1860vgYo8DZQY5QtwkzXvbJo2nsDVMyaL1PQsgB0XgJ/a6YiDmC0AZWzBJI0zsMCp6TomBPKNUiOrpqEKJD/yiaOI+Zj6E9kH6XgyAZWAIS6Lw/SVZ8JQHyG/tNw+WVmBMVShqi+geZCi7Cmlu568MGTYCfDBgM5H+riaizLffW7q1Z7HGpF1ct7TLb/NYV0RY7pFxjnNfKcgq3KaW1n5taZJcdrFFSYsIB0cenF2oLxnTBWEzLufw1I2YPSqhrIemfzivkHhJAtMrY0rrSZBdF/RX0pdex6tJdd4jxcjvt+qWz3cyihlUSeIRin7ZrsinJTfgaRo+78ENJmurNHXi9rUXyc1CbQbfZ1q+t7EPRJ2zYHm8PdDimr3LRrr2dbE0+B1AjrVoSXVxjYUlMuMyhrzeoaVBNCi5VBOKPJkdkkoxO5I=
- Arc-seal: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1700117643; cv=none; b=G4mzi3om/NDiorbi4ZhLJSBPlunVXt/uprdwey6FNDPD5LNZ/++0bIBb900cNjekAgNEIZA09AEhWmR3FpzgPD97bsHbEYlyUDqR8hRqCBTChE7CJJnReB6/EGcE8DKRPW5mR3ANUyrOuap+ukdGgnxXZlsls75GvOgHGcqMZCsqv3mTsSu2iohg7u07rKvO9GbWUc0y2wDS9LXpqBpAt7t9LRQyP9p4zrKCZbI+fG0+/DFQWPl1aHGkaUI8h3MBbcbhp4ViM1RWRYOXXM0sK4M+FCKhHomP1ku4uMHicsfcFD3BEhQDc3ehGNLue42HzUJ3GV66fgu65MCPT66V/lPU5jvJ/hTyxDfPp6fbPstLNKIKLRRTIUvSnBJSlrscZ7VsxozwrvvJU/za9VQMrnHP5saEdXc98AKjkzQZpZJrAq6NKRRYd4tFjL/cO9x6CRp+QlCAT0+nwBrxSo/6IUUynNUEgSTQlU/sMnI2LOXIEvgEhOmd24bKyVYoILFBgQg9iN66aVXD2K0E9B+7kYsWaUxR6MWR6kS4lOUY4ZgfODbMF6/YYKEvSrb7TPL93zttkLfyBsA4pkJ54IYA+b91bGvsVzKnyi3k50RnbipHRhnEiNC0l3ls9KYyluJnESLNzVARrtikjRv8uzbeVz4p1f8RJBf5Lx0OHTMpXmw=
- Authentication-results: smail; arc=none
- Delivery-date: Thu, 16 Nov 2023 07:54:30 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=math.u-bordeaux.fr; s=2022; t=1700117643; bh=jYlGCMgR+WNoBsnQUKDmhDJjDJh8GHzIpay/sHbc0dc=; h=Date:From:To:Subject:References:In-Reply-To:From; b=d84DXuzBO0Z0n5sKcbbAhOHPkdRTgsY2aSu1bFc/1Gm8eM/aX2OQDFexWWqyb92o9 t4aHDvme0Pw5cOtvY+Uai8vbE+wepQCIljyMH1W2pAx8T6sCHu87mTc+AqsG0Ahaku NOljGOd8QQa1b8/ZQK8hMCNIVfjD5rfgGw0WoefGfy2CGXHN/x0JKLHGBckIc6umD9 VJURhcHy2pgX25Bul7rW0t8WjGB5X0RzYzx+32B+AeBOvhxVn0ntYkiqUt3mgHNLcr c8IzOc0rB4yYq1RIjmeWptzSWAxjdm3+xB5kdieWAKLvlHOYcIkOBnz0uqb9Cyh8h2 PCNNWKuq5ZOV+vcQ+Z9r8H1+Ie/hcTdVJw0KDSc/B4Ql20n7nEI6roA4MDQrLpmlS5 mUL0ZXsBAbD2C3x9emF2H3MC7kbIVLCd2Wk5zndN8JOGLddVKujA153FV5UDeNx1MX cNo4KaWU6AdGquT813Pfd81IL1t9wMelEWE0yPPEW5cdaL2xzPr+0rL5cZJfEiwGJS QsRWn35/WqRRQ90ERZivtax+o1VdynKTaouySskM8gqHk7fLQD7MS4HGszwYrChkMa yPFKgxjTYr99CeYXkGTrWXoYeTs5u4Q2925K7PUeAIYWy/yMRmJRAlIKNJazljuKB9 I8s9N1hiiidlDw6kJqcQsB2E=
- In-reply-to: <48c1303b-9c58-4a32-9c35-6ba139fb5a01@ug.edu.pl>
- Mail-followup-to: pari-users@pari.math.u-bordeaux.fr
- References: <9bbdc86703960aaf2b5421cbf58e6b65@stamm-wilbrandt.de> <48c1303b-9c58-4a32-9c35-6ba139fb5a01@ug.edu.pl>
On Wed, Nov 15, 2023 at 11:09:07PM +0100, Markus Grassl wrote:
> It took me a bit longer to find the corresponding functions in Pari -
> slightly different from Bill's solution:
>
> ? G=[1, 0, 0; 0, 5, 28; 0, 28, 157]
> %1 =
> [1 0 0]
>
> [0 5 28]
>
> [0 28 157]
>
> ? qflllgram(G)
> %2 =
> [1 0 0]
>
> [0 -6 -11]
>
> [0 1 2]
>
>
> I'm not sure whether this works for all cases.
Well, it is still assuming that G is positive definite,
and qflllgram might return a different LLL-reduced form.
qfisom use minimal vectors as you suggest.
Cheers,
Bill