Magma V2.19-8 Tue Aug 20 2013 16:18:02 on localhost [Seed = 2783197544] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2261 geometric_solution 5.68812015 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.431028355326 0.235625199075 2 0 3 0 0132 2310 0132 0132 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 -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.782730450634 0.740838255685 1 4 5 5 0132 0132 0132 3201 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 -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.427896633658 1.606583863827 5 5 4 1 2310 1023 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 1 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.427896633658 1.606583863827 3 2 6 6 2310 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 -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 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.047697751086 0.632254416046 3 2 3 2 1023 2310 3201 0132 0 0 0 0 0 0 0 0 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 -1 1 0 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.154799042334 0.581209628651 6 4 4 6 3012 3201 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.424532886322 0.850532811918 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 13435981582572936546332185672945249129431994242387510780188/1018548\ 2464614915556832731178725513621527249661486621910871*c_0101_3^30 + 229054924012557983884547575128496230782129410893717360934975/339516\ 0821538305185610910392908504540509083220495540636957*c_0101_3^28 + 988236392552158522094211646468067767617733840953761141664671/339516\ 0821538305185610910392908504540509083220495540636957*c_0101_3^26 + 14492511551142824660326291214043888091472911292711306614607569/2037\ 0964929229831113665462357451027243054499322973243821742*c_0101_3^24 - 64221358769900108457819271817944258294662349832060842962313462/33\ 95160821538305185610910392908504540509083220495540636957*c_0101_3^2\ 2 + 717577711288885760448735476435040241295050053243147133506764153\ /20370964929229831113665462357451027243054499322973243821742*c_0101\ _3^20 + 28790094684456452271091382831831108721200593093041780853487\ 8313/1131720273846101728536970130969501513503027740165180212319*c_0\ 101_3^18 + 23201935228343306589027213372482644636723114505473651014\ 92428183/1018548246461491555683273117872551362152724966148662191087\ 1*c_0101_3^16 - 775397607622126137665145136284260250547654923722592\ 7125190673689/11317202738461017285369701309695015135030277401651802\ 12319*c_0101_3^14 + 35538129679375603537245435959045090520890393189\ 432419832548589020/339516082153830518561091039290850454050908322049\ 5540636957*c_0101_3^12 + 278556988163838546324517202569985919637349\ 3437285709006681517195/75448018256406781902464675397966767566868516\ 0110120141546*c_0101_3^10 - 910103581556666959206377802616518742184\ 1119843662419914108701141/20370964929229831113665462357451027243054\ 499322973243821742*c_0101_3^8 - 16717300727656551341866382065297315\ 42011390322232819147096954947/6790321643076610371221820785817009081\ 018166440991081273914*c_0101_3^6 - 351866555019127173406624536767633868502834641375894675151339570/101\ 85482464614915556832731178725513621527249661486621910871*c_0101_3^4 - 118973853585109023537839051238561292241310815715787308656257709/2\ 0370964929229831113665462357451027243054499322973243821742*c_0101_3\ ^2 - 506174609623623849798171085396065941726371725773819564622275/7\ 54480182564067819024646753979667675668685160110120141546, c_0011_0 - 1, c_0011_1 - 2290366010484034899452627326287691259801897061423139253/8280\ 8800525324516722217326656304988792904468792574161877*c_0101_3^30 + 39031080729212930885552839744659690080122198559344184374/2760293350\ 8441505574072442218768329597634822930858053959*c_0101_3^28 + 169224575626391595868161428781606433533897353709520038026/276029335\ 08441505574072442218768329597634822930858053959*c_0101_3^26 + 1243745244559864149754134598732850425144922820471293179664/82808800\ 525324516722217326656304988792904468792574161877*c_0101_3^24 - 10941232499640702121127800387505005643969074017953086053238/2760293\ 3508441505574072442218768329597634822930858053959*c_0101_3^22 + 60512775712316944710632791750942913367733193682246531592726/8280880\ 0525324516722217326656304988792904468792574161877*c_0101_3^20 + 49248756846355364725582388878971872413905132673799703552151/9200977\ 836147168524690814072922776532544940976952684653*c_0101_3^18 + 403302666973408197549353129417635829851428312586110002843206/828088\ 00525324516722217326656304988792904468792574161877*c_0101_3^16 - 1321440937389357213637968468368959397321581291484245040757983/92009\ 77836147168524690814072922776532544940976952684653*c_0101_3^14 + 5980197321556754271729194035931563185224612654215107377361439/27602\ 933508441505574072442218768329597634822930858053959*c_0101_3^12 + 765852758143481520082811834847748698798421173186276862713421/920097\ 7836147168524690814072922776532544940976952684653*c_0101_3^10 - 885888619585940957027735177790200543849375596124833752615068/828088\ 00525324516722217326656304988792904468792574161877*c_0101_3^8 - 149661707612997756363853942093876142286210644577177222662918/276029\ 33508441505574072442218768329597634822930858053959*c_0101_3^6 - 52251105249903685015866219142260732650656212896860784122492/8280880\ 0525324516722217326656304988792904468792574161877*c_0101_3^4 - 9761580783690963902366785824125681230631844366766293366418/82808800\ 525324516722217326656304988792904468792574161877*c_0101_3^2 - 137235919493556892878597749133482121841985937869424793078/920097783\ 6147168524690814072922776532544940976952684653, c_0011_3 - 126002412282508213054576709895596510542138714389662811815/33\ 95160821538305185610910392908504540509083220495540636957*c_0101_3^3\ 0 + 2150513089294276332772323996105609047893185095125455591856/1131\ 720273846101728536970130969501513503027740165180212319*c_0101_3^28 + 9142501832276262001454574068690249227826234305461271541921/11317202\ 73846101728536970130969501513503027740165180212319*c_0101_3^26 + 66398976703146559180364808794173446521786015906521544659538/3395160\ 821538305185610910392908504540509083220495540636957*c_0101_3^24 - 603501950933667684461904298075981662497816242721207011708831/113172\ 0273846101728536970130969501513503027740165180212319*c_0101_3^22 + 3470247814132888580794437193353091008988964825171579069926267/33951\ 60821538305185610910392908504540509083220495540636957*c_0101_3^20 + 2676377451312747103868880650099191109893784658140989261123446/37724\ 0091282033909512323376989833837834342580055060070773*c_0101_3^18 + 20380747008713380630168977452136308070860269186287320584230046/3395\ 160821538305185610910392908504540509083220495540636957*c_0101_3^16 - 72833260766790933168117964831098059268550696762535181713993979/3772\ 40091282033909512323376989833837834342580055060070773*c_0101_3^14 + 346001556308423225585462666996240308968296976978016983329279989/113\ 1720273846101728536970130969501513503027740165180212319*c_0101_3^12 + 32067596537382807869236926006573702226357324584279655179998827/37\ 7240091282033909512323376989833837834342580055060070773*c_0101_3^10 - 52999158690159060440049710970482402369974478939939046175041056/33\ 95160821538305185610910392908504540509083220495540636957*c_0101_3^8 - 6587778188388617434327139879756149881275237917630301608994996/113\ 1720273846101728536970130969501513503027740165180212319*c_0101_3^6 - 2384279784077029784950821331788039914109711124527066578652493/33951\ 60821538305185610910392908504540509083220495540636957*c_0101_3^4 - 445821144780080616210696285323722521370825988422370042992186/339516\ 0821538305185610910392908504540509083220495540636957*c_0101_3^2 - 5323921666882746653229301025030293379222821466450763104158/37724009\ 1282033909512323376989833837834342580055060070773, c_0011_6 - 1163281917031398244105101207096212868130501672670277037/8280\ 8800525324516722217326656304988792904468792574161877*c_0101_3^30 + 19854371559560681099147657581806672459822279491046592352/2760293350\ 8441505574072442218768329597634822930858053959*c_0101_3^28 + 84386775085587182538040411223716157700294506835476341048/2760293350\ 8441505574072442218768329597634822930858053959*c_0101_3^26 + 612808093839640060338977359394137497071221794753362524918/828088005\ 25324516722217326656304988792904468792574161877*c_0101_3^24 - 5571804243717287940460256326000066365570197177797231576103/27602933\ 508441505574072442218768329597634822930858053959*c_0101_3^22 + 32054088335743524592521841007749129912070703937981127687558/8280880\ 0525324516722217326656304988792904468792574161877*c_0101_3^20 + 24704477085102886570851251272288586430781215209371041911728/9200977\ 836147168524690814072922776532544940976952684653*c_0101_3^18 + 187970625663365984002128592705246916888414101478877274187090/828088\ 00525324516722217326656304988792904468792574161877*c_0101_3^16 - 672417713255964788939877064370035402287577459192346719060777/920097\ 7836147168524690814072922776532544940976952684653*c_0101_3^14 + 3196285620995102647470937584114176940729087658739781704132693/27602\ 933508441505574072442218768329597634822930858053959*c_0101_3^12 + 294662089641271181607560983431325005305390452409811993091398/920097\ 7836147168524690814072922776532544940976952684653*c_0101_3^10 - 486028998231468937615711298995898968182335058512201090909401/828088\ 00525324516722217326656304988792904468792574161877*c_0101_3^8 - 60205213447278958676509560532276254583743091096983083393113/2760293\ 3508441505574072442218768329597634822930858053959*c_0101_3^6 - 22224655774637828823066606079329517528103107756429928249837/8280880\ 0525324516722217326656304988792904468792574161877*c_0101_3^4 - 4252629269281836758391909838592386046986074952725897755285/82808800\ 525324516722217326656304988792904468792574161877*c_0101_3^2 - 50697069627756075528863365567502302058955388533468317174/9200977836\ 147168524690814072922776532544940976952684653, c_0101_0 + 5306883750141349805507245564079920259611317995602622719/1018\ 5482464614915556832731178725513621527249661486621910871*c_0101_3^31 - 97154875378688100207393840989018324635226363066244856127/33951608\ 21538305185610910392908504540509083220495540636957*c_0101_3^29 - 47158226000092341060679762700887483053542580462707016520/3395160821\ 538305185610910392908504540509083220495540636957*c_0101_3^27 + 1356462199666440459728270936220978061938623316394402741316/10185482\ 464614915556832731178725513621527249661486621910871*c_0101_3^25 + 28685769999687283030538586319066938093534376090796832907664/3395160\ 821538305185610910392908504540509083220495540636957*c_0101_3^23 - 431269343203719814953949760501251390880142702925469418820958/101854\ 82464614915556832731178725513621527249661486621910871*c_0101_3^21 - 47790146037101581266982059389547626188439543106790963390009/1131720\ 273846101728536970130969501513503027740165180212319*c_0101_3^19 + 2834516676267957136416732998717196460513121345323776425480944/10185\ 482464614915556832731178725513621527249661486621910871*c_0101_3^17 + 3363232127858895477823880997809005458601475525887053421834445/11317\ 20273846101728536970130969501513503027740165180212319*c_0101_3^15 - 48944040274632067063142002787901990391419906259403051708226779/3395\ 160821538305185610910392908504540509083220495540636957*c_0101_3^13 + 18355282527627230159595816404992783489240206363953635300846423/1131\ 720273846101728536970130969501513503027740165180212319*c_0101_3^11 + 22896405667198135622455199987554571796311336589828607711669426/1018\ 5482464614915556832731178725513621527249661486621910871*c_0101_3^9 - 4001280456628266795691681219971713180077996137437747367789194/33951\ 60821538305185610910392908504540509083220495540636957*c_0101_3^7 - 798800832023941205414056722760659780142372931694992501496937/101854\ 82464614915556832731178725513621527249661486621910871*c_0101_3^5 - 116872905784636638691976784315169182095931286339283420279554/101854\ 82464614915556832731178725513621527249661486621910871*c_0101_3^3 - 6256227813392807006709940375375344645587224478925388187354/11317202\ 73846101728536970130969501513503027740165180212319*c_0101_3, c_0101_1 + 1907514790675051126634191100247200956777073345351313644/8280\ 8800525324516722217326656304988792904468792574161877*c_0101_3^30 - 32578973638792973967272711172934917349396204004895815563/2760293350\ 8441505574072442218768329597634822930858053959*c_0101_3^28 - 137224958124250934050600573710671966798819608446174029780/276029335\ 08441505574072442218768329597634822930858053959*c_0101_3^26 - 990952867145831188524457157669973233860475556113080242992/828088005\ 25324516722217326656304988792904468792574161877*c_0101_3^24 + 9147322864250662820523283253000988178927890501697317180820/27602933\ 508441505574072442218768329597634822930858053959*c_0101_3^22 - 53532301146803657432222042737788683864622697108380279820927/8280880\ 0525324516722217326656304988792904468792574161877*c_0101_3^20 - 40282491736119474215967723293638330183920410365859971379362/9200977\ 836147168524690814072922776532544940976952684653*c_0101_3^18 - 295807511253475697313470209341645451260636669152971499587561/828088\ 00525324516722217326656304988792904468792574161877*c_0101_3^16 + 1103536347065537256273308962517418527466037596645679798019839/92009\ 77836147168524690814072922776532544940976952684653*c_0101_3^14 - 5358134276662620112804491496071045799522513613753908124941108/27602\ 933508441505574072442218768329597634822930858053959*c_0101_3^12 - 413869297305746043483629141498661083595196813635942166634209/920097\ 7836147168524690814072922776532544940976952684653*c_0101_3^10 + 826340686197757559611945703581269359759413655212524851234879/828088\ 00525324516722217326656304988792904468792574161877*c_0101_3^8 + 86273911398327466517540130461490787319362314388383384173888/2760293\ 3508441505574072442218768329597634822930858053959*c_0101_3^6 + 33155286502766163625237124215210652328736369902169538121913/8280880\ 0525324516722217326656304988792904468792574161877*c_0101_3^4 + 6446824533869430236826168987434602694745863342742387945043/82808800\ 525324516722217326656304988792904468792574161877*c_0101_3^2 + 67349330425065989450019222028400924268201636755185393651/9200977836\ 147168524690814072922776532544940976952684653, c_0101_3^32 - 51*c_0101_3^30 - 228*c_0101_3^28 - 571*c_0101_3^26 + 14262*c_0101_3^24 - 24644*c_0101_3^22 - 196686*c_0101_3^20 - 200381*c_0101_3^18 + 5169186*c_0101_3^16 - 7188963*c_0101_3^14 - 3939345*c_0101_3^12 - 63035*c_0101_3^10 + 238422*c_0101_3^8 + 51650*c_0101_3^6 + 7586*c_0101_3^4 + 1125*c_0101_3^2 + 81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB