Re: [Maxima-discuss] Qepmax package: interface to Qepcad

[本田康晃 <yas...@gm...>]

Dear Barton san,

Thanks for the bug report. I have tested with Closure Common Lisp (which I
suppose you refer to by 'ccl') on Mac OS X 10.9.2. It works for me. Could
you tell me which version of ccl do you use?

Also, your error message seems to have something to do with locale. Could
you tell me the result of
% echo $LANG
in your shell?

Thanks and best regards,
Yasuaki Honda, Chiba, Japan

Maxima 5.33.0 http://maxima.sourceforge.net

using Lisp Clozure Common Lisp Version 1.9-r15758  (DarwinX8632)

Distributed under the GNU Public License. See the file COPYING.

Dedicated to the memory of William Schelter.

The function bug_report() provides bug reporting information.

(%i1) load(qepmax);


Loading maxima-grobner $Revision: 1.6 $ $Date: 2009-06-02 07:49:49 $

(%o1)             /Users/yasube/Programming/qepmax/qepmax.mac

(%i2) qe([[A,x]],x>0 %implies x^3>0);

(%o2)                                true

(%i3) qe([[A,x]],x>0 %implies a*x^3+b>0);

(%o3)          (a >= 0) %and ((a > 0) %or (b > 0)) %and (b >= 0)


2014-04-15 21:25 GMT+09:00 Barton Willis <wi...@un...>:

>  > Qepmax package, an extension to Maxima to interface with Qepcad B, is
> available from Github at:
>
>
>  Many thanks for this contribution--it could be quite useful. When I
> tried to load your code, I got an
>
> error. I tried using both GCL and CCL. The problem is apparently in the
> function $prepare_for_qepcad:
>
>
>  (defun $prepare_for_qepcad ()
>   (setf (get '%and 'strsym) '(#\ #\/ #\\ #\ )) ;; <--- GCL and CCL both
> think something is wrong here
>   (setf (get '%or 'strsym) '(#\ #\\ #\/ #\ ))
>   (setq *mtimes_char* *mtimes_char_qepcad*)
>   t)
>
>
>  Specifically:
>
>
>  (%i36) :lisp(load "qepmax-support.lisp" :print t)
> #<"MAXIMA" package>
>
>
>
>  *MTIMES_CHAR_MAXIMA*
>
> *MTIMES_CHAR_QEPCAD*
> *MTIMES_CHAR*
> Maxima encountered a Lisp error:
>  Error in CONDITIONS::CLCS-LOAD [or a callee]:
> "/usr/share/locale/RELATIVE/en/LC_MESSAGES/maxima.mo" is an illegal
> character name.
>
>  --Barton
>
>    ------------------------------
>
>