Dear Dan,
Dear Martin,
Dear Barton,
Dear Stavros,
Yes! Many most sincere thanks for the suggestions by Dan and
Martin. Both the set.lisp package by Barton and the nset.lisp
package by Barton and Stavros load perfectly now (no errors!),
but only the set.lisp package can be used with the solver package,
I do not know why (details below). I had the impression that the
nset package could be used in all cases concerning sets and that
the set package could be deleted from Maxima.
Although I have been successful with an elementary example
below ([x-a = 0]), yet, for Martin's example, I failed again.
(The use of a correct set package, by Barton, did not improve
the situation with solver: same message) I think I have to work
in more detail with the solver package, but I doubt whether I
will be finally successful in efficiently using it.
Yet, for the moment I am happy I have been at least able to
use this package even in an elementary example.
I am really thankful to you for your kind help and suggestions.
Perhaps, I will be now able to proceed further with solver
(after some study of course!).
Best regards,
Nikos
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
(C1) EquationP(e) := if part(e,0) = "=" then true else false$
(C2) load(comm)$
(C3) load(mutils)$
(C4) load("c:/maxima/maxima/share/maxima/5.9.0/src/set.lisp");
(D4) c:/maxima/maxima/share/maxima/5.9.0/src/set.lisp
(C5) load(misc)$
(C6) load(solver)$
(C7) Solver([x-a=0], [x], [a]);
(D7) [[x = a]]
(C8) Solver([x+y+x^2=a, x-y=b], [x,y], [a,b]);
Error: F- [or a callee] requires more than one argument.
Fast links are on: do (si::use-fast-links nil) for debugging
Error signalled by F-.
Broken at F-. Type :H for Help.
MAXIMA>>
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
(C1) EquationP(e) := if part(e,0) = "=" then true else false$
(C2) load(comm)$
(C3) load(mutils)$
(C4) load(nset);
(D4) C:/MAXIMA/MAXIMA/share/maxima/5.9.0/share/contrib/nset.lisp
(C5) load(misc)$
(C6) load(solver)$
Warning - you are redefining the MACSYMA function FLATTEN
(C7) Solver([x-a=0], [x], [a]);
Warning: Pars was declared mode LIST, has value: {a}
The first argument to SUBLIST must be a list:
{x}
#0: SetupSolver(equations=[x-a = 0],solverparams=[[x],[a]])(solver.mac line
694)
#1: SOLVER(equations=[x-a = 0],solverparams=[[x],[a]])(solver.mac line 451)
-- an error. Quitting. To debug this try DEBUGMODE(TRUE);)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> --- "Martin RUBEY" <rubey@labri.fr> wrote:
> I don't know whether it will work with the lisp files, I experienced
> trouble but this is already some time ago and I can't remember why.
>
> In any case you should load
>
> load("/usr/labri/rubey/maxima/src/binary-gcl/set.lisp")
> which is probably
> load("C:/MAXIMA/MAXIMA/share/maxima/5.9.0/src/set.lisp")
> at your site
>
> instead of
>
> C:/MAXIMA/MAXIMA/share/maxima/5.9.0/share/misc/set.lisp
>
> Martin