(*内容类型:application/vnd.wolfram.mathematica*)(***Wolfram笔记本文件***)(* http://www.wolfram.com/nb *)(*CreatedBy='Mathematica 11.0'*)(*CacheID:234*)(*内部缓存信息:笔记本文件断线测试笔记本文件断线测试笔记本数据位置[158,7]笔记本数据长度[675731820]笔记本选项位置[66181,1779]笔记本大纲位置[665391795]单元格标签索引位置[664961792]窗口框架->正常*)(*笔记本内容开头*)笔记本[{单元格[CellGroupData[{单元格[BoxData[行框[{行框[{“Unprotect”,“[”,“SquareMatrixQ”,“]”}],“;”}]],“Input”,CellGroupingRules->{“GroupTogetherGrouping”,10000.},单元格更改时间->{3.7918585212062807`*^9,3.8014888193969584`*^9}],单元格[BoxData[行框[{“<<”,“节点理论`”}]],“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10000.},单元格更改时间->{3.801488819397139*^9}]},打开]],Cell[BoxData[“\<\”Loading KnotTheory` 2014年9月6日版\13:37:37.2841。阅读更多信息http://katlas.org/wiki/NotTheory。\"\>"], \“打印”,单元格更改时间->{3.801584592424179*^9, 3.801594808345654*^9, 3.801595282085278*^9, 3.801597543282741*^9, {3.8015998680608683`*^9, 3.801599871822464*^9}, 3.801600861221149*^9, 3.801704808835456*^9, {3.801761226741564*^9, 3.801761229290028*^9}, 3.801763568937035*^9, 3.801769950959633*^9, 3.8017701579537888`*^9, 3.8018575666395607`*^9, {3.801934658651671*^9, 3.801934661269575*^9}, {3.8019425386175003`*^9, 3.80194254354108*^9}, 3.802079422754899*^9, 3.802079462236264*^9, 3.8020988979984093`*^9, 3.802117405278743*^9, 3.802117710155217*^9, 3.802182150243272*^9, 3.802534860413227*^9, 3.802868282229686*^9, {3.8028832032262983`*^9, 3.8028832051599417`*^9}, 3.8030386638161783`*^9, {3.8030389685366373`*^9, 3.8030389705693207`*^9}, 3.803152088477243*^9, 3.8032137646690693`*^9, 3.803215177615095*^9,3.803215982059664*^9,3.803241801000774*^9{3.803241943734351*^9, 3.80324194817859*^9}, 3.8032421849711246`*^9, {3.80324222704431*^9, 3.80324222942496*^9}, 3.803660623389308*^9, 3.803662242523492*^9, 3.803738308254963*^9, 3.803756356457164*^9, {3.803767792577386*^9, 3.8037677947024193`*^9}, 3.8038438745471277`*^9, 3.803926731893485*^9}],单元格[CellGroupData[{单元格[BoxData[行框[{“(*”,“”,行框[{“The”,“”,“DT”,“,”code“,”,“for”,“,“结”,“”,“来自”,“,”,“the”,“,“节”、“”、“5”}]、“”,“*)”}]],“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10001.},单元格更改时间->{{3.79192941617704*^9,3.79192916544324*^9}{3.800647608188767*^9, 3.8006476088617773`*^9}, 3.801488839672122*^9, {3.814713995779684*^9, 3.814714011387809*^9}}],单元格[BoxData[行框[{行框[{“(*”,“”,行框[{“第一个”,“,”,“”,行框[{“some”,“”,“subsequences”,“”,“对应的”,“”,“to”,“”,“the”,“,”四“,”,“股”,“,”去“,”进入“,”,“完全”,“”,“扭曲”,“,”#1“,”,“在”,“,“,”的“,”,“,”,“\[IndentingNewLine]”,“}]],“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10001.},单元格更改时间->{{3.791929419695365*^9,3.791929764645987`*^9}{3.800647637431157*^9, 3.800647649145211*^9}, {3.800647707684535*^9, 3.800647719759046*^9}, 3.801488839672284*^9}],单元格[BoxData[{行框[{行框[{行框[{“R1”,“[”,行框[{“a_”,“,”,“”,“b_”,“”、“f”}]、“]”}],“:=”,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“b”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“-”,行框[{“范围”,“”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”,“e”}],“+”,“18”}],行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”、“e”}]、“+”、“24”}],“,”,行框[{“-”,“6”}]}],“]”}]],“,”,“,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“26”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”,“f”}],“+”,“32”}],行框[{“-”,“6”}]}],“]”}]],“】”}],”,“,”,”\[IndentingNewLine]“,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“34”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”,“f”}],“+”,“28”}],行框[{“{”,行框[{“3”,“,”,“”,RowBox[{“3”,“*”,“b”}],“,”,“,”,“3”}],“}”}],“]”}],“,”,行框[{“{”,“}”}]}],“]”}]],“;”}],”\n“,行框[{行框[{行框[{“R2”,“[”,行框[{“a_”,“,”,“”,“b_”,“”、“f”}]、“]”}],“:=”,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“b”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“30”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”,“f”}],“+”,“36”}],行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“6”,“b”}],“+”,行框[{“6”、“d”}]、“+”、“6”}],“,”,行框[{行框[{“6”,“d”}],“+”,“12”}],行框[{“-”,“6”}]}],“]”}]]}],“\[缩进新行]”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“34”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”,“f”}],“+”,“28”}],行框[{“{”,行框[{“3”,“,”,“”,RowBox[{“3”,“*”,“b”}],“,”,“,”,“3”}],“}”}],“]”}],“,”,行框[{“{”,“}”}]}],“]”}]{],“;”}],”\[IndentingNewLine]“,行框[{行框[{行框[{“R3”,“[”,行框[{“a_”,“,”,“”,“b_”,“”、“f”}]、“]”}],“:=”,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“b”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”、“e”}]、“+”、“20”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,RowBox[{“2”,“e”}],“+”,“14”}],“”,“,”,“6”}],“]”}],“,”,“,”,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“26”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”,“f”}],“+”,“32”}],行框[{“-”,“6”}]}],“]”}]]}],“\[缩进新行]”,行框[{“范围”,“[”,行框[{行框[{行框[{“6”,“b”}],“+”,行框[{“6”,“d”}],“+”,“2”}],行框[{行框[{“6”、“d”}]、“+”、“8”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“{”,行框[{“3”,“,”,“”,RowBox[{“3”,“*”,“b”}],“,”,“,”,“3”}],“}”}],“]”}],“,”,行框[{“{”,“}”}]}],“]”}]],“;”}],”\n“,行框[{行框[{行框[{RowBox[{“R4”,“[”,行框[{“a_”,“,”,“”,“b_”,“,”,“,”f“}],“]”}],”:=“,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“b”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“6”、“d”}]、“+”、“10”}],“,”,行框[{行框[{“6”,“b”}],“+”,行框[{“6”,“d”}],“+”,“4”}],行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”、“e”}]、“+”、“16”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”、“e”}]、“+”、“22”}],“,”,行框[{“-”,“6”}]}],“]”}]],“】”}],”,“,”,”\[IndentingNewLine]“,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“24”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“30”}],“,”,行框[{“-”,“6”}]}],“]”}]],“,”,“,行框[{“{”,行框[{“3”,“,”,“”,RowBox[{“3”,“*”,“b”}],“,”,“,”,“3”}],“}”}],“]”}],“,”,行框[{“{”,“}”}]}],“]”}]{],“;”}],”\[IndentingNewLine]“,“\[缩进新行]”,行框[{“(*”,“”,行框[{“第二个”,“,”,“”,行框[{“some”,“”,“subsequences”,“”,“对应的”,“”,“to”,“”,“the”,“,”四“,”,“股”,“,”去“,”进入“,”,“完整”,“”,“扭曲”,“,”#3“,”,“in”,“,“,”的“,”,“,”,“*)”}]}],“\[IndentingNewLine]”,行框[{“”,行框[{行框[{行框[{“Q1”,“[”,行框[{“a_”,“,”,“”,“b_”,“,”,“,”f“}],“]”}],”:=“,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“d”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”,“e”}],“+”,“12”}],行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“6”,“d”}],“+”,行框[{“2”、“e”}]、“+”、“18”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”、“e”}]、“+”、“20”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“2”,“e”}],“+”,“14”}],“]”}],“,”,“\[IndentingNewLine]”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“26”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“32”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“{”,行框[{“3”,“,”,“”,行框[{“3”,“*”,“d”}],“,”,“,行框[{“{”,“}”}]}],“]”}]2],“;”}]{],“\[IndentingNewLine]”,行框[{行框[{行框[{“Q2”,“[”,行框[{“a_”,“,”,“”,“b_”,“”、“f”}]、“]”}],“:=”,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“d”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“2”,“e”}],“+”,“16”}],行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”、“e”}]、“+”、“22”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“范围”,“[”,行框[{行框[{行框[{“6”,“d”}],“+”,“4”}],行框[{“-”,“6”}]}],“]”}]],“】”}],”,“,”,”\[IndentingNewLine]“,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“36”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”,“f”}],“+”,“30”}],行框[{“{”,行框[{“3”,“,”,“”,行框[{“3”,“*”,“d”}],“,”,“,行框[{“{”,“}”}]}],“]”}]{],“;”}],”\[IndentingNewLine]“,行框[{行框[{RowBox[{“Q3”,“[”,行框[{“a_”,“,”,“”,“b_”,“”、“f”}]、“]”}],“:=”,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“d”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”,“e”}],“+”,“10”}],行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“6”,“d”}],“+”,行框[{“2”、“e”}]、“+”、“16”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,RowBox[{“4”,“f”}],“+”,“28”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“34”}],“,”,“,行框[{“-”,“6”}]}],“]”}]],“】”}],”,“,”,”\[IndentingNewLine]“,行框[{“-”,行框[{“范围”,“[”,行框[{“12”,“,”,行框[{行框[{“6”,“d”}],“+”,“6”}],行框[{“{”,行框[{“3”,“,”,“”,行框[{“3”,“*”,“d”}],“,”,“,行框[{“{”,“}”}]}],“]”}]{],“;”}],”\[IndentingNewLine]“,行框[{行框[{行框[{行框[{“Q4”,“[”,行框[{“a_”,“,”,“”,“b_”,“,”,“,”f“}],“]”}],”:=“,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“d”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“2”,“e”}],“+”,“18”}],行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”、“e”}]、“+”、“24”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“6”,“d”}],“+”,行框[{“2”、“e”}]、“+”、“14”}],“,”,行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”,“e”}],“+”,“8”}],“]”}],“,”,“\[IndentingNewLine]”,行框[{“范围”,“[”,行框[{行框[{行框[{“6”、“d”}]、“+”、“2”}],“,”、“8”、“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“{”,行框[{“3”,“,”,“”,行框[{“3”,“*”,“d”}],“,”,“,行框[{“{”,“}”}]}],“]”}]{],“;”}],”\[IndentingNewLine]“,“\[缩进新行]”,行框[{“(*”,行框[{“现在”,“,”,“”,行框[{“the”,“”,“DT”,“,”code“,”,“for”,“,“图片”}]}]“,”“,”*)“}]}],”\[IndentingNewLine]“,行框[{行框[{行框[{“g”,“[”,行框[{“a_”,“,”,“,”,“b_”,“,”,“c_”,“,”,“d_”,“,”,“e_”,“,”,“,”,“f_”,“,”,“,”,“delta_”,“,”,“”,“epsilon_”,行框[{“联接”,“[”,“”,行框[{行框[{“{”,行框[{行框[{“-”,RowBox[{“(”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“2”、“f”}]、“+”、“28”}],“)”}]],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,“24”}],行框[{“-”,RowBox[{“(”,行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“6”,“d”}],“+”,“10”}],行框[{“delta”,“*”,行框[{“Q1”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“{”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“2”,“e”}],“+”,“20”}],行框[{“beta”,“*”,行框[{“R1”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“gamma”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,RowBox[{“4”,“f”}],“+”,“28”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“30”}],“,”,“,行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“{”,行框[{行框[{“-”,“4”}],“,”,“”,行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”,“e”}],“+”,“14”}]}],行框[{“epsilon”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,“20”}],行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,RowBox[{“2”,“e”}],“+”,“22”}],“,”,“,行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“delta”,“*”,行框[{“Q2”,“[”,行框[{“a”、“”、“、”、“b”、“,”、“,“f”}]“,”“,”]“}]}],”,“,”,行框[{“{”,行框[{行框[{“-”,RowBox[{“(”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”、“e”}]、“+”、“22”}],“)”}]],“,”,“,行框[{行框[{“6”,“b”}],“+”,行框[{“6”,“d”}],“+”,RowBox[{“2”,“c”}],“+”,“8”}],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“2”,“f”}],“+”,“26”}]}],行框[{“alpha”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“30”}],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“24”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“32”}],“,”,行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“beta”,“*”,行框[{“R2”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“delta”,“*”,RowBox[{“Q3”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“{”,行框[{行框[{“-”,RowBox[{“(”,行框[{行框[{“2”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“30”}],“)”}]],“,”,“,行框[{“-”,RowBox[{“(”,行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“6”,“d”}],“+”,行框[{“2”,“e”}],“+”,“12”}],行框[{“epsilon”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“6”,“d”}],“+”,行框[{“2”,“e”}],“+”,“10”}],行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“6”、“d”}]、“+”、“12”}],“,”,“,行框[{“-”,“2”}]}],“]”}]],“,”,行框[{“{”,行框[{“6”,“,”,“”,行框[{“-”,RowBox[{“(”,行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”,“e”}],“+”,“16”}],行框[{“phi”,“*”,行框[{“范围”,“[”,“”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“4”、“f”}]、“+”、“28”}],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“2”,“f”}],“+”,“30”}],行框[{“-”,“2”}]}],“]”}]],“,”,行框[{“{”,行框[{行框[{“-”,“2”}],“,”,“”,行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”,“e”}],“+”,“18”}]}],行框[{“phi”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“2”、“f”}]、“+”、“24”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“18”,“d”}],“+”,RowBox[{“4”,“e”}],“+”,“26”}],“,”,“,行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“gamma”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“6”,“b”}],“+”,行框[{“6”,“d”}],“+”,行框[{“2”,“c”}],“+”,“6”}],行框[{行框[{“6”,“b”}],“+”,行框[{“6”、“d”}]、“+”、“8”}],“,”,“,行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“beta”,“*”,行框[{“R3”,“[”,行框[{“a”、“”、“、”、“b”、“,”、“,“,”“f”“}],”“]”“}]}],“,”,“,行框[{“delta”,“*”,行框[{“Q4”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“beta”,“*”,RowBox[{“R4”,“[”,行框[{“a”、“”、“、”、“b”、“,”、“,“,”f“}],”]“}]}],“,”,行框[{“alpha”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,行框[{“2”,“e”}],“+”,“18”}],行框[{行框[{“6”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“12”,“d”}],“+”,RowBox[{“2”,“e”}],“+”,“20”}],“,”,“,行框[{“-”,“2”}]}],“]”}]]}],CellGroupingRules->{“GroupTogetherGrouping”,10001.},CellChangeTimes->{{3.7919294785080147`*^9,3.791929551094633*^9}{3.791929983245432*^9, 3.791930111988575*^9}, {3.7919301476735773`*^9, 3.7919301749451323`*^9}, 3.7919303787298803`*^9, {3.791930699712626*^9, 3.791930717053873*^9}, 3.791961939012686*^9, 3.792960436730441*^9, {3.800647757704282*^9, 3.8006480381597*^9}, {3.800649862820567*^9, 3.800650120062195*^9}, {3.800650519648409*^9, 3.800650532394741*^9}, {3.8006505804934397`*^9, 3.800650648889776*^9}, {3.800650692753923*^9, 3.800650881387114*^9}, {3.800650911479178*^9, 3.800651103098151*^9}, {3.8006511848010473`*^9, 3.800651368827395*^9}, {3.800651411876966*^9, 3.800651606010651*^9}, {3.80065183513593*^9, 3.800651917292758*^9}, {3.800665459487466*^9, 3.800665918514978*^9}, {3.8006659531286573`*^9, 3.800666019242218*^9}, {3.8006662340481663`*^9, 3.800666673729999*^9}, {3.8007047143670483`*^9, 3.8007047209810677`*^9}, 3.800704833437791*^9, {3.8007195917581377`*^9, 3.800719595505872*^9}, {3.8007217752564*^9, 3.800721778202924*^9}, {3.800734106525305*^9, 3.800734109908805*^9}, 3.800734837236082*^9, {3.800810873491729*^9, 3.800810875677815*^9}, {3.8014886526487207`*^9, 3.8014886532600927`*^9}, 3.801488839672432*^9}],单元格[BoxData[行框[{行框[{行框[{“KG”,“[”,行框[{“x_”,“,”,“,”,“y_”,“,”,“,”,“z_”,“,”,“u_”,“,”,“v_”,“,”,“,”w_“}],“]”}],”“,”=“,”“,行框[{“-”,行框[{“g”,“[”,行框[{行框[{“Abs”,“[”,“x”,“]”}],“,”,“,行框[{“Abs”,“[”,“y”,“]”}],“,”,“,行框[{“Abs”,“[”,“z”,“]”}],“,”,“,行框[{“Abs”,“[”,“u”,“]”}],“,”,“,行框[{“Abs”,“[”,“v”,“]”}],“,”,“,行框[{“Abs”,“[”,“w”,“]”}],“,”,“,行框[{“符号”,“[”,“x”,“]”}],“,”,“,行框[{“-”,行框[{“符号”,“[”,“y”,“]”}]}],“,”,“,行框[{“-”,行框[{“符号”,“[”,“z”,“]”}]}],“,”,“,行框[{“-”,行框[{“符号”,“[”,“u”,“]”}]}],“,”,“,行框[{“-”,行框[{“符号”,“[”,“v”,“]”}]}],“,”,“,行框[{“-”,行框[{“符号”,“[”,“w”,“]”}]}]}],“]“}]}]}]”,“;”}]],“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10001.},单元格更改时间->{{3.791932307763462*^9,3.7919323116098013`*^9},3.791961520407537*^9, 3.791961558770062*^9, {3.80065161745605*^9, 3.800651659788094*^9}, {3.800722632452594*^9, 3.800722643399664*^9}, 3.8007324562155943`*^9, 3.800732605956201*^9, 3.800810881212536*^9, 3.801488839672574*^9, {3.802182126667712*^9, 3.80218214455976*^9}, 3.802182229688108*^9, 3.814714065937334*^9}],单元格[BoxData[行框[{“(*”,“”,行框[{“The”,“”,“DT”,“,”code“,”,“for”,“,“结”,“”,“来自”,“,”,“的”,“相同”,““”,”RBG“,”“,”链接“}],“”,“*)”}]],“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10001.},单元格更改时间->{{3.79192941617704*^9,3.79192916544324*^9}{3.800647608188767*^9, 3.8006476088617773`*^9}, {3.801168013460702*^9, 3.8011680140963087`*^9}, 3.801488839672749*^9, {3.814714019280528*^9, 3.814714022677466*^9}}],单元格[BoxData[行框[{行框[{“(*”,“”,行框[{“第一个”,“,”,“”,行框[{“some”,“”,“subsequences”,“”,“对应的”,“”,“to”,“”,“the”,“,”四“,”,“股”,“,”去“,”进入“,”,“完全”,“”,“扭曲”,“,”#1“,”,“在”,“,“,”的“,”,“,”,“\[IndentingNewLine]”,“}]],“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10001.},单元格更改时间->{{3.791929419695365*^9,3.791929764645987`*^9}{3.800647637431157*^9, 3.800647649145211*^9}, {3.800647707684535*^9, 3.800647719759046*^9}, 3.8014888396728888`*^9}],单元格[BoxData[{行框[{行框[{RowBox[{“RR1”,“[”,行框[{“a_”,“,”,“”,“b_”,“”、“f”}]、“]”}],“:=”,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“b”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”、“f”}]、“+”、“14”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”,“f”}],“+”,“8”}],行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”、“f”}]、“+”、“10”}],“,”,行框[{行框[{“4”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”,“f”}],“+”,“16”}],行框[{“-”,“6”}]}],“]”}]],“】”}],”,“,”,”\[IndentingNewLine]“,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“16”}],行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”、“f”}]、“+”、“22”}],“,”,行框[{“-”,“6”}]}],“]”}]],“,”,“,行框[{“{”,行框[{“3”,“,”,“”,RowBox[{“3”,“*”,“b”}],“,”,“,”,“3”}],“}”}],“]”}],“,”,行框[{“{”,“}”}]}],“]”}]],“;”}],”\n“,行框[{行框[{行框[{“RR2”,“[”,行框[{“a_”,“,”,“”,“b_”,“”、“f”}]、“]”}],“:=”,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“b”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“-”,行框[{“范围”,“”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”、“f”}]、“+”、“12”}],“,”,行框[{行框[{“4”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”,“f”}],“+”,“18”}],行框[{“-”,“6”}]}],“]”}]],“,”,“,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“18”}],行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“24”}],行框[{“-”,“6”}]}],“]”}]],“】”}],”,“,”,”\[IndentingNewLine]“,行框[{“范围”,“[”,行框[{“10”,“,”,“”,行框[{行框[{“6”,“b”}],“+”,“4”}],行框[{“{”,行框[{“3”,“,”,“”,RowBox[{“3”,“*”,“b”}],“,”,“,”,“3”}],“}”}],“]”}],“,”,行框[{“{”,“}”}]}],“]”}]{],“;”}],”\[IndentingNewLine]“,行框[{行框[{行框[{“RR3”,“[”,行框[{“a_”,“,”,“”,“b_”,“”、“f”}]、“]”}],“:=”,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“b”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“6”,“b”}],“+”,“6”}],行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”、“f”}]、“+”、“10”}],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”,“f”}],“+”,“16”}],行框[{“-”,“6”}]}],“]”}]]}],“\[缩进新行]”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“26”}],行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“20”}],行框[{“{”,行框[{“3”,“,”,“”,RowBox[{“3”,“*”,“b”}],“,”,“,”,“3”}],“}”}],“]”}],“,”,行框[{“{”,“}”}]}],“]”}]],“;”}],”\n“,行框[{行框[{行框[{行框[{“RR4”,“[”,行框[{“a_”,“,”,“”,“b_”,“,”,“,”f“}],“]”}],”:=“,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“b”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”、“f”}]、“+”、“14”}],“,”,“,行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”,“f”}],“+”,“8”}],行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“6”、“b”}]、“+”、“2”}],“,”、“8”、“,”,行框[{“-”,“6”}]}],“]”}]]}],“\[缩进新行]”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”、“f”}]、“+”、“6”}],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”、“f”}]、“+”、“12”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“{”,行框[{“3”,“,”,“”,RowBox[{“3”,“*”,“b”}],“,”,“,”,“3”}],“}”}],“]”}],“,”,行框[{“{”,“}”}]}],“]”}]{],“;”}],”\[IndentingNewLine]“,“\[缩进新行]”,行框[{“(*”,“”,行框[{“第二个”,“,”,“”,行框[{“some”,“”,“subsequences”,“”,“对应的”,“”,“to”,“”,“the”,“,”四“,”,“股”,“,”去“,”进入“,”,“完全”,“”,“扭转”,“,”#5“,”,“on”,“,“,”的“,”,“,”,“*)”}]}],“\[IndentingNewLine]”,行框[{“”,行框[{行框[{行框[{“QQ1”,“[”,行框[{“a_”,“,”,“”,“b_”,“,”,“,”f“}],“]”}],”:=“,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“f”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”、“f”}]、“+”、“12”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”、“f”}]、“+”、“18”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”、“f”}]、“+”、“20”}],“,”,“,行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,RowBox[{“18”,“f”}],“+”,“14”}],“,”,“,”6“}],“]”}]}],“]”}],“,”,“\[IndentingNewLine]”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“24”、“f”}]、“+”、“26”}],“,”,行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“18”、“f”}]、“+”、“32”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“{”,行框[{“3”,“,”,“”,行框[{“3”,“*”,“f”}],“,”,“,行框[{“{”,“}”}]}],“]”}]2],“;”}]{],“\[IndentingNewLine]”,行框[{行框[{RowBox[{“QQ2”,“[”,行框[{“a_”,“,”,“”,“b_”,“”、“f”}]、“]”}],“:=”,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“f”,“>”,“”,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”、“f”}]、“+”、“16”}],“,”,行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”,“f”}],“+”,“22”}],行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“6”、“f”}]、“+”、“4”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“6”、“b”}]、“+”、“10”}],“,”,“,行框[{“-”,“6”}]}],“]”}]],“】”}],”,“,”,”\[IndentingNewLine]“,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“18”,“f”}],“+”,“36”}],行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“4”,“e”}],“+”,RowBox[{“24”,“f”}],“+”,“30”}],“,”,“6”}],“]”}],“,”,行框[{“{”,行框[{“3”,“,”,“”,行框[{“3”,“*”,“f”}],“,”,“,行框[{“{”,“}”}]}],“]”}]{],“;”}],”\[IndentingNewLine]“,行框[{行框[{行框[{“QQ3”,“[”,行框[{“a_”,“,”,“”,“b_”,“”、“f”}]、“]”}],“:=”,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“f”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”、“f”}]、“+”、“10”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,RowBox[{“6”,“f”}],“+”,“16”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“24”、“f”}]、“+”、“28”}],“,”,行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“18”,“f”}],“+”,“34”}],行框[{“-”,“6”}]}],“]”}]],“】”}],”,“,”,”\[IndentingNewLine]“,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,RowBox[{“6”,“b”}],“+”,“12”}],“,”,行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“6”,“f”}],“+”,“6”}],行框[{“{”,行框[{“3”,“,”,“”,行框[{“3”,“*”,“f”}],“,”,“,行框[{“{”,“}”}]}],“]”}]{],“;”}],”\[IndentingNewLine]“,行框[{行框[{行框[{行框[{“QQ4”,“[”,行框[{“a_”,“,”,“”,“b_”,“,”,“,”f“}],“]”}],”:=“,行框[{“如果”,“”,“[”,“,”,行框[{行框[{“f”,“”,“>”,“,“0”}],“,”,“,RowBox[{“Riffle”,“[”,“\[InditingNewLine]”,行框[{行框[{“Riffle”,“[”,“”,行框[{行框[{“范围”,“”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”、“f”}]、“+”、“18”}],“,”,行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”,“f”}],“+”,“24”}],行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“-”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”、“f”}]、“+”、“14”}],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”,“f”}],“+”,“8”}],“]”}],“,”,“\[IndentingNewLine]”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“6”、“f”}]、“+”、“2”}],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“6”、“b”}]、“+”、“8”}],“,”,行框[{“-”,“6”}]}],“]”}],”,“,”,行框[{“{”,行框[{“3”,“,”,“”,行框[{“3”,“*”,“f”}],“,”,“,行框[{“{”,“}”}]}],“]”}]{],“;”}],”\[IndentingNewLine]“,“\[缩进新行]”,行框[{“(*”,行框[{“现在”,“,”,“”,行框[{“the”,“”,“DT”,“,”code“,”,“for”,“,“图片”}]}]“,”“,”*)“}]}],”\[IndentingNewLine]“,行框[{行框[{行框[{“gg”,“[”,行框[{“a_”,“,”,“,”,“b_”,“,”,“c_”,“,”,“d_”,“,”,“e_”,“,”,“,”,“f_”,“,”,“,”,“delta_”,“,”,“”,“epsilon_”,行框[{“联接”,“[”,“”,行框[{行框[{“{”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“18”,“f”}],“+”,“28”}],行框[{“-”,RowBox[{“(”,行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“6”、“f”}]、“+”、“10”}],“)”}]],“,”,“,行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“d”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“24”}]}],行框[{“beta”,“*”,RowBox[{“RR1”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“alpha”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”,“f”}],“+”,“12”}],行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”、“f”}]、“+”、“14”}],“,”,“,行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“phi”,“*”,行框[{“QQ1”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“{”,行框[{行框[{“-”,RowBox[{“(”,行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,RowBox[{“18”,“f”}],“+”,“20”}],“)”}]}],“,”,“,行框[{“-”,“2”}],“,”,“”,行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”,“f”}],“+”,“16”}]}],行框[{“epsilon”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“18”,“f”}],“+”,“24”}],行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“26”}],行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“beta”,“*”,行框[{“RR2”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“gamma”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“20”}],行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“22”}],行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“phi”,“*”,RowBox[{“QQ2”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“alpha”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,“6”}],行框[{行框[{“6”、“b”}]、“+”、“8”}],“,”,“,行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“beta”,“*”,行框[{“RR3”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“{”,行框[{行框[{“-”,RowBox[{“(”,行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“d”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”、“f”}]、“+”、“22”}],“)”}]],“,”,“,行框[{“-”,RowBox[{“(”,行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“4”,“e”}],“+”,行框[{“18”、“f”}]、“+”、“26”}],“)”}]],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“6”,“f”}],“+”,“8”}]}],行框[{“phi”,“*”,行框[{“QQ3”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“{”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“4”,“e”}],“+”,RowBox[{“18”,“f”}],“+”,“30”}],“,”,“,RowBox[{“(”,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”,“f”}],“+”,“12”}],行框[{“gamma”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”、“f”}]、“+”、“10”}],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“12”,“b”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”、“f”}]、“+”、“12”}],“,”,“,行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“beta”,“*”,行框[{“RR4”,“[”,行框[{“a”,“,”,“b”,“,"]"}]}], ",", " ", 行框[{“delta”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“4”,“d”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“24”}],行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“d”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“26”}],行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“{”,行框[{“6”,“,”,“”,行框[{“-”,“”,RowBox[{“(”,行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”,“f”}],“+”,“14”}],行框[{“delta”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“d”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“20”}],行框[{行框[{“4”,“a”}],“+”,行框[{“24”,“b”}],“+”,行框[{“4”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“18”,“f”}],“+”,“22”}],行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“epsilon”,“*”,行框[{“范围”,“[”,行框[{行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“2”,“e”}],“+”,行框[{“6”、“f”}]、“+”、“10”}],“,”,“,行框[{行框[{“2”,“a”}],“+”,行框[{“6”,“b”}],“+”,行框[{“6”、“f”}]、“+”、“12”}],“,”,“,行框[{“-”,“2”}]}],“]”}]],“,”,“,行框[{“{”,RowBox[{“4”,“,”,“,”,行框[{“-”,RowBox[{“(”,行框[{行框[{“4”,“a”}],“+”,行框[{“18”,“b”}],“+”,行框[{“2”,“c”}],“+”,行框[{“2”,“e”}],“+”,行框[{“12”,“f”}],“+”,“18”}],行框[{“phi”,“*”,行框[{“QQ4”,“[”,行框[{“a”,“,”,“b”,“,“]”}]}]}],“\[IndentingNewLine]”,“]”{]}]、“;”}]{],“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10001.},CellChangeTimes->{{3.7919294785080147`*^9,3.791929551094633*^9}{3.791929983245432*^9, 3.791930111988575*^9}, {3.7919301476735773`*^9, 3.7919301749451323`*^9}, 3.7919303787298803`*^9, {3.791930699712626*^9, 3.791930717053873*^9}, 3.791961939012686*^9, 3.792960436730441*^9, {3.800647757704282*^9, 3.8006480381597*^9}, {3.800649862820567*^9, 3.800650120062195*^9}, {3.800650519648409*^9, 3.800650532394741*^9}, {3.8006505804934397`*^9, 3.800650648889776*^9}, {3.800650692753923*^9, 3.800650881387114*^9}, {3.800650911479178*^9, 3.800651103098151*^9}, {3.8006511848010473`*^9, 3.800651368827395*^9}, {3.800651411876966*^9, 3.800651606010651*^9}, {3.80065183513593*^9, 3.800651917292758*^9}, {3.800665459487466*^9, 3.800665918514978*^9}, {3.8006659531286573`*^9, 3.800666019242218*^9}, {3.8006662340481663`*^9, 3.800666673729999*^9}, {3.8007047143670483`*^9, 3.8007047209810677`*^9}, 3.800704833437791*^9, {3.8007195917581377`*^9, 3.800719595505872*^9}, {3.8007217752564*^9, 3.800721778202924*^9}, {3.800734106525305*^9, 3.800734109908805*^9}, 3.800734837236082*^9, {3.800810873491729*^9, 3.800810875677815*^9}, {3.8011681870799913`*^9, 3.8011681959240627`*^9}, {3.801168247140951*^9, 3.8011682587585993`*^9},{3.8011690114271297`*^9,3.80116940922106*^9}{3.801169448352906*^9, 3.801169556738041*^9}, {3.8011695933513002`*^9, 3.8011698598309402`*^9}, {3.801169898569138*^9, 3.8011701936257*^9}, {3.8011866358059387`*^9, 3.801186696070314*^9}, {3.801186727684444*^9, 3.8011870179413347`*^9}, {3.801187088573744*^9, 3.801187380055097*^9}, {3.801320548149588*^9, 3.8013205545267963`*^9}, {3.801320601872198*^9, 3.8013206057706337`*^9}, 3.801334773364489*^9, 3.801334881251565*^9, {3.801488724781843*^9, 3.801488786872405*^9}, 3.801488839673006*^9}],单元格[BoxData[行框[{行框[{RowBox[{“KB”,“[”,行框[{“x_”,“,”,“,”,“y_”,“,”,“,”,“z_”,“,”,“u_”,“,”,“v_”,“,”,“,”w_“}],“]”}],”“,”=“,”“,行框[{“-”,行框[{“gg”,“[”,行框[{行框[{“Abs”,“[”,“x”,“]”}],“,”,“,行框[{“Abs”,“[”,“y”,“]”}],“,”,“,行框[{“Abs”,“[”,“z”,“]”}],“,”,“,行框[{“Abs”,“[”,“u”,“]”}],“,”,“,行框[{“Abs”,“[”,“v”,“]”}],“,”,“,行框[{“Abs”,“[”,“w”,“]”}],“,”,“,行框[{“符号”,“[”,“x”,“]”}],“,”,“,行框[{“-”,行框[{“符号”,“[”,“y”,“]”}]}],“,”,“,行框[{“-”,行框[{“符号”,“[”,“z”,“]”}]}],“,”,“,行框[{“-”,行框[{“符号”,“[”,“u”,“]”}]}],“,”,“,行框[{“-”,行框[{“符号”,“[”,“v”,“]”}]}],“,”,“,行框[{“-”,行框[{“符号”,“[”,“w”,“]”}]}]}],“]“}]}]}]”,“;”}]],“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10001.},单元格更改时间->{{3.791932307763462*^9,3.7919323116098013`*^9},3.791961520407537*^9, 3.791961558770062*^9, {3.80065161745605*^9, 3.800651659788094*^9}, {3.800722632452594*^9, 3.800722643399664*^9}, 3.8007324562155943`*^9, 3.800732605956201*^9, 3.800810881212536*^9, {3.801168222426334*^9,3.801168222907827*^9},3.801319670095255*^9,3.801319920459217*^9, 3.801337239942457*^9, 3.801339392330204*^9, 3.8014887674813013`*^9, 3.801488839673164*^9, 3.802182224045311*^9, 3.814714060625059*^9}]},打开]],单元格[BoxData[行框[{“(*”,“”,行框[{“我们”,“”,“可以”,“计算”,“签名”,“,”和“,”,“s”,“,”不变量“,”“,”for“,”,“and”,“”,“KB”,“,”knots“,”“,”using“,”,“”、“the”、“”,“following”}]、“”和“*)”}]],“Input”,单元格更改时间->{{3.8147140342761307`*^9,3.8147140852181053`*^9}],单元格[BoxData[行框[{“展平”,“[”,行框[{“表”,“[”,行框[{行框[{“sInvariant”,“[”,行框[{“PD”,“[”,行框[{“DTCode”,“[”,行框[{行框[{“KB7”,“[”,行框[{“i”,“,”,“j”,“,“n”}],“]”}],“/.”,行框[{“List”,“\[Rule]”,“Sequence”}]}],“]”}]," ", 行框[{“{”,行框[{“i”,“,”,“”,“1”,“,行框[{“{”,行框[{“j”,“,”,“”,“1”,“,行框[{“{”,行框[{“k”,“,”,“”,行框[{“-”,“2”}],“,”,“”,行框[{“-”,“2”}]}],“}”}],”,“,”,行框[{“{”,RowBox[{“l”,“,”,“”,行框[{“-”,“1”}],“,”,行框[{“{”,行框[{“m”,“,”,“”,行框[{“-”,“2”}],“,”,行框[{“{”,行框[{“n”,“,”,“”,行框[{“-”,“1”}],“,”,“,单元格更改时间->{3.801588606157055*^9, 3.814714070014495*^9, {3.8147141634596577`*^9, 3.814714163770627*^9}, {3.8147143002013693`*^9, 3.814714301479875*^9}}],单元格[BoxData[行框[{“{”,行框[{"2", ",", "2", ",", "2", ",", "2", ",", "2", ",", "0", ",", "2", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "2", ",", "2", ",", "0", ",", "2", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "2", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0", ",", "0"}], “}”}]],“输入”,单元格更改时间->{3.8147141701864023`*^9, {3.814714304655005*^9, 3.814714310072219*^9}}]},窗口大小->{808,675},WindowMargins->{{自动,35},{自动,7}},FrontEndVersion->“11.0 for Mac OS X x86(32位、64位内核)(9月\21, 2016)",样式定义->“Default.nb”](*笔记本内容结束*)(*内部缓存信息*)(*单元格标签大纲单元格标签索引->{}*)(*单元格标签索引单元格标签索引->{}*)(*笔记本文件大纲笔记本[{单元格[CellGroupData[{单元格[580,22,215,4,32,“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10000.}],单元格[798,28152,3,32,“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10000。}]},打开]],手机[965,34,1358,20,44,“打印”],单元格[CellGroupData[{单元格[2348,58,491,9,32,“输入”,单元格分组规则->{“GroupTogetherGrouping”,10001.}],单元格[2842,69,672,13,75,“输入”,单元格分组规则->{“GroupTogetherGrouping”,10001.}],单元格[3517,84,27905,768,1314,“输入”,单元格分组规则->{“GroupTogetherGrouping”,10001.}],单元格[31425,854,1430,33,75,“输入”,单元格分组规则->{“GroupTogetherGrouping”,10001.}],单元格[32858,889,518,10,32,“输入”,单元格分组规则->{“GroupTogetherGrouping”,10001.}],单元格[33379,901,674,13,75,“输入”,单元格分组规则->{“GroupTogetherGrouping”,10001.}],手机[34056、916、28308、766、1335,“输入”,单元格分组规则->{“GroupTogetherGrouping”,10001.}],单元格[62367、1684、1552、35、75,“输入”,CellGroupingRules->{“GroupTogetherGrouping”,10001.}]},打开]],单元格[63934、1722、408、7、54,“输入”],单元格[64345,1731,1208,33,54,“输入”],单元格[65556、1766、621、11、54,“输入”]}]*)