jcano | 1 Jul 2005 14:04
Picon

grobner package error after compiling

Hi,
I can run "grobner.demo" with no problem after loading 
"maxima-grobner.lisp".
However, If I
copile_file("maxima-grobner.lisp");
load("maxima-grobner.o");

I get the following error when running
demo("grobner.demo");

[...snipped...]
(%i249)   POLY_IDEAL_INTERSECTION([y + x , x  - y], [x, y ], [x, y])
Maxima encountered a Lisp error:

 Error in MACSYMA-TOP-LEVEL [or a callee]:
Error in CONDITIONS:TYPE-ERROR-EXPECTED-TYPE [or a callee]: The slot 
CONDITIONS::EXPECTED-TYPE is unbound in the object 
#<CONDITIONS::INTERNAL-TYPE-ERROR.0>.

Fast links are on: do (use-fast-links nil) for debugging
Broken at PCL:SLOT-UNBOUND.  Type :H for Help.
 1 (Abort) Return to top level.
dbl:MAXIMA>>

Any help? Am I doing something wrong?

I am running maxima 5.9.1 on gcl 2.6.6 (it is actually the debian-sarge 
package).

Thanks,
(Continue reading)

Robert Dodier | 1 Jul 2005 17:10
Picon

spanish/portuguese translations and texinfo tools

Hello,

I've been trying to format the Portuguese and Spanish translations
of the Maixma reference manual using different permutations of texinfo tools.
A lot of effort has been put into the translations. Many thanks to 
Jorge Barros de Abreu, Juan Pablo Romero, and Mario Rodriguez.

Here is what I have found to work. There is probably more than one
way to do this. 

(1) In main maxima_$LANG.texi file, put  <at> documentencoding ISO-8859-1
just after  <at> setfilename  maxima.info .
(2) In  <at> defvr and  <at> deffn, enclose words with diacritical marks in { }.
E.g.,  <at> defvr declaraci <at> 'on  -->   <at> defvr {declaraci <at> 'on}.
(3) Run makeinfo with the --enable-encoding option.

Here are the command lines I've been using.

# Create .info files
makeinfo --enable-encoding maxima_$LANG.texi

# Create .html files
texi2html --lang=$LANG --split=chapter --output=tmp-html
--css-include=../manual.css maxima_$LANG.texi

About software versions -- I am running makeinfo from texinfo-4.5-2.
I am running texi2html 1.76. NOTE: There exist multiple versions of texi2html
(and Maxima has its own private version in maxima/doc/info).
I downloaded texi2html 1.76 from http://texi2html.cvshome.org .

(Continue reading)

Barton Willis | 1 Jul 2005 17:38
Favicon

Maxima comparison

If  you have not read "Maxima Vs MuPad," ( 
http://www.tex-sales.se/Artiklar/MaximaMuPAD.pdf )
I think it's worth a look. While I think it would be wrongheaded to target 
specific bugs revealed
 from the tests in this comparison for (ad-hoc) fixing,  the document 
might give us guidance
on what we need to fix.

Barton
Richard Fateman | 1 Jul 2005 18:09
Picon
Favicon

Re: Maxima comparison

A number of the "deficiencies" of Maxima in that article
seem to revolve around misconceptions of what it means to
declare something.  This may have changed in Macsyma, but at
least in the early design, declarations had no effect whatsoever
on rat, ratsimp, radcan.

I think it actually shows maxima to pretty good advantage, even though
Mupad seems to score higher according to the author's criterion.
1. Maxima gets lots of stuff right.  The stuff it gets wrong is
understandable, for the most part.
2. Maxima is much faster (15X) than Mupad, to run the whole test.
3. Maxima is free and open source.

As I recall, in Wester's original test, Macsyma was high scorer,
outscoring the competition of Maple, Mathematica, ....
RJF

Barton Willis wrote:
> If  you have not read "Maxima Vs MuPad," ( 
> http://www.tex-sales.se/Artiklar/MaximaMuPAD.pdf )
> I think it's worth a look. While I think it would be wrongheaded to target 
> specific bugs revealed
>  from the tests in this comparison for (ad-hoc) fixing,  the document 
> might give us guidance
> on what we need to fix.
> 
> Barton
> 
> _______________________________________________
> Maxima mailing list
(Continue reading)

Richard Fateman | 1 Jul 2005 18:17
Picon
Favicon

Re: Question about declare-top

C Y wrote:

> --- Raymond Toy <raymond.toy <at> ericsson.com> wrote:
> 
> 
>>If you look many files with declare-top at the top also have
>>declare-top at the bottom.  The one at the top declares some
>>variables as special and then at the bottom makes some not special 
>>anymore.
>>
>>But this isn't possible in Common Lisp.  Once special, it's forever
>>special.
> 
> 
> Erm.  I suppose since I don't properly understand what "special" means
> in lisp (I'm looking around, but it hasn't sunk in yet) I may be
> worrying about nothing, but if nothing else shouldn't this be on our
> "clean up" list?  Presumably if the original coders wanted them special
> globally they could have done that, so what were they trying to
> accomplish by unspecial?  

I think the idea is this:

If you have programs that are defined within a file F and you use,
as global variables   x, y, z,   you might declare them to be "special".
But you probably don't want them to be special in other files that are
compiled after F.

The closest I've come so far to understanding
> what special means is that it's a global variable which is only legal
(Continue reading)

Paulo Ney de Souza | 1 Jul 2005 18:23
Picon
Favicon

RE: Maxima comparison


     > -----Original Message-----
     > From: maxima-admin <at> math.utexas.edu [mailto:maxima-
     > admin <at> math.utexas.edu] On Behalf Of Richard Fateman

     > Sent: Friday, July 01, 2005 9:09 AM
     > To: Barton Willis
     > Cc: maxima <at> math.utexas.edu
     > Subject: Re: [Maxima] Maxima comparison
     >
     > 1. Maxima gets lots of stuff right.  The stuff it gets wrong is
     > understandable, for the most part.
     >
     > RJF

Richard,

I was going over the entire document looking exactly for his kind of stuff
when your e-mail cam in, and did not see much ... what are the areas (or
problems) that Maxima gets it wrong and it is "understandable" ?

Paulo Ney
Barton Willis | 1 Jul 2005 18:44
Favicon

Re: Maxima comparison


-----maxima-admin <at> math.utexas.edu wrote: -----

>A number of the "deficiencies" of Maxima in that
>article seem to revolve around misconceptions of what it
>means to declare something.

declare(x,complex) does nothing that I know of. Actually,
Maxima believes that nearly everything is complex:

(%i1) featurep(5,complex);
(%o1) true
(%i2) featurep(inf,complex);
(%o2) true
(%i3) featurep(true,complex);
(%o3) true

I think most of the declare(x,complex) statments in the article
should be changed to domain : 'complex.  But the only behavior that
domain : 'complex changes that I know of is

(%i6) sqrt(x^2), domain : 'real;
(%o6) abs(x)
(%i7) sqrt(x^2), domain : 'complex;
(%o7) sqrt(x^2)

Barton
Fell | 1 Jul 2005 18:49
Picon
Favicon

maxima on os x and plot2d

Dear group -
When attempting to use maxima's plotting function on the os x platform, 
the
following error is encountered:
(C1) plot2d(sin(x),[x,0,1]);
/sw/lib/maxima/5.9.0/omplotdata: line 3: exec: wish: not found

My first question is: does wish work on os x and where can I find it?
  The second question is where to put it. On my linux system, wish is in 
/usr/bin. My guess is the appropriate place is /sw/bin.
Thanks,
Dick Fell

Richard N. Fell
Martin Fisher School of Physics
Brandeis University
Waltham, Ma 02454
fell <at> brandeis.edu
781.736.2860
C Y | 1 Jul 2005 20:34
Picon
Favicon

Re: Question about declare-top

--- Richard Fateman <fateman <at> cs.berkeley.edu> wrote:
>
> I think the idea is this:
> 
> If you have programs that are defined within a file F and you use,
> as global variables   x, y, z,   you might declare them to be
> "special". But you probably don't want them to be special in other
> files that are compiled after F.

But then by definition they aren't global, correct? (at least in the
sense that we don't want all of MAXIMA to know about them.)  And if I
understand how this works in common lisp they ARE special in files
compiled after F, since unspecial doesn't work.  I don't understand why
you would want to work this way - can you provide an example where this
behavior is desirable, or rather what it achieves?  I would have
thought packages make more sense for this sort of thing, but that
probably just means I still don't know what special accomplishes.

> No, it has to do with binding. Special bindings are not lexical, but
> dynamic.

OK.  I have a feeling I'm stumbling on one of the things I never really
have grasped properly about Comp Sci.  This is how I've view these
things:

lexical -> local variable, defined only within the relevant section of
code.  definitions do not propagate
dynamic -> globally accessable, and globally reassignable?

So special -> unspecial would be an attempt to temporarily make
(Continue reading)

Piet van Oostrum | 2 Jul 2005 13:22
Picon

Re: maxima on os x and plot2d

>>>>> Fell <fell <at> brandeis.edu> (F) wrote:

>F> Dear group -
>F> When attempting to use maxima's plotting function on the os x platform, the
>F> following error is encountered:
>F> (C1) plot2d(sin(x),[x,0,1]);
>F> /sw/lib/maxima/5.9.0/omplotdata: line 3: exec: wish: not found

>F> My first question is: does wish work on os x and where can I find it?
>F>  The second question is where to put it. On my linux system, wish is in
>F> /usr/bin. My guess is the appropriate place is /sw/bin.

/sw/bin is the directory where Fink installs software, so it probably
would be there only when you install it through fink.

On my system (Panther) wish is in /usr/bin. In the past I did install
Tcl/Tk from a binary installer that I downloaded from the Tcl site
(http://tcltkaqua.sourceforge.net/). Perhaps you should install that.

On my computer plot2d just works, but it starts up gnuplot that I installed
separately (with AquaTerm). I don't think it uses wish. But openmath uses
wish. You get that with plot2d(sin(x),[x,0,1],[plot_format,openmath]); I
think on your system openmath is the default and on mine gnuplot.I have
maxima 5.9.1, however, whereas you have 5.9.0. The default changed about a
year ago.
--

-- 
Piet van Oostrum <piet <at> cs.uu.nl>
URL: http://www.cs.uu.nl/~piet [PGP E17999C4]
Private email: piet <at> vanoostrum.org
(Continue reading)


Gmane