Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 3802365662] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0194 geometric_solution 4.00732966 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735163684102 0.051744791348 2 0 2 0 0132 2310 1023 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 -1 1 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.911300581087 0.043524365296 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.869091004225 0.093832003079 4 2 4 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.815131650543 0.289639451955 3 5 3 6 0132 0132 1023 0132 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 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.465810866533 0.861735195231 6 4 6 6 3012 0132 2310 3120 0 0 0 0 0 1 0 -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 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.517403305719 0.867839057416 5 5 4 5 3120 3201 0132 1230 0 0 0 0 0 1 -1 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 -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.517403305719 0.867839057416 ==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' : d['c_0011_1'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], '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_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_0101_5']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 5333114216784454839859768076270318675762/13995825804492723398848133\ 397561528025*c_0101_5^22 - 7816893151705837018591465226771102929627\ /1999403686356103342692590485365932575*c_0101_5^21 - 171292317162334284343392487212216547311534/139958258044927233988481\ 33397561528025*c_0101_5^20 + 94741918018706260450820995755325665444\ 404/2799165160898544679769626679512305605*c_0101_5^19 + 3378628188407769637857485678788933201226238/13995825804492723398848\ 133397561528025*c_0101_5^18 + 2602609459455815352316644667699941668\ 40814/1272347800408429399895284854323775275*c_0101_5^17 - 17693271261651401025876823652441594569256703/1399582580449272339884\ 8133397561528025*c_0101_5^16 - 191061692894447835102225399309230247\ 30645159/13995825804492723398848133397561528025*c_0101_5^15 + 38485856494066003355216450350992381654131759/1399582580449272339884\ 8133397561528025*c_0101_5^14 + 545966214088409450008807792527630101\ 687657/399880737271220668538518097073186515*c_0101_5^13 - 838466646825959059415268514375551246243073/254469560081685879979056\ 970864755055*c_0101_5^12 + 3387134480780531383298356258021709851168\ 719/1999403686356103342692590485365932575*c_0101_5^11 + 51016543637677233124669770710514669715981881/1399582580449272339884\ 8133397561528025*c_0101_5^10 - 322540763419778528003700687120228071\ 94612178/13995825804492723398848133397561528025*c_0101_5^9 - 43756197562047336138471822558723966058589679/1399582580449272339884\ 8133397561528025*c_0101_5^8 - 6816092824765983332424011032599763287\ 642449/13995825804492723398848133397561528025*c_0101_5^7 + 1637114665878368914796092512241976667770527/19994036863561033426925\ 90485365932575*c_0101_5^6 + 118099377901269214741900758667221419211\ 93013/13995825804492723398848133397561528025*c_0101_5^5 - 463290027948595165523560361047343031807944/139958258044927233988481\ 33397561528025*c_0101_5^4 - 368440750662205899751280910473209897328\ 6331/13995825804492723398848133397561528025*c_0101_5^3 + 1388754959894300770866194558347446040508/25446956008168587997905697\ 0864755055*c_0101_5^2 + 403804233202146686885494438032405327961634/\ 13995825804492723398848133397561528025*c_0101_5 - 51052482268840988091837175743626495084283/1399582580449272339884813\ 3397561528025, c_0011_0 - 1, c_0011_1 + 1322914822095827123818070177712415914627/1999403686356103342\ 692590485365932575*c_0101_5^22 + 1365697625978043874369524981279902\ 0700744/1999403686356103342692590485365932575*c_0101_5^21 + 43676212603316648784013309897008521673389/1999403686356103342692590\ 485365932575*c_0101_5^20 - 2231448445491604650724824408018647190735\ 9/399880737271220668538518097073186515*c_0101_5^19 - 835998068478052170903379911348740770366348/199940368635610334269259\ 0485365932575*c_0101_5^18 - 722100134725504286324591143703960802520\ 94/181763971486918485699326407760539325*c_0101_5^17 + 4150325640870583576110067655957394720156638/19994036863561033426925\ 90485365932575*c_0101_5^16 + 48951482327664569018129034215127753948\ 59264/1999403686356103342692590485365932575*c_0101_5^15 - 8185891722128645476480992481740195843740014/19994036863561033426925\ 90485365932575*c_0101_5^14 - 91178039849334803277137710643355968652\ 8174/399880737271220668538518097073186515*c_0101_5^13 + 161447536482483588956953330186199755265683/363527942973836971398652\ 81552107865*c_0101_5^12 - 53525827898890528546111771901144736588842\ 68/1999403686356103342692590485365932575*c_0101_5^11 - 10916383995531309163930672479896592288826826/1999403686356103342692\ 590485365932575*c_0101_5^10 + 5054738182147867223179252238950196285\ 495388/1999403686356103342692590485365932575*c_0101_5^9 + 9653777938649371810716780919044359798910884/19994036863561033426925\ 90485365932575*c_0101_5^8 + 413658269486095393579252766007682988823\ 8429/1999403686356103342692590485365932575*c_0101_5^7 - 1136995472448960176731751181223404579751294/19994036863561033426925\ 90485365932575*c_0101_5^6 - 257972686995730953542474877668379790662\ 0698/1999403686356103342692590485365932575*c_0101_5^5 - 468643403466668920106196432367028257806001/199940368635610334269259\ 0485365932575*c_0101_5^4 + 4573613223998904288958588344175282777673\ 01/1999403686356103342692590485365932575*c_0101_5^3 + 1274197625266143127148444622730403117752/36352794297383697139865281\ 552107865*c_0101_5^2 - 30247608095564876852054534674259383646214/19\ 99403686356103342692590485365932575*c_0101_5 + 1954964996773864153032292314099120635218/19994036863561033426925904\ 85365932575, c_0011_6 - 2687882355680036866764838346919126906672/1999403686356103342\ 692590485365932575*c_0101_5^22 - 2775929985838734259689992515358846\ 7092134/1999403686356103342692590485365932575*c_0101_5^21 - 88849254608056306431061231896808147551604/1999403686356103342692590\ 485365932575*c_0101_5^20 + 4527850695870772014684665917283838991387\ 9/399880737271220668538518097073186515*c_0101_5^19 + 1699715253614169208875113923601317440440453/19994036863561033426925\ 90485365932575*c_0101_5^18 + 14729204867918334888457901309225065193\ 9309/181763971486918485699326407760539325*c_0101_5^17 - 8430028443445154410000088759874715740096118/19994036863561033426925\ 90485365932575*c_0101_5^16 - 99828756455268809907533819295088962294\ 13904/1999403686356103342692590485365932575*c_0101_5^15 + 16614704770621678219799200336557300359707454/1999403686356103342692\ 590485365932575*c_0101_5^14 + 1868793054131790337009286372801659087\ 125674/399880737271220668538518097073186515*c_0101_5^13 - 328286406345569996273042709711737672704823/363527942973836971398652\ 81552107865*c_0101_5^12 + 10808584395206729342542357819038571771890\ 098/1999403686356103342692590485365932575*c_0101_5^11 + 22268718393196959567842740551141657832779161/1999403686356103342692\ 590485365932575*c_0101_5^10 - 1023533732765844384266003486726798767\ 5910518/1999403686356103342692590485365932575*c_0101_5^9 - 19680888886464258971256551424163654174170124/1999403686356103342692\ 590485365932575*c_0101_5^8 - 84437763540363913026460167616249086458\ 01844/1999403686356103342692590485365932575*c_0101_5^7 + 2301111201662069803119218761454206816991559/19994036863561033426925\ 90485365932575*c_0101_5^6 + 525785571747436636802129871903999621019\ 4578/1999403686356103342692590485365932575*c_0101_5^5 + 963875594072527046461491039063245845009486/199940368635610334269259\ 0485365932575*c_0101_5^4 - 9328996322476137253422280783988746490699\ 61/1999403686356103342692590485365932575*c_0101_5^3 - 2618649109460294225569196815503717676992/36352794297383697139865281\ 552107865*c_0101_5^2 + 61888972341224099093027943426785856660354/19\ 99403686356103342692590485365932575*c_0101_5 - 3995987309567232136029379121369956455898/19994036863561033426925904\ 85365932575, c_0101_0 + 580656962770508695057707653904516506737/19994036863561033426\ 92590485365932575*c_0101_5^22 + 59921450265262137809228188192256362\ 17489/1999403686356103342692590485365932575*c_0101_5^21 + 19150250425614388340471053231009852449959/1999403686356103342692590\ 485365932575*c_0101_5^20 - 9803942994372210903069171783733633087694\ /399880737271220668538518097073186515*c_0101_5^19 - 366683993408685962787119643538611054664888/199940368635610334269259\ 0485365932575*c_0101_5^18 - 315916540892824490082776512816060387837\ 39/181763971486918485699326407760539325*c_0101_5^17 + 1821552665853890916364187989236102579657753/19994036863561033426925\ 90485365932575*c_0101_5^16 + 21410990701248679356674573347671536723\ 62559/1999403686356103342692590485365932575*c_0101_5^15 - 3592733105881049858453569926295560585341484/19994036863561033426925\ 90485365932575*c_0101_5^14 - 39672429010633727555795636542897168204\ 7274/399880737271220668538518097073186515*c_0101_5^13 + 70670874590162064169327009794473876762718/3635279429738369713986528\ 1552107865*c_0101_5^12 - 236036109770884593319514804056155119840855\ 8/1999403686356103342692590485365932575*c_0101_5^11 - 4768511959088781403896072624283247687625756/19994036863561033426925\ 90485365932575*c_0101_5^10 + 22167994564959717444329373089634341003\ 43978/1999403686356103342692590485365932575*c_0101_5^9 + 4221919685500849541473177526955392208305154/19994036863561033426925\ 90485365932575*c_0101_5^8 + 181345365751975822211667342928985003492\ 8124/1999403686356103342692590485365932575*c_0101_5^7 - 497182123412666581239894508429305363064214/199940368635610334269259\ 0485365932575*c_0101_5^6 - 1127899365927467246959444117224574042626\ 763/1999403686356103342692590485365932575*c_0101_5^5 - 204879104397139223205130886088527153762356/199940368635610334269259\ 0485365932575*c_0101_5^4 + 1990893212586246928624910465215549149177\ 06/1999403686356103342692590485365932575*c_0101_5^3 + 557592039357628237019108521381684583222/363527942973836971398652815\ 52107865*c_0101_5^2 - 13084970172203146615193442622738615567109/199\ 9403686356103342692590485365932575*c_0101_5 + 839097416247872780240644636688134085883/199940368635610334269259048\ 5365932575, c_0101_1 + 1502302089367357154583934964188965402578/1999403686356103342\ 692590485365932575*c_0101_5^22 + 1551772920630935153872842887854490\ 4211891/1999403686356103342692590485365932575*c_0101_5^21 + 49684377714073429825906571258113625314346/1999403686356103342692590\ 485365932575*c_0101_5^20 - 2529317053873997631973368972907276320303\ 6/399880737271220668538518097073186515*c_0101_5^19 - 950266016491718317435473832292150654168422/199940368635610334269259\ 0485365932575*c_0101_5^18 - 824573585346079523557936001443184219663\ 41/181763971486918485699326407760539325*c_0101_5^17 + 4711125493854417198506937802206399449253807/19994036863561033426925\ 90485365932575*c_0101_5^16 + 55882290260217223411567667637735246835\ 07671/1999403686356103342692590485365932575*c_0101_5^15 - 9282322662892198398872078018927652157213421/19994036863561033426925\ 90485365932575*c_0101_5^14 - 10483551334415635564622796554134546917\ 78351/399880737271220668538518097073186515*c_0101_5^13 + 183546817343271749088983436683557365206592/363527942973836971398652\ 81552107865*c_0101_5^12 - 60248233821771011653709932076772855211518\ 02/1999403686356103342692590485365932575*c_0101_5^11 - 12467503519704720400289411827168891180144889/1999403686356103342692\ 590485365932575*c_0101_5^10 + 5712440605516524787235821277134584818\ 312682/1999403686356103342692590485365932575*c_0101_5^9 + 11016505857069682725731782916457023545459776/1999403686356103342692\ 590485365932575*c_0101_5^8 + 47283071797330895304246703805747911530\ 71331/1999403686356103342692590485365932575*c_0101_5^7 - 1284656794843091822357475077339799282422116/19994036863561033426925\ 90485365932575*c_0101_5^6 - 294288633298500479781136019902426623684\ 9672/1999403686356103342692590485365932575*c_0101_5^5 - 541579737891413656913223358785998242980289/199940368635610334269259\ 0485365932575*c_0101_5^4 + 5224126904488486680081723700981851847561\ 14/1999403686356103342692590485365932575*c_0101_5^3 + 1471352989194032742836072173086366138858/36352794297383697139865281\ 552107865*c_0101_5^2 - 34713260225801150782193751534378562017071/19\ 99403686356103342692590485365932575*c_0101_5 + 2241924312674167354367042265074253805702/19994036863561033426925904\ 85365932575, c_0101_4 - 3483398425358838953234995452972722774162/1999403686356103342\ 692590485365932575*c_0101_5^22 - 3597221003404916165126147518026918\ 7589314/1999403686356103342692590485365932575*c_0101_5^21 - 115117577033045523450264261863442065916909/199940368635610334269259\ 0485365932575*c_0101_5^20 + 586952765181847103021727527680059170883\ 19/399880737271220668538518097073186515*c_0101_5^19 + 2202493507912458017341797883170116022270538/19994036863561033426925\ 90485365932575*c_0101_5^18 + 19073623856004421995992738438399554245\ 3289/181763971486918485699326407760539325*c_0101_5^17 - 10925917342610789292541268885141349825506778/1999403686356103342692\ 590485365932575*c_0101_5^16 - 1292834677977428434142481841117405406\ 9463484/1999403686356103342692590485365932575*c_0101_5^15 + 21537711103921218777541154232970072721910009/1999403686356103342692\ 590485365932575*c_0101_5^14 + 2418098835100628740489669845401909907\ 390909/399880737271220668538518097073186515*c_0101_5^13 - 425430243746061285519525642440279017801608/363527942973836971398652\ 81552107865*c_0101_5^12 + 14022870625238727417831455700712477124149\ 133/1999403686356103342692590485365932575*c_0101_5^11 + 28840284369874248742194185264479062260706506/1999403686356103342692\ 590485365932575*c_0101_5^10 - 1327552969009660194028440331816129883\ 7213203/1999403686356103342692590485365932575*c_0101_5^9 - 25492607062784532626364947436305656662524429/1999403686356103342692\ 590485365932575*c_0101_5^8 - 10930657794076811168386449479150321447\ 941474/1999403686356103342692590485365932575*c_0101_5^7 + 2987046404700477553962068868910229247011714/19994036863561033426925\ 90485365932575*c_0101_5^6 + 681096461073405384634873406981197279814\ 1363/1999403686356103342692590485365932575*c_0101_5^5 + 1245958036042355249478363166859249460400681/19994036863561033426925\ 90485365932575*c_0101_5^4 - 120884793412203367003283328713071186097\ 1256/1999403686356103342692590485365932575*c_0101_5^3 - 3386476154090923001634956139793370876412/36352794297383697139865281\ 552107865*c_0101_5^2 + 80204367642696723792890283331861363870584/19\ 99403686356103342692590485365932575*c_0101_5 - 5182887874648754440432226371323322877233/19994036863561033426925904\ 85365932575, c_0101_5^23 + 11*c_0101_5^22 + 40*c_0101_5^21 - 62*c_0101_5^20 - 689*c_0101_5^19 - 1028*c_0101_5^18 + 2731*c_0101_5^17 + 5823*c_0101_5^16 - 3684*c_0101_5^15 - 7633*c_0101_5^14 + 4380*c_0101_5^13 + 496*c_0101_5^12 - 10989*c_0101_5^11 - 1763*c_0101_5^10 + 9883*c_0101_5^9 + 8065*c_0101_5^8 + 1256*c_0101_5^7 - 2532*c_0101_5^6 - 1674*c_0101_5^5 + 106*c_0101_5^4 + 287*c_0101_5^3 + 13*c_0101_5^2 - 14*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB