Re: `)read' and large inputs

[email protected] (Ludovic Courtès) Thu, 16 Nov 2006 09:55:50 +0100

Newsgroups	gmane.comp.mathematics.axiom.user
Organization	LAAS-CNRS
Message-ID	<[email protected]>

Hi,

Themos Tsikas <[email protected]> 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.