Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 1461111706] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0347 geometric_solution 4.37262995 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.930274048400 0.136036343300 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.747755056152 0.314425057749 3 1 1 3 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 -1 0 1 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.283608937617 0.388673404231 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.082142571562 0.703095061743 6 5 3 5 0132 1023 0132 3012 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808086188927 1.196722991042 4 6 4 3 1023 2310 1230 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808086188927 1.196722991042 4 6 6 5 0132 3201 2310 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.387543580379 0.573926790268 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 18118276063076530854009284972377273/3548503233539095720218226334404\ 0*c_0101_3*c_0101_6^19 + 42902208416604908701444433793777177/354850\ 32335390957202182263344040*c_0101_3*c_0101_6^18 - 116061344364696961189470674065245181/887125808384773930054556583601\ 0*c_0101_3*c_0101_6^17 + 29953286380413652135323845583207283/177425\ 1616769547860109113167202*c_0101_3*c_0101_6^16 + 324898056475794256784257651402851813/177425161676954786010911316720\ 20*c_0101_3*c_0101_6^15 - 5126208611082300031231504914951650333/354\ 85032335390957202182263344040*c_0101_3*c_0101_6^14 + 13927707662236014990336278080686419099/3548503233539095720218226334\ 4040*c_0101_3*c_0101_6^13 - 1583280841226685282655923180020421259/7\ 097006467078191440436452668808*c_0101_3*c_0101_6^12 + 15738693852079507626088770598967877327/1774251616769547860109113167\ 2020*c_0101_3*c_0101_6^11 - 2582917169383762184870825759358412962/4\ 435629041923869650272782918005*c_0101_3*c_0101_6^10 + 10285240539289459173064878785106420921/3548503233539095720218226334\ 4040*c_0101_3*c_0101_6^9 - 18724455539677762541076330227318464479/3\ 5485032335390957202182263344040*c_0101_3*c_0101_6^8 - 64320021725586991885509042297826873/1774251616769547860109113167202\ *c_0101_3*c_0101_6^7 + 152726688950520482186299634269303882/4435629\ 041923869650272782918005*c_0101_3*c_0101_6^6 - 3434710662894566118760525621528880989/35485032335390957202182263344\ 040*c_0101_3*c_0101_6^5 + 3424450545355613390297263174812098751/354\ 85032335390957202182263344040*c_0101_3*c_0101_6^4 + 81823889011272886301245322364912147/7097006467078191440436452668808\ *c_0101_3*c_0101_6^3 + 880011533000587036219545848474824321/3548503\ 2335390957202182263344040*c_0101_3*c_0101_6^2 - 21686762741431881042193063787159947/7097006467078191440436452668808\ *c_0101_3*c_0101_6 - 193364468087503359981531730958920059/354850323\ 35390957202182263344040*c_0101_3, c_0011_0 - 1, c_0011_1 + 399772218715304836449434797296/88712580838477393005455658360\ 1*c_0101_6^19 - 679043797700510967859769033258/88712580838477393005\ 4556583601*c_0101_6^18 + 9880226993225784967128338666651/8871258083\ 84773930054556583601*c_0101_6^17 - 6745817932466839677104387580790/887125808384773930054556583601*c_01\ 01_6^16 - 16630960948217824399077955504495/887125808384773930054556\ 583601*c_0101_6^15 + 100803142984737571663894102293198/887125808384\ 773930054556583601*c_0101_6^14 - 244146595608060724641381783932724/\ 887125808384773930054556583601*c_0101_6^13 + 33682431182258112436671014018652/887125808384773930054556583601*c_0\ 101_6^12 - 723429733591399884845812304450363/8871258083847739300545\ 56583601*c_0101_6^11 - 31991276099343158701830193589471/88712580838\ 4773930054556583601*c_0101_6^10 - 407717630377118726190860914221095\ /887125808384773930054556583601*c_0101_6^9 + 111765177956431215256233661434759/887125808384773930054556583601*c_\ 0101_6^8 + 26470424962716324584817506944857/88712580838477393005455\ 6583601*c_0101_6^7 + 16022656357764320032475863433707/8871258083847\ 73930054556583601*c_0101_6^6 + 103128122272910452953751368001474/88\ 7125808384773930054556583601*c_0101_6^5 + 1041828755003959940028498703315/887125808384773930054556583601*c_01\ 01_6^4 + 12123210258265806484985092005066/8871258083847739300545565\ 83601*c_0101_6^3 - 7963082072397164568587932983229/8871258083847739\ 30054556583601*c_0101_6^2 - 1252632544299533441151293057647/8871258\ 08384773930054556583601*c_0101_6 + 460358753705547177009190761389/887125808384773930054556583601, c_0011_4 + 367151512431496250097354898519/88712580838477393005455658360\ 1*c_0101_3*c_0101_6^19 - 526621174597530276611088366219/88712580838\ 4773930054556583601*c_0101_3*c_0101_6^18 + 8936954021640337157443739013234/887125808384773930054556583601*c_01\ 01_3*c_0101_6^17 - 3866752399782511611141571586777/8871258083847739\ 30054556583601*c_0101_3*c_0101_6^16 - 16204615765417340781487722754674/887125808384773930054556583601*c_0\ 101_3*c_0101_6^15 + 87559941000270748501597615582633/88712580838477\ 3930054556583601*c_0101_3*c_0101_6^14 - 200943509175137022699800561753310/887125808384773930054556583601*c_\ 0101_3*c_0101_6^13 - 20115985728825960685264192501154/8871258083847\ 73930054556583601*c_0101_3*c_0101_6^12 - 677995666663472602243497271597667/887125808384773930054556583601*c_\ 0101_3*c_0101_6^11 - 193374101014254107857044332900357/887125808384\ 773930054556583601*c_0101_3*c_0101_6^10 - 424176531542068433219268643697423/887125808384773930054556583601*c_\ 0101_3*c_0101_6^9 + 39725020856292793532682557948530/88712580838477\ 3930054556583601*c_0101_3*c_0101_6^8 + 52639160329996993418459566500258/887125808384773930054556583601*c_0\ 101_3*c_0101_6^7 + 51652186447930921147174686564715/887125808384773\ 930054556583601*c_0101_3*c_0101_6^6 + 108184224382749549388490425465097/887125808384773930054556583601*c_\ 0101_3*c_0101_6^5 + 22539433217121718400449961970166/88712580838477\ 3930054556583601*c_0101_3*c_0101_6^4 + 17990043364617767971278963482774/887125808384773930054556583601*c_0\ 101_3*c_0101_6^3 - 8409514350753445829027141662688/8871258083847739\ 30054556583601*c_0101_3*c_0101_6^2 - 5161733869097179062384464355429/887125808384773930054556583601*c_01\ 01_3*c_0101_6 - 1040660003331807590970660054302/8871258083847739300\ 54556583601*c_0101_3, c_0101_1 - 743501702132228058614931369735/88712580838477393005455658360\ 1*c_0101_3*c_0101_6^19 + 1036370625026865513302078256903/8871258083\ 84773930054556583601*c_0101_3*c_0101_6^18 - 18019621934892517392442924804239/887125808384773930054556583601*c_0\ 101_3*c_0101_6^17 + 7026896733599484003314767095237/887125808384773\ 930054556583601*c_0101_3*c_0101_6^16 + 33989787428979763995324266082829/887125808384773930054556583601*c_0\ 101_3*c_0101_6^15 - 176822872128736889584350417901076/8871258083847\ 73930054556583601*c_0101_3*c_0101_6^14 + 397770866527801095587862904022919/887125808384773930054556583601*c_\ 0101_3*c_0101_6^13 + 67121736782538366659959747268227/8871258083847\ 73930054556583601*c_0101_3*c_0101_6^12 + 1351476632804889015689549798075129/887125808384773930054556583601*c\ _0101_3*c_0101_6^11 + 449719983476637070306543599689268/88712580838\ 4773930054556583601*c_0101_3*c_0101_6^10 + 828980283832155089473394256261756/887125808384773930054556583601*c_\ 0101_3*c_0101_6^9 - 29777548421412017966402520397707/88712580838477\ 3930054556583601*c_0101_3*c_0101_6^8 - 95791550092710197058423812236831/887125808384773930054556583601*c_0\ 101_3*c_0101_6^7 - 91246858436638446975786087597964/887125808384773\ 930054556583601*c_0101_3*c_0101_6^6 - 203799380969768705535290192216943/887125808384773930054556583601*c_\ 0101_3*c_0101_6^5 - 66361151028952587297189072907545/88712580838477\ 3930054556583601*c_0101_3*c_0101_6^4 - 31667590279660105559108630812646/887125808384773930054556583601*c_0\ 101_3*c_0101_6^3 + 11647174621522945034988219456062/887125808384773\ 930054556583601*c_0101_3*c_0101_6^2 + 7217449081901427929048484201678/887125808384773930054556583601*c_01\ 01_3*c_0101_6 + 2532615782596451326491366599537/8871258083847739300\ 54556583601*c_0101_3, c_0101_2 + 207681850265462223583621430819/88712580838477393005455658360\ 1*c_0101_6^19 - 241833789147069094990133449741/88712580838477393005\ 4556583601*c_0101_6^18 + 4944883898573398391194945977679/8871258083\ 84773930054556583601*c_0101_6^17 - 784252243294498277398817016876/887125808384773930054556583601*c_010\ 1_6^16 - 10469512818938750274396142321940/8871258083847739300545565\ 83601*c_0101_6^15 + 47250913228554442366011349645534/88712580838477\ 3930054556583601*c_0101_6^14 - 98686409389166158206098140784220/887\ 125808384773930054556583601*c_0101_6^13 - 49065125868319525826728330434620/887125808384773930054556583601*c_0\ 101_6^12 - 371809736055961285404358813580591/8871258083847739300545\ 56583601*c_0101_6^11 - 206455684670191156911537188875656/8871258083\ 84773930054556583601*c_0101_6^10 - 218749643895480566535855290608846/887125808384773930054556583601*c_\ 0101_6^9 - 21158293668733752851108768102061/88712580838477393005455\ 6583601*c_0101_6^8 + 56058004597108876148342945346943/8871258083847\ 73930054556583601*c_0101_6^7 + 31449558284566833118143251674626/887\ 125808384773930054556583601*c_0101_6^6 + 57785978410545358409796032227990/887125808384773930054556583601*c_0\ 101_6^5 + 26801679662973677973615481047230/887125808384773930054556\ 583601*c_0101_6^4 + 7010849171369396675061764075110/887125808384773\ 930054556583601*c_0101_6^3 - 3693127819371194061995044761353/887125\ 808384773930054556583601*c_0101_6^2 - 4864997911168551521804055826055/887125808384773930054556583601*c_01\ 01_6 - 367151512431496250097354898519/88712580838477393005455658360\ 1, c_0101_3^2 + 329987944946620267956735328594/887125808384773930054556583\ 601*c_0101_6^19 - 448468742037676669384170008254/887125808384773930\ 054556583601*c_0101_6^18 + 7974302548513517663881460616054/88712580\ 8384773930054556583601*c_0101_6^17 - 2827163340670132796960373079712/887125808384773930054556583601*c_01\ 01_6^16 - 15381812053701636203065037973525/887125808384773930054556\ 583601*c_0101_6^15 + 78102874666923866246218344629413/8871258083847\ 73930054556583601*c_0101_6^14 - 173672394091722193155261766794439/8\ 87125808384773930054556583601*c_0101_6^13 - 37553537141933420803560930901371/887125808384773930054556583601*c_0\ 101_6^12 - 596066752669990449438257311575513/8871258083847739300545\ 56583601*c_0101_6^11 - 223300470892639361280225755428771/8871258083\ 84773930054556583601*c_0101_6^10 - 356395115818037265898681098419458/887125808384773930054556583601*c_\ 0101_6^9 - 2966165465023094656224096694499/887125808384773930054556\ 583601*c_0101_6^8 + 59831986528042391711803362616517/88712580838477\ 3930054556583601*c_0101_6^7 + 30060643359149411895834322940935/8871\ 25808384773930054556583601*c_0101_6^6 + 93463039305658065269444561969897/887125808384773930054556583601*c_0\ 101_6^5 + 25478410556330914603017078993627/887125808384773930054556\ 583601*c_0101_6^4 + 13007597311156201560527354889235/88712580838477\ 3930054556583601*c_0101_6^3 - 5194503547131497107389822881388/88712\ 5808384773930054556583601*c_0101_6^2 - 4642542072435333667291520506312/887125808384773930054556583601*c_01\ 01_6 - 581127634106742968996446841491/88712580838477393005455658360\ 1, c_0101_6^20 - 2*c_0101_6^19 + 25*c_0101_6^18 - 24*c_0101_6^17 - 42*c_0101_6^16 + 267*c_0101_6^15 - 676*c_0101_6^14 + 214*c_0101_6^13 - 1713*c_0101_6^12 + 486*c_0101_6^11 - 593*c_0101_6^10 + 704*c_0101_6^9 + 201*c_0101_6^8 - 12*c_0101_6^7 + 209*c_0101_6^6 - 96*c_0101_6^5 - 24*c_0101_6^4 - 42*c_0101_6^3 - 4*c_0101_6^2 + 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB