Magma V2.19-8 Tue Aug 20 2013 17:54:23 on localhost [Seed = 2901220156] Type ? for help. Type -D to quit. Loading file "10_8__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_8 geometric_solution 6.08323484 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 0 0 0 0 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.003916240122 0.544104732701 2 3 4 0 1302 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 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.602255446407 0.238771841748 3 1 0 4 2310 2031 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -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.128703248571 0.492659631353 5 1 2 5 0132 0132 3201 2103 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 0 0 0 0 0 0 0 -12 0 -1 13 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.564497224548 0.663580847594 2 6 5 1 3120 0132 3120 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564497224548 0.663580847594 3 6 4 3 0132 3201 3120 2103 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 0 0 0 0 0 -1 1 12 0 1 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564497224548 0.663580847594 6 4 5 6 3201 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804484584688 0.735812473576 ==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' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0101_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_2']), 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_1001_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0011_1'], '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_2, c_0101_0, c_0101_4, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 10863619482116152457712310292361635/1029861971711686102119500476837\ 32059*c_1001_1^13 + 41142640100916940517984697139084102/10298619717\ 1168610211950047683732059*c_1001_1^12 - 391549438610051013420055353887151783/102986197171168610211950047683\ 732059*c_1001_1^11 + 548207139700627519859304248855489629/102986197\ 171168610211950047683732059*c_1001_1^10 - 347188903659234643071107866914153936/936238156101532820108636797124\ 8369*c_1001_1^9 - 78113614765238023443158980732118587/2511858467589\ 478297852440187408099*c_1001_1^8 + 5665318737454323537711848482568623233/10298619717116861021195004768\ 3732059*c_1001_1^7 + 22716209281899168638543484255663617104/1029861\ 97171168610211950047683732059*c_1001_1^6 - 9096841987164812395920725065985816228/10298619717116861021195004768\ 3732059*c_1001_1^5 - 4129684096030259013817588924836046642/79220151\ 67012970016303849821825543*c_1001_1^4 + 6867628997630839218846638682314006387/10298619717116861021195004768\ 3732059*c_1001_1^3 + 31701700716649433264723017682847177387/1029861\ 97171168610211950047683732059*c_1001_1^2 + 28800198185327255595988209206371957/6093857820779207704849115247558\ 11*c_1001_1 - 1393069515762064231858855170258348563/792201516701297\ 0016303849821825543, c_0011_0 - 1, c_0011_1 + 541358239167729293854073913/2509349118471007290561878309099*\ c_1001_1^13 - 1033571964762409882412832221/250934911847100729056187\ 8309099*c_1001_1^12 + 15775509148799393982869315594/250934911847100\ 7290561878309099*c_1001_1^11 + 9302829963438658610575661463/2509349\ 118471007290561878309099*c_1001_1^10 + 141733324219957659158528997855/2509349118471007290561878309099*c_10\ 01_1^9 + 525808587216633867766927316777/250934911847100729056187830\ 9099*c_1001_1^8 + 41929624259388798124867681596/2509349118471007290\ 561878309099*c_1001_1^7 - 1480317942582020425690343322374/250934911\ 8471007290561878309099*c_1001_1^6 - 1545977129953802489930672005704/2509349118471007290561878309099*c_1\ 001_1^5 + 247616560856134378385644589822/19302685526700056081245217\ 7623*c_1001_1^4 + 4297557531775594104184297511286/25093491184710072\ 90561878309099*c_1001_1^3 - 1911953666843795842681532086359/2509349\ 118471007290561878309099*c_1001_1^2 - 231189331738185266108096285020/193026855267000560812452177623*c_100\ 1_1 + 34730017648816495351084878472/193026855267000560812452177623, c_0011_2 - 608067223428103548525381685/2509349118471007290561878309099*\ c_1001_1^13 + 2320174589821906326140730958/250934911847100729056187\ 8309099*c_1001_1^12 - 21861121436603246926670076908/250934911847100\ 7290561878309099*c_1001_1^11 + 32041415941029768364226471004/250934\ 9118471007290561878309099*c_1001_1^10 - 214559004128391374552099065212/2509349118471007290561878309099*c_10\ 01_1^9 - 136105961586105210326375603013/250934911847100729056187830\ 9099*c_1001_1^8 + 309222247618512397170838968298/250934911847100729\ 0561878309099*c_1001_1^7 + 1743802211355852836657266387108/25093491\ 18471007290561878309099*c_1001_1^6 - 213901303643142191012348185467/2509349118471007290561878309099*c_10\ 01_1^5 - 262752890575524354372595139821/193026855267000560812452177\ 623*c_1001_1^4 - 1584941804703549459019488138247/250934911847100729\ 0561878309099*c_1001_1^3 + 2328179928756282937247099704532/25093491\ 18471007290561878309099*c_1001_1^2 + 204309597375706897352017668809/193026855267000560812452177623*c_100\ 1_1 - 55240943040373333642540984218/193026855267000560812452177623, c_0101_0 + 306065840455678854884367911/2509349118471007290561878309099*\ c_1001_1^13 - 1166957619154132389540297918/250934911847100729056187\ 8309099*c_1001_1^12 + 11601303603549473786054853956/250934911847100\ 7290561878309099*c_1001_1^11 - 17753925108195617317581826574/250934\ 9118471007290561878309099*c_1001_1^10 + 128978476494220739085194536718/2509349118471007290561878309099*c_10\ 01_1^9 + 55267371195028952135714610762/2509349118471007290561878309\ 099*c_1001_1^8 + 83104021596871632167898308629/25093491184710072905\ 61878309099*c_1001_1^7 - 538443607298544214245856222232/25093491184\ 71007290561878309099*c_1001_1^6 + 548363814496812779989391619524/25\ 09349118471007290561878309099*c_1001_1^5 + 70977438589033001304879671497/193026855267000560812452177623*c_1001\ _1^4 - 389431128486529944679939678412/25093491184710072905618783090\ 99*c_1001_1^3 - 1787612318087812710225880785274/2509349118471007290\ 561878309099*c_1001_1^2 + 8039535648074679781712589837/193026855267\ 000560812452177623*c_1001_1 + 240582384989332313092388066430/193026\ 855267000560812452177623, c_0101_4 - 409518685867911065027096615/2509349118471007290561878309099*\ c_1001_1^13 + 1467466133740955325210468626/250934911847100729056187\ 8309099*c_1001_1^12 - 15309687151356901746500931599/250934911847100\ 7290561878309099*c_1001_1^11 + 20841549452091548629110331257/250934\ 9118471007290561878309099*c_1001_1^10 - 170562184852908486529797633502/2509349118471007290561878309099*c_10\ 01_1^9 - 109914081926929537755617162064/250934911847100729056187830\ 9099*c_1001_1^8 - 108204129945644798011631667022/250934911847100729\ 0561878309099*c_1001_1^7 + 608772124077383035279455742257/250934911\ 8471007290561878309099*c_1001_1^6 + 294896963603692711325717092847/2509349118471007290561878309099*c_10\ 01_1^5 - 12256457228981757764839567350/1930268552670005608124521776\ 23*c_1001_1^4 - 535182207863903367394991941124/25093491184710072905\ 61878309099*c_1001_1^3 - 1996192913458603899676268438617/2509349118\ 471007290561878309099*c_1001_1^2 + 20362612437988066326429569145/193026855267000560812452177623*c_1001\ _1 + 42593890304336488959093685484/193026855267000560812452177623, c_0101_6 + 97012376051784302047888145/193026855267000560812452177623*c_\ 1001_1^13 - 348857627695595189040571820/193026855267000560812452177\ 623*c_1001_1^12 + 3441214700951562012307438861/19302685526700056081\ 2452177623*c_1001_1^11 - 4257644684845948310114895856/1930268552670\ 00560812452177623*c_1001_1^10 + 33609284224028343811317910737/19302\ 6855267000560812452177623*c_1001_1^9 + 35357848154634765893931948911/193026855267000560812452177623*c_1001\ _1^8 - 41434209457887522680965794743/193026855267000560812452177623\ *c_1001_1^7 - 196427159716144991877307444030/1930268552670005608124\ 52177623*c_1001_1^6 + 36572093250837566955402067106/193026855267000\ 560812452177623*c_1001_1^5 + 481291609212353015693731838698/1930268\ 55267000560812452177623*c_1001_1^4 - 23750966347178735326506566285/193026855267000560812452177623*c_1001\ _1^3 - 205407844152863844490701335742/19302685526700056081245217762\ 3*c_1001_1^2 - 1917317531319495484127630229/19302685526700056081245\ 2177623*c_1001_1 + 12739030204932338364324688585/193026855267000560\ 812452177623, c_1001_1^14 - 3*c_1001_1^13 + 33*c_1001_1^12 - 22*c_1001_1^11 + 310*c_1001_1^10 + 570*c_1001_1^9 - 309*c_1001_1^8 - 2566*c_1001_1^7 - 870*c_1001_1^6 + 5707*c_1001_1^5 + 3503*c_1001_1^4 - 3482*c_1001_1^3 - 3198*c_1001_1^2 + 936*c_1001_1 + 1183 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB