Magma V2.19-8 Tue Aug 20 2013 23:50:41 on localhost [Seed = 2463431083] Type ? for help. Type -D to quit. Loading file "L12n688__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n688 geometric_solution 10.80879637 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 1 1 0 1 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 -1 0 1 0 0 0 0 -2 1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342090696831 1.063632372236 0 5 7 6 0132 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 -1 1 -1 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 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823115827879 0.748792531243 8 0 7 6 0132 0132 3012 1023 1 1 1 0 0 0 1 -1 0 0 0 0 -1 1 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 -1 0 1 0 1 -1 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503135670664 0.478825749293 6 9 10 0 0132 0132 0132 0132 1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503135670664 0.478825749293 5 8 0 11 0132 0132 0132 0132 1 1 1 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 -1 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.532280959405 0.910658574292 4 1 9 11 0132 0132 0132 0321 1 1 0 1 0 0 0 0 0 0 0 0 -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 0 0 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.334628179809 0.923881844008 3 10 1 2 0132 0132 0132 1023 1 1 1 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 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.467127646326 0.288916564288 11 2 9 1 0321 1230 3201 0132 1 1 0 1 0 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 0 0 -2 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.105681550106 0.858810052448 2 4 10 11 0132 0132 1023 1023 1 1 0 1 0 0 0 0 0 0 0 0 1 0 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 0 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342090696831 1.063632372236 7 3 10 5 2310 0132 1302 0132 1 1 1 1 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 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.435901625500 0.438149080577 9 6 8 3 2031 0132 1023 0132 1 1 1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823115827879 0.748792531243 7 5 4 8 0321 0321 0132 1023 1 1 0 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 0 0 0 0 -1 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.334628179809 0.923881844008 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0101_8'], 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_1001_3'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_7']), 'c_1100_8' : negation(d['c_1100_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_7']), 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0011_11']), 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_11']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_8, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 1863007866420863818245/2384340665854498001344*c_1100_0^12 + 6907938813920313133731/2384340665854498001344*c_1100_0^11 - 185530302840945905397967/2384340665854498001344*c_1100_0^10 + 152452740758578192540963/1192170332927249000672*c_1100_0^9 - 291584395062120352554911/2384340665854498001344*c_1100_0^8 + 171591238692086054165835/596085166463624500336*c_1100_0^7 - 883567975601206221009871/2384340665854498001344*c_1100_0^6 + 1833755081269020743723759/2384340665854498001344*c_1100_0^5 - 1284766720813755391942393/1192170332927249000672*c_1100_0^4 + 1371089370954001434327421/1192170332927249000672*c_1100_0^3 - 996333971503497962753289/1192170332927249000672*c_1100_0^2 + 65203061223160556865591/149021291615906125084*c_1100_0 - 118543390453633241965869/2384340665854498001344, c_0011_0 - 1, c_0011_10 + 214312645375219428/37255322903976531271*c_1100_0^12 - 834135218769279274/37255322903976531271*c_1100_0^11 + 21085895995936001360/37255322903976531271*c_1100_0^10 - 38164431036805309101/37255322903976531271*c_1100_0^9 + 1334267768953712344/37255322903976531271*c_1100_0^8 - 82236404592898407492/37255322903976531271*c_1100_0^7 + 68784656426929839444/37255322903976531271*c_1100_0^6 - 178482738505557108299/37255322903976531271*c_1100_0^5 + 227867283789272819964/37255322903976531271*c_1100_0^4 - 180335814668474959611/37255322903976531271*c_1100_0^3 + 83508585732739880254/37255322903976531271*c_1100_0^2 - 19046897809708810181/37255322903976531271*c_1100_0 - 34196806605942864765/37255322903976531271, c_0011_11 + 59829063494383972036/484319197751694906523*c_1100_0^12 - 96891202243442609953/484319197751694906523*c_1100_0^11 + 5704934667600432104560/484319197751694906523*c_1100_0^10 + 2235819472367151333651/484319197751694906523*c_1100_0^9 + 9114046784731271133047/484319197751694906523*c_1100_0^8 - 1957506532896075838692/484319197751694906523*c_1100_0^7 + 15863188053029641966544/484319197751694906523*c_1100_0^6 - 19745792391460843281009/484319197751694906523*c_1100_0^5 + 24174614575674841765077/484319197751694906523*c_1100_0^4 - 10954878953798403390469/484319197751694906523*c_1100_0^3 + 5284267533498249136653/484319197751694906523*c_1100_0^2 + 6800904285952440492505/484319197751694906523*c_1100_0 - 1788993612628729453329/484319197751694906523, c_0011_7 + 5144054509561323686/484319197751694906523*c_1100_0^12 - 5730059891677858214/484319197751694906523*c_1100_0^11 + 486979207311423861852/484319197751694906523*c_1100_0^10 + 437664524518770250382/484319197751694906523*c_1100_0^9 + 946190485206037965884/484319197751694906523*c_1100_0^8 + 120741846096002320296/484319197751694906523*c_1100_0^7 + 1115979774561998129294/484319197751694906523*c_1100_0^6 - 1299703725118056931253/484319197751694906523*c_1100_0^5 + 1342851218196254998144/484319197751694906523*c_1100_0^4 - 233678828103048781731/484319197751694906523*c_1100_0^3 + 407658362361399858146/484319197751694906523*c_1100_0^2 + 1212259237819423947561/484319197751694906523*c_1100_0 - 25074172584250652009/484319197751694906523, c_0101_0 - 1, c_0101_10 + 1751301903486564163/37255322903976531271*c_1100_0^12 - 2973494450802246992/37255322903976531271*c_1100_0^11 + 167383877605597489355/37255322903976531271*c_1100_0^10 + 52165294771010082767/37255322903976531271*c_1100_0^9 + 277430490160125658512/37255322903976531271*c_1100_0^8 - 63778512454114325500/37255322903976531271*c_1100_0^7 + 487667637853120655899/37255322903976531271*c_1100_0^6 - 621019280599855320179/37255322903976531271*c_1100_0^5 + 777303953555750366631/37255322903976531271*c_1100_0^4 - 403511357039486918591/37255322903976531271*c_1100_0^3 + 219398930409469102933/37255322903976531271*c_1100_0^2 + 189143838113271735479/37255322903976531271*c_1100_0 - 59829063494383972036/37255322903976531271, c_0101_11 + 5668930265287862102/37255322903976531271*c_1100_0^12 - 9613493698871257955/37255322903976531271*c_1100_0^11 + 541344983488641511564/37255322903976531271*c_1100_0^10 + 170461829982848776809/37255322903976531271*c_1100_0^9 + 855841938474775119243/37255322903976531271*c_1100_0^8 - 245105083505070251704/37255322903976531271*c_1100_0^7 + 1529318362802016668441/37255322903976531271*c_1100_0^6 - 1993621992326928225692/37255322903976531271*c_1100_0^5 + 2439511904801116312246/37255322903976531271*c_1100_0^4 - 1236941506256774826528/37255322903976531271*c_1100_0^3 + 593987354488151163241/37255322903976531271*c_1100_0^2 + 584132454256872821021/37255322903976531271*c_1100_0 - 223307626141621968071/37255322903976531271, c_0101_2 + 26622074265189186733/484319197751694906523*c_1100_0^12 - 48547560903905613903/484319197751694906523*c_1100_0^11 + 2545979162161348463932/484319197751694906523*c_1100_0^10 + 477638888623450675408/484319197751694906523*c_1100_0^9 + 3727561529494433514999/484319197751694906523*c_1100_0^8 - 1867588909278374132762/484319197751694906523*c_1100_0^7 + 7068809763543394832582/484319197751694906523*c_1100_0^6 - 10169515364775364776588/484319197751694906523*c_1100_0^5 + 12622441382300535831766/484319197751694906523*c_1100_0^4 - 6559075137115286396027/484319197751694906523*c_1100_0^3 + 3489264835314137643680/484319197751694906523*c_1100_0^2 + 2256254678720234111635/484319197751694906523*c_1100_0 - 1296959652341662155502/484319197751694906523, c_0101_3 + 361275971267135351/37255322903976531271*c_1100_0^12 - 749228253601035572/37255322903976531271*c_1100_0^11 + 34693601104481652975/37255322903976531271*c_1100_0^10 - 2011610915172447258/37255322903976531271*c_1100_0^9 + 46789538260324633339/37255322903976531271*c_1100_0^8 - 27596073572645251225/37255322903976531271*c_1100_0^7 + 110593001142086203000/37255322903976531271*c_1100_0^6 - 132835126664341216717/37255322903976531271*c_1100_0^5 + 216299615710100564153/37255322903976531271*c_1100_0^4 - 92016941181473786256/37255322903976531271*c_1100_0^3 + 38399829016749829789/37255322903976531271*c_1100_0^2 + 45631355422059238657/37255322903976531271*c_1100_0 - 26622074265189186733/37255322903976531271, c_0101_8 + 1, c_1001_3 + 350619163649599166/37255322903976531271*c_1100_0^12 - 526925046651016308/37255322903976531271*c_1100_0^11 + 33270805385323763592/37255322903976531271*c_1100_0^10 + 16990676873683948166/37255322903976531271*c_1100_0^9 + 46087608883477340238/37255322903976531271*c_1100_0^8 - 24554725661970090700/37255322903976531271*c_1100_0^7 + 72546464696206168911/37255322903976531271*c_1100_0^6 - 109984166342869112970/37255322903976531271*c_1100_0^5 + 121309873789425935057/37255322903976531271*c_1100_0^4 - 38284248563184085430/37255322903976531271*c_1100_0^3 + 67134741552952044945/37255322903976531271*c_1100_0^2 + 26165669045738717669/37255322903976531271*c_1100_0 - 5144054509561323686/37255322903976531271, c_1100_0^13 - 2*c_1100_0^12 + 96*c_1100_0^11 + c_1100_0^10 + 141*c_1100_0^9 - 93*c_1100_0^8 + 279*c_1100_0^7 - 436*c_1100_0^6 + 539*c_1100_0^5 - 352*c_1100_0^4 + 176*c_1100_0^3 + 66*c_1100_0^2 - 71*c_1100_0 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB