Changes http://wiki.axiom-developer.org/FoundObjects/diff
--
I bookmark your site. I will do right you say! http://aphthdrug.info http://aphthdrug.info";>aphthasol
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
___
Axiom-developer
Hi,
>> System error:
Cannot rename the file #p"FACTFUNC.erlib" to #p"FACTFUNC.NRLIB".
I had a similar error yesterday.
Just quit Axiom and remove the files FACTFUNC.erlib and FACTFUCT.NRLI.
Then restart axiom and compile again.
Ralf
___
Axi
Gaby,
On Wednesday, February 15, 2006 11:04 AM you wrote:
> Bill Page writes:
>
> | If you have some experience with using autoconf
>
> I do.
Excellent! We definitely need your help... :)
> At the moment, I'm bit overloaded but I'm very interested
> to take on the build machinery.
>
I would
>>Let us suppose the following scenario. I remove any file from src/algebra/
>>and any corresponding Makefile entry. Then I start compiling Axiom. Would I
>>end up with an Axiom framework that has no mathematical knowledge.
actually, it's pretty close. if you do
)set mes auto on
you'll see that
> Should I know debugsys?
debugsys is an image i create for deep debugging in the axiom interpreter.
it loads the lisp code rather than the compiled lisp code so i can get
better backtrace information about a failure and i can single-step functions.
it's the same as AXIOMsys only it's interpreted.
> So in order to have a reasonable input/output behaviour on the Axiom
> command line, I should meet certain criteria. Is that written somewhere?
> References?
each domain defines its own print representation.
this is why you get different output if you do
(16) -> (1/2)*x^2+(2/3)*x+3
1
Hi Tim,
On 02/15/2006 03:39 PM, root wrote:
Maybe I should have been a bit more precise. I actually already knew
what )abbrev is for. I just forgot the syntax.
As you see the first message tells me:
Issue )abbrev? for more information.
And if I do that I get a not so helpful message. That
Thanks a lot (Ralf and Tim) for your so quickly advice !
1/ I describe rights on theses file bellow.
2/ When I erase rm -r *.NRLIB the compilation is right again.
3/ And now, how can I load my new package ?
4/ Is there in axiom a lot of exemples in order to test if my change
break nothing ?
Hav
>
>>> System error:
>Cannot rename the file #p"FACTFUNC.erlib" to #p"FACTFUNC.NRLIB".
axiom creates a temp directory FACTFUNC.erlib and builds the code there.
if the build succeeds then it renames the directory to FACTFUNC.NRLIB.
if the build fails the FACTFUNC.erlib remains.
do you hav
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > I agree that the limitation on the length of the abbreviation
> > itself was constrained by the old file names. But there are
> > many cases where standard short name is quite convenient -
> > especially for use by expert users in the Axiom interpreter
> Localization of software is not so easy. If I just take the above
> mentioned file and translate it into German, I am sure that I will hate
> the German error message when I see one. The reason is simple. In that
> file there is not enough information to come up with a reasonable
> translatio
On 02/15/2006 06:02 PM, Martin Rubey wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
I agree that the limitation on the length of the abbreviation
itself was constrained by the old file names. But there are
many cases where standard short name is quite convenient -
especially for use by expert
"Page, Bill" <[EMAIL PROTECTED]> writes:
| If you have some experience with using autoconf
I do.
At the moment, I'm bit overloaded but I'm very interested to take on
the build machinery.
-- Gaby
___
Axiom-developer mailing list
Axiom-developer@non
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > But as far as I know, for Aldor this situation was abstracted and there is
> > now
> > a keyword for dealing with it, I believe it is "extend".
>
> Right. If you look at the sources of libaldor it starts with
> lib/aldor/src/lang/sal_lang.as and then
Since there is no definition of "Integer" in that file, the compiler must
know about that thing or it must look into integer.spad to find what Integer
stands for. Yes, yes, I know, here the whole business of circular
dependencies begins. I guess, finally, Integer will be an abelian group
itself. ;
Thanks for reply.
I am still not able to compile. My answers are interleaved. Bear
in mind I am not an expert programmer, but I would like to use
axiom to do science.
> on Solaris 8 sparc (280R dual cpu) system. If I simply follow
> the instructions of:
>
> ./configure
>
> You must set your
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > Yes. But what exactly is mystical to you? Everything starts in catdef.spad,
> > and in fact the code is very easy to read, I find.
>
> Let me quote the first few lines... (documentation stripped)
>
> AbelianGroup(): Category == CancellationAbelianMon
Hello,
I begin to test the manip.spad file (because I want to expand cos (2*x).)
So I copy the manip.spad file in a local directory, add the silly lines
in TRMANIP package
ess : F -> F -- in the declaration area
ess x == 1+x -- in the implantation area
The first compilation seems right,
I
> Maybe I should have been a bit more precise. I actually already knew
> what )abbrev is for. I just forgot the syntax.
>
> As you see the first message tells me:
>
>Issue )abbrev? for more information.
>
> And if I do that I get a not so helpful message. That was the bug I was
> referring
Hi Martin,
If I knew where to hook libaldor into Axiom, I would already have done
so. But libaldor basically starts from zero and for Axiom the whole
construction of the domains and categories is still mystical to me.
In any case if SPAD should be translated to Aldor one has to start with som
I agree that the limitation on the length of the abbreviation
itself was constrained by the old file names. But there are
many cases where standard short name is quite convenient -
especially for use by expert users in the Axiom interpreter.
For example I often write: 'POLY INT' instead of
'Polyno
On 02/15/2006 10:25 AM, Martin Rubey wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
What other kinds of integers are there? But the symbol 4 can certainly
stand for other things besides the integer 4.
Right. 4 is just a symbol consisting of three strokes. If one doesn't bring it
into a conte
Changes http://wiki.axiom-developer.org/268AbbrevWithTooLittleDetail/diff
--
(2) -> )abbr domain XYZ
domain must be followed by an alternating list of abbreviation(s)
and name(s). Issue )abbrev? for more information.
(2) -> )abbrev?
Your argument list is not valid.
--
forwarded from
Ralf,
On Wednesday, February 15, 2006 5:20 AM you wrote:
>
> Maybe I should have been a bit more precise. I actually
> already knew what )abbrev is for. I just forgot the syntax.
No problem.
>
> As you see the first message tells me:
>
>Issue )abbrev? for more information.
>
> And if I d
On 02/14/2006 09:38 PM, C Y wrote:
OK. Here's a link for the lazy (me in a few hours ;-) :
http://www.aldor.org/docs/HTML/chap21.html
Be careful, the code there will probably not work.
print: TextWriter
<<: (TextWriter, SOMETYPE) -> TextWriter
Unfortunately, "print" is not in libaldor but i
Hi Bill,
Maybe I should have been a bit more precise. I actually already knew
what )abbrev is for. I just forgot the syntax.
As you see the first message tells me:
Issue )abbrev? for more information.
And if I do that I get a not so helpful message. That was the bug I was
referring to.
Scott,
Thank you for your comments about SubDomain. I think your
knowledge and experience as one of the original designers
of Axiom is invaluable to us. I am very happy that you are
willing to contribute to the discussion here.
On Tuesday, February 14, 2006 10:29 AM you wrote:
> Bill Page wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> >> How do we resolve things like Aldor's libalgebra vs. Axiom's libraries?
>
> > I would propose that we forget about Aldor's native libraries for now (as
> > nice, though limited, as they are).
>
> If I knew where to hook libaldor into Axiom, I would
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > What other kinds of integers are there? But the symbol 4 can certainly
> > stand for other things besides the integer 4.
>
> Right. 4 is just a symbol consisting of three strokes. If one doesn't bring it
> into a context its meaning would be totally u
29 matches
Mail list logo
