Bill Allombert on Mon, 15 Sep 2003 17:44:05 +0200

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: qfbpowraw

On Sun, Sep 14, 2003 at 04:39:07PM +0200, Karim BELABAS wrote:
> On Sun, 14 Sep 2003, Bill Allombert wrote:
> > It seems that PARI * and ^ operators allow operation on quadratic
> > forms but reduce them. I would personnaly prefer it does not reduce
> > them.
> Coefficient explosion would occur for ^.

...only if you plan to reduce the result.

Please note that the == operator is not consistent with this
policy, nor is ^1.

> qfb[comp|pow]raw would be dumped then ?

Why ? qfbnucomp/qfbnupow are still available.

> > Lastly, is it possible to get the SL2 matrix involved in the equivalence
> > between two forms ? (I have written a GP script for that effect, but...)
> Not from the current GP interface. In the real case, you have the distance
> component, which is less useful, but remains small.

I will implement that, then. This is necessary to solve binary quadratic
form equation (probably following Gauss, this is a general Cornacchia
like algorithm with probabilistic polynomial running time).