Magma V2.19-8 Tue Aug 20 2013 16:17:03 on localhost [Seed = 2395935324] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1306 geometric_solution 5.19211549 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 1.641787241680 0.268507557463 0 2 2 0 3201 0132 1023 0132 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 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 1.190300408232 0.621376850901 3 1 1 4 0132 0132 1023 0132 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 -1 0 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 0.364703223102 0.333722650102 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 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.308794995768 1.126474408477 6 5 2 3 2310 2310 0132 3201 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 -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.308794995768 1.126474408477 5 5 3 4 1302 2031 0132 3201 0 0 0 0 0 0 0 0 1 0 -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.008724604745 1.220512034613 6 6 4 3 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 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.309915942185 0.514385738460 ==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' : 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' : 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_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1676317323170905656187151844353921915/19636567845994682354019723770\ 07048886*c_0101_3^16 + 285379241707238154652154194524384127/5775461\ 1311749065747116834617854379*c_0101_3^15 - 200422480049730889804851454771688206461/392731356919893647080394475\ 4014097772*c_0101_3^14 + 1892214820967762506106628756746066878291/3\ 927313569198936470803944754014097772*c_0101_3^13 - 9300081592271588736386946496867386592447/39273135691989364708039447\ 54014097772*c_0101_3^12 + 25343528798778362172321432752198890951413\ /3927313569198936470803944754014097772*c_0101_3^11 - 591520284476106768831960630973206970317/577546113117490657471168346\ 17854379*c_0101_3^10 + 8512605847788761221546759031142199945108/981\ 828392299734117700986188503524443*c_0101_3^9 - 57934632695516411758000657662875636245/5775461131174906574711683461\ 7854379*c_0101_3^8 - 27067597574561674681604950621858677655883/3927\ 313569198936470803944754014097772*c_0101_3^7 + 9023883307029334381278355057985863591289/98182839229973411770098618\ 8503524443*c_0101_3^6 - 22288343291169116240462078522657740501157/3\ 927313569198936470803944754014097772*c_0101_3^5 + 6131967276569333617667646597569272011617/39273135691989364708039447\ 54014097772*c_0101_3^4 + 3574135947944531216458336071045842872407/3\ 927313569198936470803944754014097772*c_0101_3^3 - 3836368546562568848561673041836563548041/19636567845994682354019723\ 77007048886*c_0101_3^2 + 710394774637610884698350318223996745015/98\ 1828392299734117700986188503524443*c_0101_3 + 44681145255519439035756275611336757433/5610447955998480672577063934\ 30585396, c_0011_0 - 1, c_0011_1 - 2037193428631677914983078378/764520360508451387006789370923*\ c_0101_3^16 + 688440243044176910754918323/4497178591226184629451702\ 1819*c_0101_3^15 - 121991654232662209072162563207/76452036050845138\ 7006789370923*c_0101_3^14 + 1147415247999933568317256480631/7645203\ 60508451387006789370923*c_0101_3^13 - 5638698676760470512689742545439/764520360508451387006789370923*c_01\ 01_3^12 + 15493382696282252697520912570718/764520360508451387006789\ 370923*c_0101_3^11 - 1479621522702014357457803780980/44971785912261\ 846294517021819*c_0101_3^10 + 22455045876140023362853861811554/7645\ 20360508451387006789370923*c_0101_3^9 - 259564062166755562062766418258/44971785912261846294517021819*c_0101\ _3^8 - 15890878890759059460108842294375/764520360508451387006789370\ 923*c_0101_3^7 + 23422247470167697018018058392335/76452036050845138\ 7006789370923*c_0101_3^6 - 16323491621519077399041784953914/7645203\ 60508451387006789370923*c_0101_3^5 + 5819646052429485095366925339063/764520360508451387006789370923*c_01\ 01_3^4 + 2125182673841778489849756328109/76452036050845138700678937\ 0923*c_0101_3^3 - 4963757730157229022513173726079/76452036050845138\ 7006789370923*c_0101_3^2 + 2985204421537892988279888312425/76452036\ 0508451387006789370923*c_0101_3 - 2807701756513094129073366413/1092\ 17194358350198143827052989, c_0011_4 - 41531120183064287549017080459538/825065875882129510673097637\ 3979197*c_0101_3^16 + 213870596077426327622813168829164/82506587588\ 21295106730976373979197*c_0101_3^15 - 2349432291901726812989710291875710/82506587588212951067309763739791\ 97*c_0101_3^14 + 21940696541090944936762653609972402/82506587588212\ 95106730976373979197*c_0101_3^13 - 101309432381617038731010735462354767/825065875882129510673097637397\ 9197*c_0101_3^12 + 250122637387524358360537943104223357/82506587588\ 21295106730976373979197*c_0101_3^11 - 338749766256625727748319286049330219/825065875882129510673097637397\ 9197*c_0101_3^10 + 192029029858288371524857588429905733/82506587588\ 21295106730976373979197*c_0101_3^9 + 120812784336336102883979995010524992/825065875882129510673097637397\ 9197*c_0101_3^8 - 331392304098948390521748091781340563/825065875882\ 1295106730976373979197*c_0101_3^7 + 287467113928938021188883330010252902/825065875882129510673097637397\ 9197*c_0101_3^6 - 91880853618015914127120420557382782/8250658758821\ 295106730976373979197*c_0101_3^5 - 23402710583257869630417488510603031/8250658758821295106730976373979\ 197*c_0101_3^4 + 71893820781350051949986422460418766/82506587588212\ 95106730976373979197*c_0101_3^3 - 657640751826703163847080531129702\ 24/8250658758821295106730976373979197*c_0101_3^2 + 2639237486931344300556378006079191/82506587588212951067309763739791\ 97*c_0101_3 + 901809912311189082259469545950936/1178665536974470729\ 532996624854171, c_0011_5 - 27468475996646851981412617299953/200373141285660024020609426\ 22520907*c_0101_3^16 + 7013148726070242178860039873132/117866553697\ 4470729532996624854171*c_0101_3^15 - 1436859409427171341289593537023757/20037314128566002402060942622520\ 907*c_0101_3^14 + 13227911704915184466923983655327064/2003731412856\ 6002402060942622520907*c_0101_3^13 - 55050761009205397151088324315325327/2003731412856600240206094262252\ 0907*c_0101_3^12 + 109128791381980700094337165005768783/20037314128\ 566002402060942622520907*c_0101_3^11 - 4538445649256655941094045199414375/11786655369744707295329966248541\ 71*c_0101_3^10 - 100710417469257103476367443877839694/2003731412856\ 6002402060942622520907*c_0101_3^9 + 16401397542052276265985721619241133/1178665536974470729532996624854\ 171*c_0101_3^8 - 268247768963744400411444767364693880/2003731412856\ 6002402060942622520907*c_0101_3^7 + 74827624893550004640884781267720930/2003731412856600240206094262252\ 0907*c_0101_3^6 + 114330014870598216010200154136939457/200373141285\ 66002402060942622520907*c_0101_3^5 - 137624578184134259981662797390722023/200373141285660024020609426225\ 20907*c_0101_3^4 + 98999439360189027896334013959385905/200373141285\ 66002402060942622520907*c_0101_3^3 - 28164041503472262731854078107629875/2003731412856600240206094262252\ 0907*c_0101_3^2 - 19902130390106617735837082242987010/2003731412856\ 6002402060942622520907*c_0101_3 + 217542871489822610093785206877447\ 0/2862473446938000343151563231788701, c_0011_6 + 47181989718486984690988453881451/825065875882129510673097637\ 3979197*c_0101_3^16 - 255074360964963097572689252055071/82506587588\ 21295106730976373979197*c_0101_3^15 + 2735112040989501842950105761206373/82506587588212951067309763739791\ 97*c_0101_3^14 - 25638694294063683356319555160634306/82506587588212\ 95106730976373979197*c_0101_3^13 + 121732062409987830980891729390067242/825065875882129510673097637397\ 9197*c_0101_3^12 - 316096738842045466822859795737634505/82506587588\ 21295106730976373979197*c_0101_3^11 + 470937604752272813406160535833735035/825065875882129510673097637397\ 9197*c_0101_3^10 - 356304278282798914861349676389837740/82506587588\ 21295106730976373979197*c_0101_3^9 - 14525373561351289102691852742209547/8250658758821295106730976373979\ 197*c_0101_3^8 + 351079568350880212266737932589926035/8250658758821\ 295106730976373979197*c_0101_3^7 - 411328233816948280814529743142121842/825065875882129510673097637397\ 9197*c_0101_3^6 + 228418410688765274653592951916479869/825065875882\ 1295106730976373979197*c_0101_3^5 - 57689367844105057796762081964560032/8250658758821295106730976373979\ 197*c_0101_3^4 - 52982592432680020265915478438736453/82506587588212\ 95106730976373979197*c_0101_3^3 + 908772692080747384775204839933956\ 10/8250658758821295106730976373979197*c_0101_3^2 - 25456930477743609609651024489184252/8250658758821295106730976373979\ 197*c_0101_3 - 213980462190671175691730294318761/117866553697447072\ 9532996624854171, c_0101_0 - 20740211890811692671205734671567/200373141285660024020609426\ 22520907*c_0101_3^16 + 3689265671229646168783308569050/117866553697\ 4470729532996624854171*c_0101_3^15 - 970628058662924508878481086068779/200373141285660024020609426225209\ 07*c_0101_3^14 + 8593790878019989942599438948335591/200373141285660\ 02402060942622520907*c_0101_3^13 - 28689761031154822183708591083554067/2003731412856600240206094262252\ 0907*c_0101_3^12 + 30488552119807314724275850769040644/200373141285\ 66002402060942622520907*c_0101_3^11 + 2057259692647674431553448719660751/11786655369744707295329966248541\ 71*c_0101_3^10 - 111688689681989272016416878530043282/2003731412856\ 6002402060942622520907*c_0101_3^9 + 3567256104806396942971147280642988/11786655369744707295329966248541\ 71*c_0101_3^8 + 77196716418005043961446017728956839/200373141285660\ 02402060942622520907*c_0101_3^7 - 145423903647961121339560178250543\ 913/20037314128566002402060942622520907*c_0101_3^6 + 89611726017376279833658802086065522/2003731412856600240206094262252\ 0907*c_0101_3^5 + 35361450878865668307629365134968335/2003731412856\ 6002402060942622520907*c_0101_3^4 - 23111407063487527156259310557199715/2003731412856600240206094262252\ 0907*c_0101_3^3 + 28151066344851061279794622848075189/2003731412856\ 6002402060942622520907*c_0101_3^2 - 38216022084607508264807388531903319/2003731412856600240206094262252\ 0907*c_0101_3 - 2315904289157248654462301908381683/2862473446938000\ 343151563231788701, c_0101_3^17 - 6*c_0101_3^16 + 61*c_0101_3^15 - 577*c_0101_3^14 + 2893*c_0101_3^13 - 8142*c_0101_3^12 + 13570*c_0101_3^11 - 12598*c_0101_3^10 + 3117*c_0101_3^9 + 8089*c_0101_3^8 - 12645*c_0101_3^7 + 8902*c_0101_3^6 - 3069*c_0101_3^5 - 850*c_0101_3^4 + 2599*c_0101_3^3 - 1350*c_0101_3^2 + 63*c_0101_3 + 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB