Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 3953817388] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0255 geometric_solution 4.29284369 oriented_manifold CS_known 0.0000000000000000 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 0 -1 1 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 1.227522569933 0.101366615083 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 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.314498922742 0.265229927342 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.668486638257 0.823590147750 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 -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.222439739608 0.525638648030 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 -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.222439739608 0.525638648030 4 6 3 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -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 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 1.637069629108 2.017358345761 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 -1 1 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384640564466 0.242632627821 ==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' : 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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_3']), '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' : negation(d['c_0101_3']), '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_0110_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' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_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_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 35772909955056975888/12706320358042325*c_0110_6^17 + 31429472147785403672/12706320358042325*c_0110_6^16 + 709721808636523573844/12706320358042325*c_0110_6^15 - 3602198169661062453084/12706320358042325*c_0110_6^14 + 11306202606889379788846/12706320358042325*c_0110_6^13 - 26327614711966483445627/12706320358042325*c_0110_6^12 + 6072751719228430548953/1815188622577475*c_0110_6^11 - 5935997643177383919354/1815188622577475*c_0110_6^10 + 5495359681618823225684/12706320358042325*c_0110_6^9 + 62087698486753555054447/12706320358042325*c_0110_6^8 - 125867304127693071070164/12706320358042325*c_0110_6^7 + 146111961856232042806073/12706320358042325*c_0110_6^6 - 116494235286448802773706/12706320358042325*c_0110_6^5 + 2609028655157847173640/508252814321693*c_0110_6^4 - 4993797614970333987053/2541264071608465*c_0110_6^3 + 247315002858913109192/508252814321693*c_0110_6^2 - 889194940445960787174/12706320358042325*c_0110_6 + 55988202917443733822/12706320358042325, c_0011_0 - 1, c_0011_4 + 256839251390157436/72607544903099*c_0110_6^17 - 259893868453835726/72607544903099*c_0110_6^16 - 5070824748011096029/72607544903099*c_0110_6^15 + 26547640693411398705/72607544903099*c_0110_6^14 - 84516141742334035776/72607544903099*c_0110_6^13 + 199294386080021999718/72607544903099*c_0110_6^12 - 328679110712472216729/72607544903099*c_0110_6^11 + 335001523179962563106/72607544903099*c_0110_6^10 - 72760712881803023603/72607544903099*c_0110_6^9 - 446691570958853470328/72607544903099*c_0110_6^8 + 963580499561202623017/72607544903099*c_0110_6^7 - 1159560795392200832623/72607544903099*c_0110_6^6 + 956834781623876730031/72607544903099*c_0110_6^5 - 557993965806812621233/72607544903099*c_0110_6^4 + 225028445981100238964/72607544903099*c_0110_6^3 - 59553555472071624127/72607544903099*c_0110_6^2 + 9327950132780324193/72607544903099*c_0110_6 - 659836193755637199/72607544903099, c_0101_0 - 213277930839979420/72607544903099*c_0110_6^17 + 222843520439683614/72607544903099*c_0110_6^16 + 4207639505932723925/72607544903099*c_0110_6^15 - 22185491091041752361/72607544903099*c_0110_6^14 + 70829135878262640912/72607544903099*c_0110_6^13 - 167442076170814073246/72607544903099*c_0110_6^12 + 277291993656745349231/72607544903099*c_0110_6^11 - 284730552578789222078/72607544903099*c_0110_6^10 + 65914081762904873490/72607544903099*c_0110_6^9 + 372021330330068266555/72607544903099*c_0110_6^8 - 811763827855725852407/72607544903099*c_0110_6^7 + 982749286008851516504/72607544903099*c_0110_6^6 - 815143117075500826585/72607544903099*c_0110_6^5 + 477977760065728075986/72607544903099*c_0110_6^4 - 193912485270876249546/72607544903099*c_0110_6^3 + 51638624834992753038/72607544903099*c_0110_6^2 - 8139209067955200358/72607544903099*c_0110_6 + 579388068744375273/72607544903099, c_0101_1 - 162350270774097360/72607544903099*c_0110_6^17 + 167148590282379236/72607544903099*c_0110_6^16 + 3204043088624150034/72607544903099*c_0110_6^15 - 16838225613800816375/72607544903099*c_0110_6^14 + 53687203762931545232/72607544903099*c_0110_6^13 - 126770886579663677106/72607544903099*c_0110_6^12 + 209540305683865283184/72607544903099*c_0110_6^11 - 214434328996200954708/72607544903099*c_0110_6^10 + 48251362094443757097/72607544903099*c_0110_6^9 + 282775685906898203974/72607544903099*c_0110_6^8 - 613803493242142835708/72607544903099*c_0110_6^7 + 741077921672850225655/72607544903099*c_0110_6^6 - 613276681682718493071/72607544903099*c_0110_6^5 + 358753475476844827873/72607544903099*c_0110_6^4 - 145183316551042655064/72607544903099*c_0110_6^3 + 38571125466259032660/72607544903099*c_0110_6^2 - 6067035154975556725/72607544903099*c_0110_6 + 431153374087369486/72607544903099, c_0101_2 - 125074578451788032/72607544903099*c_0110_6^17 + 126523943660759188/72607544903099*c_0110_6^16 + 2469458717629046742/72607544903099*c_0110_6^15 - 12927271545981855259/72607544903099*c_0110_6^14 + 41152437207946390741/72607544903099*c_0110_6^13 - 97035725680963391019/72607544903099*c_0110_6^12 + 160020219504906757052/72607544903099*c_0110_6^11 - 163071427978265988922/72607544903099*c_0110_6^10 + 35363872895240852069/72607544903099*c_0110_6^9 + 217543715564291924602/72607544903099*c_0110_6^8 - 469148681719118468339/72607544903099*c_0110_6^7 + 564480117629872734719/72607544903099*c_0110_6^6 - 465723562236828838942/72607544903099*c_0110_6^5 + 271547088018774467821/72607544903099*c_0110_6^4 - 109485736423724532453/72607544903099*c_0110_6^3 + 28967624821395964749/72607544903099*c_0110_6^2 - 4535567865937512257/72607544903099*c_0110_6 + 320686026513181300/72607544903099, c_0101_3 - 131474242758757008/72607544903099*c_0110_6^17 + 133224709703270340/72607544903099*c_0110_6^16 + 2595630034334704466/72607544903099*c_0110_6^15 - 13593286533180687519/72607544903099*c_0110_6^14 + 43280568895473596680/72607544903099*c_0110_6^13 - 102069808174765648200/72607544903099*c_0110_6^12 + 168366137586516164509/72607544903099*c_0110_6^11 - 171662754221363363666/72607544903099*c_0110_6^10 + 37397203024286687029/72607544903099*c_0110_6^9 + 228683094499636809027/72607544903099*c_0110_6^8 - 493560454695702063579/72607544903099*c_0110_6^7 + 594109334026614439482/72607544903099*c_0110_6^6 - 490361183448198878419/72607544903099*c_0110_6^5 + 286038460347958221537/72607544903099*c_0110_6^4 - 115389144599905652126/72607544903099*c_0110_6^3 + 30548174727326047898/72607544903099*c_0110_6^2 - 4786718878340370214/72607544903099*c_0110_6 + 338787129517940404/72607544903099, c_0110_6^18 - 3/2*c_0110_6^17 - 77/4*c_0110_6^16 + 113*c_0110_6^15 - 759/2*c_0110_6^14 + 1873/2*c_0110_6^13 - 6633/4*c_0110_6^12 + 3857/2*c_0110_6^11 - 3677/4*c_0110_6^10 - 3203/2*c_0110_6^9 + 9201/2*c_0110_6^8 - 25379/4*c_0110_6^7 + 5927*c_0110_6^6 - 15955/4*c_0110_6^5 + 1935*c_0110_6^4 - 2635/4*c_0110_6^3 + 597/4*c_0110_6^2 - 81/4*c_0110_6 + 5/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB