RE: [Axiom-mail] problem using axiom in texmacs

[Page, Bill]

Koen,

Great! At this stage questions (and suggestions!) are most
welcome.

About variable names (identifiers, literals of type symbols):

TeXmacs and Axiom interact to provide a very flexible way
of creating and display a rich set of mathematical symbols -
In fact, far better than any other computer algebra system,
as far as I know. The key is to make use of the special
"escape" character _ . Inserting this character allows before
the other special characters, e.g. \, {, } allows you to
construct any LaTeX encoded symbol. For example, Greek
letters

  _\alpha _\beta _\gamma ... _\Alpha _\Beta _\Gamma ...
  _\nabla _\angle

A very good reference on the extensive set of special
symbols is

  http://www.bitjungle.com/~isoent/

Beware, TeXmacs does not implement all of these! But so
far with limited testing, I would say "most". If I have
time, I may prepare a TeXmacs-Axiom document listing
the ones that are known to work. [Would someone else
like to take on this little project? <grin> ] 

But even better, you can specify fonts for names consisting
of several characters

  _\mathrm_{credit_} - _\mathrm_{debit_}

Remember that the _ character is used to mark the LaTeX
special characters, but they are invisible to TeXmacs.
All multi-character symbols composed in this way are treated
as simple identifiers by Axiom. Although this "name syntax"
might seem a little awkward at first, it is however fully
general. And you can use macros to shorten the typing

  aol ==> _\overline_{_\alpha_}
  aul ==> _\underline_{_\aleph_}

  aol * aul

Please let me know if you find any problems with this.

About simplifying equations:

Axiom has a very powerful rule-based pattern substitution
operator that might do what you want. Try this

  simp := rule %n*('u*'nx+'v*'ny+'w*'nz) == %n*'f

In this rule % means "for any" and ' means "exactly", so
the applying the rule means trying to find the specific
factor that appears inside ( ) and replacing it with the
symbol f.

  simp( W*u*nz+W*v*ny+W*w*nz) )

You should get

  W f

Cheers,
Bill Page.

> -----Original Message-----
> From: Koen Hillewaert [mailto:address@hidden
> Sent: Tuesday, September 30, 2003 10:34 AM
> To: Page, Bill
> Subject: Re: [Axiom-mail] problem using axiom in texmacs
> 
> 
> Thanks Bill,
> 
> this resolved my problem. I have some minor questions though :
> 
> - texmacs does not seem to handle well variable names that consist of 
> several characters. Is this a known bug ?
> - Is it possible to simplify equations by using additional relations 
> (eg. replace "u*nx+v*ny+w*nz" by "f"
> 
> In any case, axiom already does a good job for me.
> 
> Thanks again,
> 
> Koen
> 
> Page, Bill wrote:
> 
> >Koen,
> >
> >The new open source version of Axiom is a little
> >different than the older commercial (NAG) version.
> >As a result, you must install an updated version
> >of the TeXmacs - Axiom interface program. Go to
> >
> >  http://savannah.nongnu.org/files/?group=axiom
> >
> >and take a look at
> >
> >  Axiom_Texmacs 1.0.2
> >
> >Simple instructions are included in the README.txt
> >file.
> >
> >and also the files under
> >
> >  Axiom_Book
> >
> >So far, this new interface for TeXmacs has not been
> >tested very much. Also TeXmacs 1.0.2 is a new version
> >of TeXmacs. I am beginning to think that this combination
> >shows a lot of promise, but I would have to say that the
> >behaviour is still a little "fagile". I was however able
> >to get through almost all of the computations in the
> >introduction section of the Axiom book and some initial
> >formatting of the contents in just a few hours last
> >night.
> >
> >If you have any problems, I would be glad to try
> >to help.
> >
> >Cheers,
> >Bill Page. 
> >
> >  
> >
> >>-----Original Message-----
> >>From: Koen Hillewaert [mailto:address@hidden
> >>Sent: Tuesday, September 30, 2003 6:20 AM
> >>To: address@hidden
> >>Subject: [Axiom-mail] problem using axiom in texmacs
> >>
> >>
> >>Hi,
> >>
> >>I have a problem running axiom (latest version) under texmacs 
> >>(version 
> >>1.0.2), both installed on a pc running RH8.  Inserting an 
> >>axiom session 
> >>in a first buffer only gives me the "(AXIOM Sockets) The 
> AXIOM server 
> >>number is undefined." warning. Inserting a session in a next buffer 
> >>gives me a prompt that does not seem to respond.
> >>
> >>Do I need to configure anything ?
> >>
> >>Thanks in advance,
> >>
> >>Koen
> >>
> >>
> >>
> >>
> >>_______________________________________________
> >>Axiom-mail mailing list
> >>address@hidden
> >>http://mail.nongnu.org/mailman/listinfo/axiom-mail
> >>
> >>    
> >>
> >
> >
> >  
> >
> 
>