linux 下 TeXmacs 作 Mathematica 10 的前端
TeXmacs可以作很多种数学软件的前端,比如maxima,octave,R等。甚至还可以作mathematica的前端。TeXmacs的mathematica 插件比较老,默认条件下无法运行mathematica 10。以下假设TeXmacs与mathematica已正确安装在64位linux下的/usr/local目录中,需对以下文件作修改(修改部分见注释):
1. /usr/local/libexec/TeXmacs/bin/tm_mathematica
#!/bin/sh error() {
#echo -e "\002latex:\\red $1\005"
echo -e "$1"
exit
} #########################
####添加以下两行##########
########################
export MATHLINK_PLATFORM=Linux-x86-
export LD_LIBRARY_PATH=/usr/local/Wolfram/Mathematica/10.0/SystemFiles/Links/MathLink/DeveloperKit/Linux-x86-/CompilerAdditions:$LD_LIBRARY_PATH if [ ! -x "$TEXMACS_HOME_PATH/bin/tm_mathematica.bin" ]
then
MATH0=`which math`
if [ $? -ne ]
then error "Mathematica seems not to be installed"
fi
MATH1=`realpath "$MATH0"`
if [ $? -ne ]
then
MATH1=`realpath.py "$MATH0"`
if [ $? -ne ]
then error "realpath seems not to be installed"
fi
fi
#########################
####修改以下一行##########
########################
MATH2=`echo "$MATH1" | sed -e 's=Executables/math$=SystemFiles/Links/MathLink/DeveloperKit='`
PLATFORM=`(cd "$MATH2"; echo *)`
NUM_PLATFORMS=`echo "$PLATFORM" | wc -w`
if [ "$NUM_PLATFORMS" -eq ]
then MATH3="$MATH2/$PLATFORM"
#......................以下省略......................
2. /usr/local/share/TeXmacs/plugins/mathematica/Makefile.lazy
###################
#####修改以下两行##
###################
$(TEXMACS_HOME_PATH)/bin/tm_mathematica.bin: src.lazy/tm_mathematica.c
gcc -o $(TEXMACS_HOME_PATH)/bin/tm_mathematica.bin src.lazy/tm_mathematica.c -I $(MATHLINK_PATH) -L $(MATHLINK_PATH) -lML64i3 -lm -lpthread -lrt -luuid
(注:如有必要需安装uuid。ubuntu 下用命令 apt-get install uuid-dev)
3. 如果要在TeXmacs 中用mathematica 作图的话,每次启动mathematica插件时,先运行命令:
Get["Version5/Graphics.m"]
效果图如下:
linux 下 TeXmacs 作 Mathematica 10 的前端的更多相关文章
- linux 下 TeXmacs 作 Maple 18 的前端
TeXmacs的maple 插件比较老,默认条件下无法运行maple 18.且默认情况下maple18不在系统的搜索目录中,导致TeXmacs中不显示 maple 的session.以下假设TeXma ...
- 扔掉360:Linux下无线网卡作WiFi路由器(转薄荷开源网)
这个话题很多人感兴趣,毕竟现在是无线互联时代.手机一族到外面去,首先关心的就是有没有 WiFi.Windows 7 用户可以安装 360 的软件,把笔记本电脑配置成路由器,供手机或其他电脑上网. 在 ...
- Linux下最常用的10个文件压缩工具
作者简介 李先生(Lemon),高级运维工程师(自称),SRE专家(目标),梦想在35岁买一辆保时捷.喜欢钻研底层技术,认为底层基础才是王道.一切新技术都离不开操作系统(CPU.内存.磁盘).网络等. ...
- Linux下安装redis-4.0.10
1.下载redis-4.0.10 在redis官网(https://redis.io/download)下载redis-4.0.10 2.将安装包上传至Linux服务器 在Linux服务器根目录下创建 ...
- 2017-7-18-每日博客-关于Linux下的鲜为人知的10条命令.doc
这篇文章的目的是介绍一些少有人知的Linux命令,它们一定会高效地帮你管理你的桌面/服务器. 1. sudo !!命令 没有特定输入sudo命令而运行,将给出没有权限的错误.那么,你不需要重写整个命令 ...
- linux下编译安装MariaDB 10.4.7,解决错误:cannot access ‘/auth_pam_tool_dir’: No such file or directory
编译安装MariaDB 10.4.7,前面的步骤我就不复述了,一切正常没什么问题. 当执行到:scripts/mysql_install_db --basedir=/usr/local/mysql - ...
- Linux下汇编语言学习笔记10 ---
这是17年暑假学习Linux汇编语言的笔记记录,参考书目为清华大学出版社 Jeff Duntemann著 梁晓辉译<汇编语言基于Linux环境>的书,喜欢看原版书的同学可以看<Ass ...
- linux下的tcp连接超时
最近需要写一个linux下的通信程序, 通信模块用的是Qt的QTcpSocket. 最后程序需要增加一个断网检测, 在windows下调试没问题, 拔网线, 断网口都能马上检测到, 但到了部署到lin ...
- 在GNU/Linux下制作Windows 10安装U盘
今年春节回家期间,我需要将家里的一台安装了Debian Stretch的ZaReason笔记本电脑更换为Windows 10系统,好让爸妈从老台式机上的XP系统升级到新的平台上来.回家前,小仙女已在微 ...
随机推荐
- kafka单节点测试
======================命令====================== 启动zookeeper server bin/zookeeper-server-start.sh conf ...
- jsp添加背景音乐
在<head></head>间假如标签<embed src="文件地址" loop="11" autostar="tru ...
- SpringMVC实现查询功能
1 web.xml <?xml version="1.0" encoding="UTF-8"?> <web-app xmlns:xsi=&qu ...
- 小表驱动大表, 兼论exists和in
给出两个表,A和B,A和B表的数据量, 当A小于B时,用exists select * from A where exists (select * from B where A.id=B.id) ex ...
- C#读取文件夹大小
今天需要做一个读取文件夹大小的功能,为了避免遍历文件夹下所有文件并求出总大小,找到如下的好方法: 首先要在项目中引用一个COM组件:Microsoft Scripting Runtime,这个在Ref ...
- hive与hbase整合过程
实现目标 Hive可以实时查询Hbase中的数据. hive中的表插入数据会同步更新到hbase对应的表中. 可以将hbase中不同的表中的列通过 left 或 inner join 方式映射到hiv ...
- Spring Test+JUnit整合使用
在做spring相关测试时比较麻烦,如果只用JUnit测试,需要没测有初始化一下applicationContext,效率比较底下,而且也有不足之处.具体见下文 导致多次Spring容器初始化问题 根 ...
- Map接口
Map实现的包括HashMap 和TreeMap .建议使用HashMap ,效率更高.并且允许使用null值,单是必须保证键的唯一性,TreeMap不允许有空.在添加删除和定位映射关系的时候不如Ha ...
- Django 浏览页面点击计数(通用视图)
通常情况下在Views.py中直接写一个视图函数就可以了,由于每次点出详情时都会经视图函数处理, 所以可以在此视图函数中对浏览次数进行"+1" 操作. 对应的url:url(r'^ ...
- Ubuntu12.04安装到U盘里
把linux安装到U盘里,随时随地使用自己的系统show一下不仅用起来顺手而且很方便携带.看了一些关于安装Ubuntu到U盘的资料,自己试着折腾了几次,并且成功安装了.花时间更新要保证系统是最新的就要 ...