Magma V2.19-8 Tue Aug 20 2013 16:19:18 on localhost [Seed = 2968595901] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3410 geometric_solution 6.57760217 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 0 1 -1 0 0 0 0 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 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.885429121880 0.716349177754 0 3 5 4 0132 0132 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 -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.809471699927 0.974709848722 5 3 0 6 2310 3201 0132 0132 0 0 0 0 0 0 1 -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 1 -1 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.809471699927 0.974709848722 4 1 2 6 0321 0132 2310 1230 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 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.502880708832 0.411718713113 3 6 1 6 0321 3120 0132 2103 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 -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.014979654621 1.517009282666 5 5 2 1 1302 2031 3201 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 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.342233283096 0.676838892623 3 4 2 4 3012 3120 0132 2103 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 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.644893588492 0.728572738827 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : negation(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' : negation(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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_1001_3']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_1001_3']), 'c_1010_1' : d['c_1001_3'], '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_2, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 30622769143264381653963/776973720602760788836352*c_1001_3^19 + 40165884790173627239727/776973720602760788836352*c_1001_3^18 - 50873634328883607147377/194243430150690197209088*c_1001_3^17 - 615905361255866186842049/776973720602760788836352*c_1001_3^16 + 678326674881194168150037/776973720602760788836352*c_1001_3^15 + 2228454884587821221380077/776973720602760788836352*c_1001_3^14 + 72939004877243681739/64404320341740781568*c_1001_3^13 - 97565334718474608128059/40893353715934778359808*c_1001_3^12 - 4293898607982644904151309/776973720602760788836352*c_1001_3^11 - 4909557787249721876412209/194243430150690197209088*c_1001_3^10 - 973247236586878762735935/48560857537672549302272*c_1001_3^9 + 563107888669438689305385/5111669214491847294976*c_1001_3^8 + 518521944471147363066553/3735450579820965330944*c_1001_3^7 - 4193523643197012606766301/24280428768836274651136*c_1001_3^6 - 2227122658536552754559653/6070107192209068662784*c_1001_3^5 + 261279026807403489525503/3035053596104534331392*c_1001_3^4 + 1606999011010223607578489/3035053596104534331392*c_1001_3^3 + 103729977533697673873367/1517526798052267165696*c_1001_3^2 - 124670462445884417013265/379381699513066791424*c_1001_3 - 31696316610643131552545/379381699513066791424, c_0011_0 - 1, c_0011_2 + 246780340998959/1203431243499022336*c_1001_3^19 + 3602049975065907/1203431243499022336*c_1001_3^18 + 539912097554687/300857810874755584*c_1001_3^17 - 25521079544084509/1203431243499022336*c_1001_3^16 - 55097273130163535/1203431243499022336*c_1001_3^15 + 90113676223305305/1203431243499022336*c_1001_3^14 + 216815538738409/1296800908942912*c_1001_3^13 + 3995850940649905/63338486499948544*c_1001_3^12 - 160740806354720329/1203431243499022336*c_1001_3^11 - 122803068887963353/300857810874755584*c_1001_3^10 - 4222655214106195/2350451647459028*c_1001_3^9 - 5578376526250805/7917310812493568*c_1001_3^8 + 565149780038301591/75214452718688896*c_1001_3^7 + 126627563781385913/18803613179672224*c_1001_3^6 - 57249776563810301/4700903294918056*c_1001_3^5 - 177728980027754169/9401806589836112*c_1001_3^4 + 46274188707699723/4700903294918056*c_1001_3^3 + 63457389545543949/2350451647459028*c_1001_3^2 - 2170719605400609/587612911864757*c_1001_3 - 8678085354146112/587612911864757, c_0011_4 + 2277579346600521/1203431243499022336*c_1001_3^19 + 2673458567109429/1203431243499022336*c_1001_3^18 - 1838413397795279/150428905437377792*c_1001_3^17 - 42758749211454335/1203431243499022336*c_1001_3^16 + 51894385896856591/1203431243499022336*c_1001_3^15 + 142468948505826931/1203431243499022336*c_1001_3^14 + 487669785204829/10374407271543296*c_1001_3^13 - 5241849964223213/63338486499948544*c_1001_3^12 - 245430232706029159/1203431243499022336*c_1001_3^11 - 179079955514316235/150428905437377792*c_1001_3^10 - 264947906796649145/300857810874755584*c_1001_3^9 + 608921625121901/123707981445212*c_1001_3^8 + 206038081443637997/37607226359344448*c_1001_3^7 - 291641962656934655/37607226359344448*c_1001_3^6 - 65827387792976475/4700903294918056*c_1001_3^5 + 52176915127871871/9401806589836112*c_1001_3^4 + 93482611644366381/4700903294918056*c_1001_3^3 - 1440035475838681/1175225823729514*c_1001_3^2 - 13326233181748001/1175225823729514*c_1001_3 - 305240421499071/587612911864757, c_0011_5 + 12835902729405/300857810874755584*c_1001_3^19 - 354622301893467/300857810874755584*c_1001_3^18 - 31390289187129/18803613179672224*c_1001_3^17 + 1950582753247989/300857810874755584*c_1001_3^16 + 6758283617038971/300857810874755584*c_1001_3^15 - 7077008857429865/300857810874755584*c_1001_3^14 - 80458819338431/1296800908942912*c_1001_3^13 - 526743841874161/15834621624987136*c_1001_3^12 + 7934120419117981/300857810874755584*c_1001_3^11 + 2618182088545455/37607226359344448*c_1001_3^10 + 52796468328599329/75214452718688896*c_1001_3^9 + 2531182248889547/3958655406246784*c_1001_3^8 - 101986857395268505/37607226359344448*c_1001_3^7 - 114461842571042223/37607226359344448*c_1001_3^6 + 74532288900070785/18803613179672224*c_1001_3^5 + 72727240437427411/9401806589836112*c_1001_3^4 - 13659756747096329/4700903294918056*c_1001_3^3 - 25565894791953243/2350451647459028*c_1001_3^2 + 1258715587598121/1175225823729514*c_1001_3 + 3442346269885827/587612911864757, c_0101_0 - 94376761705547/601715621749511168*c_1001_3^19 - 362411720495531/601715621749511168*c_1001_3^18 + 99437460815949/150428905437377792*c_1001_3^17 + 4330471395997169/601715621749511168*c_1001_3^16 + 2841045355246419/601715621749511168*c_1001_3^15 - 17260341607481797/601715621749511168*c_1001_3^14 - 254679741644943/5187203635771648*c_1001_3^13 + 912344976112651/31669243249974272*c_1001_3^12 + 49646975626437405/601715621749511168*c_1001_3^11 + 31897766484389713/150428905437377792*c_1001_3^10 + 12059322700996863/37607226359344448*c_1001_3^9 - 2944857809242343/7917310812493568*c_1001_3^8 - 92863284318770465/37607226359344448*c_1001_3^7 - 29002344441128553/37607226359344448*c_1001_3^6 + 26167350711145749/4700903294918056*c_1001_3^5 + 23122803379841443/4700903294918056*c_1001_3^4 - 13311537704455705/2350451647459028*c_1001_3^3 - 12012708117309395/1175225823729514*c_1001_3^2 + 1528153648016835/587612911864757*c_1001_3 + 4350240240757024/587612911864757, c_0101_1 + 2061463330472535/1203431243499022336*c_1001_3^19 + 2159144791961545/1203431243499022336*c_1001_3^18 - 6400467142045201/601715621749511168*c_1001_3^17 - 35363764872496233/1203431243499022336*c_1001_3^16 + 48929948712531351/1203431243499022336*c_1001_3^15 + 107477047430909647/1203431243499022336*c_1001_3^14 + 635806962437747/20748814543086592*c_1001_3^13 - 3495252709360115/63338486499948544*c_1001_3^12 - 171142022245844787/1203431243499022336*c_1001_3^11 - 607284421753034397/601715621749511168*c_1001_3^10 - 188932279478784249/300857810874755584*c_1001_3^9 + 1040409962229265/247415962890424*c_1001_3^8 + 284657578372474071/75214452718688896*c_1001_3^7 - 129171112656269573/18803613179672224*c_1001_3^6 - 97519160152651729/9401806589836112*c_1001_3^5 + 57269307428585293/9401806589836112*c_1001_3^4 + 35786389908325437/2350451647459028*c_1001_3^3 - 7253295142572643/2350451647459028*c_1001_3^2 - 4998615407084585/587612911864757*c_1001_3 + 302843887770909/587612911864757, c_1001_3^20 + c_1001_3^19 - 8*c_1001_3^18 - 19*c_1001_3^17 + 35*c_1001_3^16 + 83*c_1001_3^15 - 20*c_1001_3^14 - 131*c_1001_3^13 - 131*c_1001_3^12 - 536*c_1001_3^11 - 192*c_1001_3^10 + 3528*c_1001_3^9 + 2960*c_1001_3^8 - 8224*c_1001_3^7 - 10496*c_1001_3^6 + 9984*c_1001_3^5 + 20224*c_1001_3^4 - 6656*c_1001_3^3 - 20480*c_1001_3^2 + 2048*c_1001_3 + 8192 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB