Karim BELABAS on Tue, 4 Mar 2003 13:01:33 +0100 (MET)

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

Re: pari-2.2.5.alpha released

On Sat, 1 Mar 2003, Ilya Zakharevich wrote:
> On Thu, Feb 13, 2003 at 07:12:29PM +0100, Karim BELABAS wrote:
>> I would like to announce the release of pari-2.2.5.ALPHA. As usual, you can
>> fetch the sources from the link
> What is the reason for my `t_EXT' patch not to be included?

Yes, sorry for not picking it up.

It's an interesting, but (relatively) long and complicated patch, for which I
had the following (off-list, unfortunately) lightweight counter-proposal
[ from Bill, I'm suming it up ]:

Have a t_TAG wrapper type whose codeword0 is standard, codeword1 is a
pointer to

struct pari_tag {
  const char *name; /* Tag name, e.g "ell", "nf", ... */

and the rest are mantissa GENs [ or long if we add the necessary
information to 'struct pari_tag' ].

GP input/output is done via '@', e.g nf@[....], where [....] is the current
nf object [ exactly as is currently output by nfinit ]. This way, tagged
object are copy-paste compatible.

The type-checking routines [ checknf & al ] simply check the tag, then
discard it. This way all routines can accept and use tagged objects, without
any modification at this point.

If some routine [ e.g output ] wants to do some specialized processing, they
can check for a tag and act accordingly. Extensions can be dealt with by adding
info to struct pari_tag.

It would be easier if there were a definite application, which would use
your mechanism. Then we could compare and see. I'm not sure yet whether
both mechanisms conflict orserve orthogonal purposes.

I started working on it then went on to other things (checking the gmp kernel
in particular...). 2.2.5 was long overdue, and I simply ran out of time. It's
still in my 'URGENT' stack (together with about 100 other issues

I'll try to work on it again in 2.2.6.

> BTW, now when GMP kernel has made it in, is not it a good time to
> include my edit of using typedef PARIWORD *GEN instead of long*?  Let
> me recall that it required pfind, which is available, e.g., on
>  ilyaz.org/software/perl/scripts/

Same problem here [ more acute: the patched version contained bugs that needed
to be fixed ]


Karim Belabas                     Tel: (+33) (0)1 69 15 57 48
Dép. de Mathématiques, Bât. 425   Fax: (+33) (0)1 69 15 60 19
Université Paris-Sud              http://www.math.u-psud.fr/~belabas/
F-91405 Orsay (France)            http://www.parigp-home.de/  [PARI/GP]