Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 2564359293] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0784 geometric_solution 4.72419307 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 0 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 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 1.250217799351 0.113856865387 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 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 1.348034580322 0.328923429624 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462684045272 0.746981253853 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 -1 1 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 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.145394777485 0.636952758429 3 5 2 3 2310 1023 0132 3201 0 0 0 0 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 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.145394777485 0.636952758429 4 6 3 6 1023 0132 0132 1023 0 0 0 0 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 0 0 0 -1 0 0 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 1.956169101240 1.332654079284 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473878342139 0.439995870380 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), '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_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 13297/324*c_0101_6^5 - 1116851/324*c_0101_6^3 + 1826839/324*c_0101_6, c_0011_0 - 1, c_0011_4 - 1/81*c_0101_6^4 + 89/81*c_0101_6^2 - 16/81, c_0101_0 - 4/81*c_0101_6^5 + 338/81*c_0101_6^3 - 721/81*c_0101_6, c_0101_1 + 5/81*c_0101_6^5 - 418/81*c_0101_6^3 + 539/81*c_0101_6, c_0101_2 + 7/81*c_0101_6^5 - 587/81*c_0101_6^3 + 859/81*c_0101_6, c_0101_3 + 2/81*c_0101_6^5 - 169/81*c_0101_6^3 + 320/81*c_0101_6, c_0101_6^6 - 84*c_0101_6^4 + 138*c_0101_6^2 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 326980956651872065603623261370/1588290331215633100725461583*c_0101_\ 6^21 - 143706749278038636962928367323/48130010036837366688650351*c_\ 0101_6^19 - 17198312869664825728669177442723/3176580662431266201450\ 923166*c_0101_6^17 + 631009037780203318390345564854149/127063226497\ 25064805803692664*c_0101_6^15 - 2110498298821377529940331741829937/\ 12706322649725064805803692664*c_0101_6^13 + 1060160060533554401467440455101173/2117720441620844134300615444*c_0\ 101_6^11 - 5181010620852940089286035607155601/635316132486253240290\ 1846332*c_0101_6^9 + 2483959472923233245316734811122273/31765806624\ 31266201450923166*c_0101_6^7 - 59334629050268386236155474007737/144\ 390030110512100065951053*c_0101_6^5 + 188046651611723126837632547632901/2117720441620844134300615444*c_01\ 01_6^3 - 51232948797868659199182924915073/1270632264972506480580369\ 2664*c_0101_6, c_0011_0 - 1, c_0011_4 + 255096672107666905673989360/4764870993646899302176384749*c_0\ 101_6^20 + 113194478280452077362900136/144390030110512100065951053*\ c_0101_6^18 + 802231681653389539970626452/5294301104052110335751538\ 61*c_0101_6^16 - 6744255845854633984846514839/529430110405211033575\ 153861*c_0101_6^14 + 196809920751286645422304554277/476487099364689\ 9302176384749*c_0101_6^12 - 65642968417644955162455052402/529430110\ 405211033575153861*c_0101_6^10 + 922689006627036101593060966922/476\ 4870993646899302176384749*c_0101_6^8 - 823245887764873008413916233069/4764870993646899302176384749*c_0101_\ 6^6 + 34740973424968640262032266102/433170090331536300197853159*c_0\ 101_6^4 - 52240279223468014319596044383/476487099364689930217638474\ 9*c_0101_6^2 - 459678154584561630381453274/476487099364689930217638\ 4749, c_0101_0 + 8690268974927044651088391104/4764870993646899302176384749*c_\ 0101_6^21 + 3816217438868516301871461488/14439003011051210006595105\ 3*c_0101_6^19 + 25224274767389826942294897320/529430110405211033575\ 153861*c_0101_6^17 - 233278098900746732520934955296/529430110405211\ 033575153861*c_0101_6^15 + 7034928551494002358155410420039/47648709\ 93646899302176384749*c_0101_6^13 - 2356566363246386229209277500479/529430110405211033575153861*c_0101_\ 6^11 + 34655987391170404918510148506243/476487099364689930217638474\ 9*c_0101_6^9 - 33358640820455569691121786699151/4764870993646899302\ 176384749*c_0101_6^7 + 1606356714755032890073802755235/433170090331\ 536300197853159*c_0101_6^5 - 3895021658609554238112168528037/476487\ 0993646899302176384749*c_0101_6^3 + 190099512399518100727392254071/4764870993646899302176384749*c_0101_\ 6, c_0101_1 + 9659893194324337102625465504/4764870993646899302176384749*c_\ 0101_6^21 + 4252417862762054044094649520/14439003011051210006595105\ 3*c_0101_6^19 + 85805837258050103341034430344/158829033121563310072\ 5461583*c_0101_6^17 - 774457232397340293594716953262/15882903312156\ 33100725461583*c_0101_6^15 + 7740115955482794673577029134242/476487\ 0993646899302176384749*c_0101_6^13 - 7772907164541918627841625863768/1588290331215633100725461583*c_0101\ _6^11 + 37750884704115795814209907009849/47648709936468993021763847\ 49*c_0101_6^9 - 35910767687299252904670681059575/476487099364689930\ 2176384749*c_0101_6^7 + 1691331386217845613769849587257/43317009033\ 1536300197853159*c_0101_6^5 - 3866950423093390134571673097082/47648\ 70993646899302176384749*c_0101_6^3 + 149540886036703725392123127637/4764870993646899302176384749*c_0101_\ 6, c_0101_2 + 479589537199886572302542944/1588290331215633100725461583*c_0\ 101_6^21 + 628955261298115365904471088/144390030110512100065951053*\ c_0101_6^19 + 12078403941899039478054941432/15882903312156331007254\ 61583*c_0101_6^17 - 116592964374515982793872298814/1588290331215633\ 100725461583*c_0101_6^15 + 132035392471889754194987810754/529430110\ 405211033575153861*c_0101_6^13 - 1197123571157279533183363623439/15\ 88290331215633100725461583*c_0101_6^11 + 664244988703333144993416914611/529430110405211033575153861*c_0101_6\ ^9 - 1976474646795541138445478993817/1588290331215633100725461583*c\ _0101_6^7 + 100565467752803424256217059108/144390030110512100065951\ 053*c_0101_6^5 - 94534944655270627470897178846/52943011040521103357\ 5153861*c_0101_6^3 + 22819649940581499178093453024/1588290331215633\ 100725461583*c_0101_6, c_0101_3 + 167057620082664176221729568/4764870993646899302176384749*c_0\ 101_6^21 + 24331830030147292361211168/48130010036837366688650351*c_\ 0101_6^19 + 1397482394221770577947589840/15882903312156331007254615\ 83*c_0101_6^17 - 13544765490881158320138606466/15882903312156331007\ 25461583*c_0101_6^15 + 138146725087296647864426825879/4764870993646\ 899302176384749*c_0101_6^13 - 139486035850815250829481794624/158829\ 0331215633100725461583*c_0101_6^11 + 699708201220704573098879483386/4764870993646899302176384749*c_0101_\ 6^9 - 700692512888216029649232234136/4764870993646899302176384749*c\ _0101_6^7 + 37330318621280518217511272354/4331700903315363001978531\ 59*c_0101_6^5 - 124793429398151969640212874163/47648709936468993021\ 76384749*c_0101_6^3 + 21263787127776178893434328013/476487099364689\ 9302176384749*c_0101_6, c_0101_6^22 + 29/2*c_0101_6^20 + 105/4*c_0101_6^18 - 3861/16*c_0101_6^16 + 6461/8*c_0101_6^14 - 38951/16*c_0101_6^12 + 7939/2*c_0101_6^10 - 30495/8*c_0101_6^8 + 8037/4*c_0101_6^6 - 3507/8*c_0101_6^4 + 339/16*c_0101_6^2 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB