Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 913812317] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3179 geometric_solution 6.32593282 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 -1 0 1 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 1.877235659249 0.557128145573 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 1 0 -1 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 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.433387978832 0.783252709223 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 -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.277944242184 0.775584259295 5 6 4 1 1023 1023 2310 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 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.277944242184 0.775584259295 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 -1 1 0 0 0 0 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 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.149865162595 0.926861264060 6 3 6 2 3201 1023 2310 0132 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 1 -1 -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.798986133261 0.955330815322 3 5 2 5 1023 3201 0132 2310 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 1 0 -1 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.492835273197 0.840800210370 ==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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : 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' : 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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 683452310103966647360709994535509506989017217184/114371930963361420\ 25819153349314116967502869*c_0101_5^22 + 733740495284535928492321582620368088832495166016/114371930963361420\ 25819153349314116967502869*c_0101_5^21 + 1126337228985651067250819503253829438820009091208/11437193096336142\ 025819153349314116967502869*c_0101_5^20 - 1707714475197890951233068366466439165639831696640/11437193096336142\ 025819153349314116967502869*c_0101_5^19 + 4376945999186228856330377068263457613643210278506/11437193096336142\ 025819153349314116967502869*c_0101_5^18 - 1182327366900272672139486709750864136332730094786/11437193096336142\ 025819153349314116967502869*c_0101_5^17 + 4460207157951852253491182973789765067900279553015/22874386192672284\ 051638306698628233935005738*c_0101_5^16 + 16114474344836854563262683324916817001535878485167/2287438619267228\ 4051638306698628233935005738*c_0101_5^15 - 11240225717791697548289132143413171893140376517249/2287438619267228\ 4051638306698628233935005738*c_0101_5^14 + 13538527598026938091508695962742786929982644279479/2287438619267228\ 4051638306698628233935005738*c_0101_5^13 - 11227303173138843086275632506345027778289639527810/1143719309633614\ 2025819153349314116967502869*c_0101_5^12 - 8785294872308700364417826873126787137251244960805/11437193096336142\ 025819153349314116967502869*c_0101_5^11 - 21951132006767321347673374650380051974159164309059/2287438619267228\ 4051638306698628233935005738*c_0101_5^10 - 15152375808077520380520488644050395806297041261995/1143719309633614\ 2025819153349314116967502869*c_0101_5^9 - 11985996014823230570674927502980351568059800176217/2287438619267228\ 4051638306698628233935005738*c_0101_5^8 - 16419248986436504411826303825631409344783084815359/2287438619267228\ 4051638306698628233935005738*c_0101_5^7 - 1719133625165221708345207858573166480918736117716/11437193096336142\ 025819153349314116967502869*c_0101_5^6 - 2040117077283952685334551900265774365259410040886/11437193096336142\ 025819153349314116967502869*c_0101_5^5 - 533748643126686132240509254993380830880328139229/228743861926722840\ 51638306698628233935005738*c_0101_5^4 - 245406055009496712091735329074141452454955555527/114371930963361420\ 25819153349314116967502869*c_0101_5^3 - 26967032837808892463455205603985273038378758741/2287438619267228405\ 1638306698628233935005738*c_0101_5^2 - 12469508824610058107161272756233195910534640440/1143719309633614202\ 5819153349314116967502869*c_0101_5 + 255749844717603740969637458659766764981679878/114371930963361420258\ 19153349314116967502869, c_0011_0 - 1, c_0011_3 + 74558124748395248021583997815458421240332736/103974482693964\ 9275074468486301283360682079*c_0101_5^22 - 146575808985874078234526511267124912280249424/103974482693964927507\ 4468486301283360682079*c_0101_5^21 - 46859374002905470350897374799029127950794368/1039744826939649275074\ 468486301283360682079*c_0101_5^20 + 314873776995872074309440298758372564903494832/103974482693964927507\ 4468486301283360682079*c_0101_5^19 - 689808991286943290201340815255839676551956056/103974482693964927507\ 4468486301283360682079*c_0101_5^18 + 525739927615889500670767833322742338753315881/103974482693964927507\ 4468486301283360682079*c_0101_5^17 - 277402459121404479007752722664953665728750318/103974482693964927507\ 4468486301283360682079*c_0101_5^16 - 820034414129977308432198413684680878634606030/103974482693964927507\ 4468486301283360682079*c_0101_5^15 + 1428218039072449395310837152600561514880753837/10397448269396492750\ 74468486301283360682079*c_0101_5^14 - 1313337464944322928588247751050612247832248880/10397448269396492750\ 74468486301283360682079*c_0101_5^13 + 1618556217451805495592341123104074387465001118/10397448269396492750\ 74468486301283360682079*c_0101_5^12 + 163182182601896269054640786868685552969981633/103974482693964927507\ 4468486301283360682079*c_0101_5^11 + 269950232836743126542771238980327853031605826/103974482693964927507\ 4468486301283360682079*c_0101_5^10 + 880914528531666302908222173183248815988889594/103974482693964927507\ 4468486301283360682079*c_0101_5^9 - 491075208088920622831443119725874271195188272/103974482693964927507\ 4468486301283360682079*c_0101_5^8 + 438933020202409007199406001910702234741027350/103974482693964927507\ 4468486301283360682079*c_0101_5^7 - 360118577980873538363430502508562570238404625/103974482693964927507\ 4468486301283360682079*c_0101_5^6 + 74499464552006168193209982806814639090517732/1039744826939649275074\ 468486301283360682079*c_0101_5^5 - 105132075708554740181130484452700402681904643/103974482693964927507\ 4468486301283360682079*c_0101_5^4 + 5016540421668624196973522318493877749671031/10397448269396492750744\ 68486301283360682079*c_0101_5^3 - 137187542510018326181883978618451\ 37921656577/1039744826939649275074468486301283360682079*c_0101_5^2 - 1796728967856615115431774102702363823962158/10397448269396492750744\ 68486301283360682079*c_0101_5 - 76983316390389229460393253849662651\ 2001467/1039744826939649275074468486301283360682079, c_0101_0 + 336166513297050213023426424091358844364080/42595035925426025\ 1976431170135716247719*c_0101_5^22 - 366144972688948460428452089139671569106880/425950359254260251976431\ 170135716247719*c_0101_5^21 - 5538279343230945257746005285119583838\ 78608/425950359254260251976431170135716247719*c_0101_5^20 + 872168666620341444786502192499475540138436/425950359254260251976431\ 170135716247719*c_0101_5^19 - 2176656045908392617291944346218985500\ 194455/425950359254260251976431170135716247719*c_0101_5^18 + 571496233380854785725764375388821712932082/425950359254260251976431\ 170135716247719*c_0101_5^17 - 1023258620187327012360419258983052021\ 016507/425950359254260251976431170135716247719*c_0101_5^16 - 4069105688950396684456826673609869467455982/42595035925426025197643\ 1170135716247719*c_0101_5^15 + 287338346566747548623027805819761517\ 9987521/425950359254260251976431170135716247719*c_0101_5^14 - 3354328947158130046942752749683762268028064/42595035925426025197643\ 1170135716247719*c_0101_5^13 + 531508723396769539747336303327336268\ 9821004/425950359254260251976431170135716247719*c_0101_5^12 + 4448641609406730854559797093192924120391450/42595035925426025197643\ 1170135716247719*c_0101_5^11 + 507821280349248531103764976635845818\ 7142460/425950359254260251976431170135716247719*c_0101_5^10 + 7573927727835271640872820217159203607647263/42595035925426025197643\ 1170135716247719*c_0101_5^9 + 2986099891864502010213100648041736136\ 283277/425950359254260251976431170135716247719*c_0101_5^8 + 4116613480782568088776374291272702526865558/42595035925426025197643\ 1170135716247719*c_0101_5^7 + 1107919767664223706216556908098994596\ 016606/425950359254260251976431170135716247719*c_0101_5^6 + 1049435117395015261773380098756305942923385/42595035925426025197643\ 1170135716247719*c_0101_5^5 + 2788750699232062971310375506454106164\ 59280/425950359254260251976431170135716247719*c_0101_5^4 + 135818787930306828673045939569672415412895/425950359254260251976431\ 170135716247719*c_0101_5^3 + 35404324590265759342679014387975303964\ 495/425950359254260251976431170135716247719*c_0101_5^2 + 9213978122740713506151669042442893454765/42595035925426025197643117\ 0135716247719*c_0101_5 + 1781743906869731942166018357155225768859/4\ 25950359254260251976431170135716247719, c_0101_1 - 18636714924638720762304424293984303842592/425950359254260251\ 976431170135716247719*c_0101_5^22 + 56008243247113074916740300343706707617168/4259503592542602519764311\ 70135716247719*c_0101_5^21 + 46139531442103198282611106690361195064\ 48/425950359254260251976431170135716247719*c_0101_5^20 - 127543876266187606939755458161243068029144/425950359254260251976431\ 170135716247719*c_0101_5^19 + 1965779093726265194127155191460291647\ 63686/425950359254260251976431170135716247719*c_0101_5^18 - 214180151884284808761994396701714630700469/425950359254260251976431\ 170135716247719*c_0101_5^17 + 2079881187470863306012459038830136085\ 6225/425950359254260251976431170135716247719*c_0101_5^16 + 168348822911166274972894426086470193136698/425950359254260251976431\ 170135716247719*c_0101_5^15 - 6200261526711091174410694282920132237\ 27963/425950359254260251976431170135716247719*c_0101_5^14 + 341971339480470196564771761867753151878015/425950359254260251976431\ 170135716247719*c_0101_5^13 - 4589078204897440566996328088802517402\ 82047/425950359254260251976431170135716247719*c_0101_5^12 + 164849762063650904390694036801647594280058/425950359254260251976431\ 170135716247719*c_0101_5^11 + 4093224970648519397390059931368846481\ 17245/425950359254260251976431170135716247719*c_0101_5^10 + 222528422843189577311998118745223408220410/425950359254260251976431\ 170135716247719*c_0101_5^9 + 70080717952567735884852639980784956947\ 5515/425950359254260251976431170135716247719*c_0101_5^8 + 268700734757221513746788160537011538853687/425950359254260251976431\ 170135716247719*c_0101_5^7 + 34599408478696247667599093197583527772\ 5632/425950359254260251976431170135716247719*c_0101_5^6 + 134378267550921756609135580894744119653237/425950359254260251976431\ 170135716247719*c_0101_5^5 + 80479961983565039953946663319428362913\ 704/425950359254260251976431170135716247719*c_0101_5^4 + 32238142310305585859641627564196593442637/4259503592542602519764311\ 70135716247719*c_0101_5^3 + 113083039112585873969885903620347150002\ 25/425950359254260251976431170135716247719*c_0101_5^2 + 2499488519074409819763808674165728924286/42595035925426025197643117\ 0135716247719*c_0101_5 + 686123930541618577908172778151409328926/42\ 5950359254260251976431170135716247719, c_0101_2 + 41426351453925996144472087004866592448235008/103974482693964\ 9275074468486301283360682079*c_0101_5^22 + 62192236857793446888779191904760810656012352/1039744826939649275074\ 468486301283360682079*c_0101_5^21 - 264374132027426485576326461333533117992055920/103974482693964927507\ 4468486301283360682079*c_0101_5^20 - 9597636549707256606786360615052577950690128/10397448269396492750744\ 68486301283360682079*c_0101_5^19 + 194567822203619022622107660443445304463940672/103974482693964927507\ 4468486301283360682079*c_0101_5^18 - 799478410108026226903759925810795751994126856/103974482693964927507\ 4468486301283360682079*c_0101_5^17 + 431184649043819297831044875853213174634480183/103974482693964927507\ 4468486301283360682079*c_0101_5^16 - 739063952902685093201405455607373991155044077/103974482693964927507\ 4468486301283360682079*c_0101_5^15 - 839540355174919800002024679700104767568391557/103974482693964927507\ 4468486301283360682079*c_0101_5^14 + 1462668061616032229878907780388092492189154040/10397448269396492750\ 74468486301283360682079*c_0101_5^13 - 767985493793801845949049828154226119574575268/103974482693964927507\ 4468486301283360682079*c_0101_5^12 + 2496049713183220193114114135075681910516664123/10397448269396492750\ 74468486301283360682079*c_0101_5^11 + 1098541329367283986806366375536906083681277935/10397448269396492750\ 74468486301283360682079*c_0101_5^10 + 1121222817933471511562058664219344343642080236/10397448269396492750\ 74468486301283360682079*c_0101_5^9 + 1437548205025757014612440201370841895317643057/10397448269396492750\ 74468486301283360682079*c_0101_5^8 - 181770680483677726941500949277099135230311714/103974482693964927507\ 4468486301283360682079*c_0101_5^7 + 596064340243490869291624274741965068723873323/103974482693964927507\ 4468486301283360682079*c_0101_5^6 - 215449628260524681451419889003030297710244901/103974482693964927507\ 4468486301283360682079*c_0101_5^5 + 125920188169787855626554461124958563293845589/103974482693964927507\ 4468486301283360682079*c_0101_5^4 - 37027747074979290589065886530421616844091619/1039744826939649275074\ 468486301283360682079*c_0101_5^3 + 12544572136247048730895868492805545607079488/1039744826939649275074\ 468486301283360682079*c_0101_5^2 - 2160812164970760403632669569528806555955804/10397448269396492750744\ 68486301283360682079*c_0101_5 + 81649724847934646182971530515432857\ 9132859/1039744826939649275074468486301283360682079, c_0101_4 + 381090727921923262751793660761654762786421504/10397448269396\ 49275074468486301283360682079*c_0101_5^22 - 286278322165753152223582649177846407391824560/103974482693964927507\ 4468486301283360682079*c_0101_5^21 - 796042594725572367824207564472906011044258656/103974482693964927507\ 4468486301283360682079*c_0101_5^20 + 758547362604339984305547372435708140258457328/103974482693964927507\ 4468486301283360682079*c_0101_5^19 - 2022975666986207815047718783487742090797104676/10397448269396492750\ 74468486301283360682079*c_0101_5^18 - 171921227633619240614090877901873071924773641/103974482693964927507\ 4468486301283360682079*c_0101_5^17 - 936104535027431126977409843094690133523406128/103974482693964927507\ 4468486301283360682079*c_0101_5^16 - 4738944689598977651395932195513205312955379203/10397448269396492750\ 74468486301283360682079*c_0101_5^15 + 1709265889302800314577266097964790878498056675/10397448269396492750\ 74468486301283360682079*c_0101_5^14 - 2339963216173165724008815921961086758408079669/10397448269396492750\ 74468486301283360682079*c_0101_5^13 + 5103161905674149484866311553359809360348268078/10397448269396492750\ 74468486301283360682079*c_0101_5^12 + 6802013436742264455089645209193013152499109226/10397448269396492750\ 74468486301283360682079*c_0101_5^11 + 7352112162072589411724524826466435994839957422/10397448269396492750\ 74468486301283360682079*c_0101_5^10 + 9564616757101215535708365441328763831590910101/10397448269396492750\ 74468486301283360682079*c_0101_5^9 + 5242006765496051962453622964208588878279202547/10397448269396492750\ 74468486301283360682079*c_0101_5^8 + 4842934942546008819428048869110480998955751487/10397448269396492750\ 74468486301283360682079*c_0101_5^7 + 1885592774037023042011445174978114185858337517/10397448269396492750\ 74468486301283360682079*c_0101_5^6 + 1162260147622191957230153348225423718447254886/10397448269396492750\ 74468486301283360682079*c_0101_5^5 + 377972994463249110514223207927474708966060965/103974482693964927507\ 4468486301283360682079*c_0101_5^4 + 145849216447487011971203694927090540861918262/103974482693964927507\ 4468486301283360682079*c_0101_5^3 + 35912438075353358238887581916782473791860385/1039744826939649275074\ 468486301283360682079*c_0101_5^2 + 8090740616809046769152786122586337713086662/10397448269396492750744\ 68486301283360682079*c_0101_5 + 84148994978748897252468905292215874\ 2487335/1039744826939649275074468486301283360682079, c_0101_5^23 - c_0101_5^22 - 5/3*c_0101_5^21 + 253/108*c_0101_5^20 - 913/144*c_0101_5^19 + 581/432*c_0101_5^18 - 499/144*c_0101_5^17 - 5219/432*c_0101_5^16 + 1027/144*c_0101_5^15 - 1451/144*c_0101_5^14 + 3415/216*c_0101_5^13 + 2933/216*c_0101_5^12 + 7703/432*c_0101_5^11 + 10585/432*c_0101_5^10 + 1291/108*c_0101_5^9 + 6307/432*c_0101_5^8 + 1019/216*c_0101_5^7 + 209/48*c_0101_5^6 + 55/48*c_0101_5^5 + 35/48*c_0101_5^4 + 65/432*c_0101_5^3 + 29/432*c_0101_5^2 + 1/108*c_0101_5 + 1/432 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB