[Axiom-mail] Re: `)read' and large inputs

[Ludovic Courtès]

Hi,

Themos Tsikas <address@hidden> writes:

> Add these two lines at the end of axiom-large.input
>
> lib:LIB:=library "data.KAF"
> lib.'proba:= proba;
>
> There probably is a bug somewhere in AXIOM (that's always a safe bet!)
>
> Then, in a clean session, say
>
> lib:LIB:=library "data.KAF"
> keys lib
> proba:=lib.'proba

I tried this, but what's "data.KAF"?  Axiom complains (understandably):

  (1) -> lib:LIB:=library "data.KAF"

     >> Error detected within library code:
     File is not readable
     "data.KAF"

Thanks,
Ludovic.