mailing-list for TeXmacs Users

Text archives Help


Re: TeXmacs-Reduce interface


Chronological Thread 
  • From: Daniel Volinski <address@hidden>
  • To: "Andrey G. Grozin" <address@hidden>
  • Cc: Texmacs-users <address@hidden>
  • Subject: Re: TeXmacs-Reduce interface
  • Date: Wed, 4 Mar 2020 16:51:42 +0000 (UTC)

Hi Andrey,

I run tm_reduce from the command line:

cd "C:\Program Files (x86)\TeXmacs\plugins\reduce\bin"
tm_reduce
'tm_reduce' is not recognized as an internal or external command,
operable program or batch file.

I also change the tm_reduce: instead of redpsl I put redpsl.bat,
run TeXmacs, invoke reduce but it did not solve the problem.

Thanks,

Daniel Volinski



En miércoles, 4 de marzo de 2020 11:27:05 GMT+2, Andrey G. Grozin <address@hidden> escribió:


On Wed, 4 Mar 2020, Daniel Volinski wrote:
> I noticed there is a remarkable difference between tm_reduce and tm_maxima.
>
> tm_maxima invokes maxima.bat in a specific case:
>
> #!/bin/sh
> if [ -e $TEXMACS_HOME_PATH/plugins/maxima ]; then
>   TEXMACS_MAXIMA_PATH="$TEXMACS_HOME_PATH/plugins/maxima/lisp"
> else
>   TEXMACS_MAXIMA_PATH="$TEXMACS_PATH/plugins/maxima/lisp"
> fi
> export TEXMACS_MAXIMA_PATH
> case $1 in
>   cygwin) exec maxima.bat -p "`echo $TEXMACS_MAXIMA_PATH/texmacs-maxima.lisp|cygpath --windows -f -`";;
>   *) exec maxima -u $1 -l $2 -p "$TEXMACS_MAXIMA_PATH/texmacs-maxima.lisp";;
> esac
>
> On the other hand tm_reduce does NOT invoke redpsl.bat:
>
> #!/bin/sh -f
> TEXMACS_REDUCE_PATH="$TEXMACS_PATH/plugins/reduce"
> export TEXMACS_REDUCE_PATH
> exec redpsl
>
> Is this important?
Yes, maybe, this is the reason. What happens if you run tm_reduce from the
command line? If things work, you should see something like

Loading image file:
/home/grozin/reduce-4972/scripts/../pslbuild/x86_64-pc-linux-gnu/red/reduce.img

Reduce (Free PSL version, revision 4972), 30-Apr-2019 ...

channel:promptlatex:REDUCE 1: ]\

If not, you will, probably, see some error message. You can replace redpsl
-> redpsl.bat in tm_reduce and try again.


Andrey



Archive powered by MHonArc 2.6.19.

Top of page