Neil Sloane on Wed, 04 Jun 2014 02:45:40 +0200
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Numbers represented by indefinite binary quad. forms
- To: pari <firstname.lastname@example.org>
- Subject: Numbers represented by indefinite binary quad. forms
- From: Neil Sloane <email@example.com>
- Date: Tue, 3 Jun 2014 20:45:32 -0400
- Delivery-date: Wed, 04 Jun 2014 02:45:40 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=WAvULGfhXUByb/fFVYqRLJaQP36wdT8EYStSLG7xPpA=; b=D2ohumemPMLPRIPV2dga+VCrJnOXzdEuVrGCuRz+8gxfv4Z/spN0sBvyu4bvGcKaCs 3KI92SybPB7Kms+T1JrLFpS8PjF7ZTauBk+xKCuxn+2Cc179c2R8I7iEgLujCpqVITh4 DsruzyN00Ltql+K4g8cTzkL8PkkgWmAr62B77moV0oqaufct5Ytka5PiBP1bvNc/CPSv 91PUb63aUDD7DWW26Lyu6P8/tXsZ1EuxhJIGimd1H2k7+0sX4y4WOz4SQIfQkAWLyFXG gDlkCnzpsBXN62ny3nC4T5tvn8uAfasC0VvmShacUyT48WyKNAtLqzrT+MspaOLzkNzk 38gQ==
Given an indefinite binary quadratic form ax^2+bxy+cy^2 (with discriminant b^2-4ac>0 and not a square) and a number n, how to use PARI to see if ax^2+bxy+cy^2=n has a solution?
[Back in 2003 Bill Alombert said: I have added a new function qfbsolve. qfbsolve(Q,p): Solve the equation Q(x,y) = p over the integers, where Q is an imaginary binary quadratic form and p a prime number. Return [x,y] as a two-components vector, or zero if there is no solution. Note that this functions return only one solution and not all the solutions. This is a preliminary implementation. I plan to allow non prime p and real binary quadratic. Me: Does the "non-prme" version exist? - that would solve my problem!