符号转换

有关问题的详细解释，请参阅解释。

安装

通过cargo获取。

cargo install translating-symbolic

要安装cargo，运行

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

执行

如果通过cargo安装，请执行命令translating-symbolic。

否则，您可以在此存储库的根目录中执行cargo run来运行程序。

用法

程序将从stdin读取输入。以以下格式输入符号序列

LR 或 L1R2 或 LRLRLRLR 或 L10R20。空白字符将被忽略。

按Enter键后，将显示全模型中相同周期的符号序列。这可能存在两个共存的周期。

Ctrl-D停止程序。

解释

假设您动力系统的模型函数$f$是一个圆映射，并且是分段光滑的。它在某个域$[0, 2n]$上定义，并且有四个分支$f_A, f_B, f_C,$和$f_D$。假设此外，它还具有以下对称性

$$f(x + n) \equiv f(x) + n \mod 2n$$

这个模型被称为全模型。半模型模型函数是一个定义在域$[0, n]$上的圆映射$h$

$$h(x) = f(x) \quad \forall x \in [0, n]$$

它只有两个分支，称为$L$和$R$。

此程序将半模型中一个周期的符号序列转换为全模型中的符号序列。