MrSS
来自Googology Wiki
更多操作
MrSS1.3
(山脉结构序列) 是送到于2026.9.4创造的记号,这个版本只利用了1层山脉的结构,并不理想
主体定义
合法表达式形如为表达式或有限非零序数
名词定义
坏部末项(不包括)到坏根(包括)的部分
末项:序列的最后一项
左腿:山脉图中元素的正上方元素与元素的坏根之间的线
右腿:山脉图中元素的正上方元素与元素之间的线
坏根:元素的坏根为最后一个在左边且以此元素开头的元素,元素的坏根延右腿向下的元素需要小于元素延右腿向下的元素(如果不能在满足时保证延右腿向上的元素为则可以不满足),元素的坏根不能截断其他元素与坏根之间的段落
副根:需要满足所有条件的坏根,在副根与坏根相同时将没有坏根
阶元素:单个为阶元素,单个数值项或由组成的项为阶元素,由阶元素组成的元素为阶元素
层元素:整个表达式为层元素,层元素内的元素是层元素
阶表达式:最高阶元素是阶元素的表达式为阶表达式
差项:元素值(详见山脉图)右腿所链接的元素与元素本体经行字符串相减所得出的值与其坏根得出的值经行字符串相减所得出的值
差值:一个层元素与其坏根的末项差为的差值
山脉图
对于阶表达式采用山脉图画法
- 如果表达式不能直接相减则将末尾的的数量当成数字再画山脉(对于这种情况,坏根只能为这个阶元素外、阶元素内的元素,不能再次退出括号)
对于阶表达式
- 找出表达式中所有的阶元素并用画出阶山脉图
- 找出表达式中所有的阶元素的第行末项的左右腿,将左右腿平移到上一行(如果则没有这一条),此时左右腿包括的元素所构成的序列为这个阶元素的值(如果第一项不是空则值的第一项为空)
- 如果阶元素内有阶元素与其坏根元素进行字符串相减得出的部分存在于两个元素内且对元素添加个得出的部分刚好是另一个元素的展开式且和是在前最后一个满足这些规则的元素则元素的值至少为为元素的值字符串拼接(从末项出发向左寻找足够的)
- 如果(阶元素内有阶元素与同阶元素且元素与元素满足中的与或满足中的与)且有元素满足末项大于的末项且元素是最后一个在前且满足前两条规则元素,则的值至少为元素的值字符串拼接(从末项出发向左寻找足够的)
- 找出表达式中所有阶元素的值,将左腿链接阶元素值的坏根并将字符串相减后的结果写在右腿上方,按此方法画出阶山脉图
- 如果阶元素的值没有坏根则将左腿链接阶山脉图中最后一个比元素底至少阶的元素(前提是在这一列山脉最上方元素没有在更低阶的山脉中因为而被左腿链接)
- 如果山脉图无阶数则执行,否则执行当前山脉图阶数
展开
如果序列为空则序列为零表达式
如果序列末项为则序列为后继表达式,此时序列为去掉末项序列的后继
如果序列末项不为则序列为极限表达式,画出序列的山脉图
- 如果山脉图阶数为则按照展开
- 如果需要展开的山脉图阶数
- 找到山脉图中末列最高元素所在行并按展开(空为)
- 如果序列存在差项则每次复制时向将坏部内每个元素变为(差项,元素)
- 如果需要展开的山脉图阶数
- 如果末项有副根
- 如果坏根的下一行元素小于等于末项第一行的元素则再单独展开一次将末项的副根看作坏根时的山脉,并将展开后每个末项的坏根所在的位置替换成原来的展开中每个坏根所在的位置的元素
- 如果坏根的下一行元素大于末项第一行的元素则再单独展开一次将末项的副根看作坏根时的山脉,并将展开后的序列作为为展开
- 如果有元素上方为空则用此元素末项坏部每项差值复制次数后替代末项
- 如果替换后元素小于等于坏根则将坏部拼接到元素右边直到元素值大于坏根的值
- 如果序列存在差项则每次复制时向将坏部内每个元素变为(差项,元素)
- 如果末项有副根
分析
目前有