Online FriCAS Notebooks (ft. Jupyter Notebook)

1. Remote Computation Service I selected Ubuntu Debian Linux (Debian 11, the latest Debian Linux supported by the AliYun). The reason for selecting Debian over Ubuntu is the support for FriCAS is only available on Ubuntu 21.4, but Ubuntu 21.4 is not supported by AliYun for now. Here’s the instruction to run jFriCAS on Ubuntu. I’ve changed to AliYun afterwards, he...

February 14, 2022

ORESUS 中的求逆

我发现之前对于斜洛朗级数的求逆要求过于严苛了。之前我假设的是斜洛朗级数的系数环必须是整环(IntegralDomain, 即无零因子交换环),...

August 5, 2014 · tt4

斜洛朗级数环的软件包 和 FriCAS

这几天都在忙着写 ORESUS 软件包的一些例子。总算要实现我 4 年(甚至更早以前)的愿望了!那时候和ex游完泳等她的时候就在写 ORESUS 的代码。。。 好吧!现在大家...

July 30, 2014 · tt4

斜洛朗级数环的软件包现在可以计算一个算子的分数次方了!

先上张代码的图吧!FriCAS 虽然是从 AXIOM 这门古董级语言中 fork 出来的一个分支,目前仍处在活跃开发期,但是很多功能仍然缺失,尤其是:调试的功能基!...

July 26, 2014 · tt4

Calculate PDOs using AXIOM / FriCAS

For years, the computation of Lax equations is a tedious and time-consuming task. For example, KdV equation has the following type of Lax equation: ```mathjax L_t = [A, L], ``` where ```mathjax L=\partial^2+u(x,t)```, (A=\partial^3+4u(x,t)\partial+2u_x). Having been a graduate student majoring in integrable systems for years, I always had to work on such kind of computations. It was frustrating. At that time, I was thinking of a way to speed up the computation with the power of computers....

May 3, 2012 · tt4