Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 1612840125] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1458 geometric_solution 5.28044374 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 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.308534649546 0.158181614402 0 0 2 2 0132 2310 2310 0132 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 0 0 0 -1 0 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 1.813315640002 1.224770944473 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -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 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.746172182033 0.413282922319 2 5 6 6 0132 0132 2310 0132 0 0 0 0 0 1 0 -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 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.289418407838 0.635872841681 6 6 2 5 3201 1023 0132 0132 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 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.289418407838 0.635872841681 5 3 4 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0.962029750552 0.950691888571 4 3 3 4 1023 3201 0132 2310 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 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.592952299442 1.302758405882 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 75485862944794118518795500662383175681199047/8753293894350079407733\ 96979547844914565527552*c_0101_5^32 + 469379866970542350304035713786400364457785033/218832347358751985193\ 349244886961228641381888*c_0101_5^30 - 958787068660707715611991145972419275051700103/364720578931253308655\ 58207481160204773563648*c_0101_5^28 + 178475103864961651422510219912515008127885866525/875329389435007940\ 773396979547844914565527552*c_0101_5^26 - 238842379861646056433884634591296730605489082465/218832347358751985\ 193349244886961228641381888*c_0101_5^24 + 1869245424367148878378290952394824020864711640055/43766469471750397\ 0386698489773922457282763776*c_0101_5^22 - 800909856683596972582410233098793979315467078077/625235278167862814\ 83814069967703208183251968*c_0101_5^20 + 4377979216383289989270729758243535850998304191781/14588823157250132\ 3462232829924640819094254592*c_0101_5^18 - 281490728099853492127349375908567247716696303961/521029398473219012\ 3651172497308600681937664*c_0101_5^16 + 33438773126233705802752996478501239960163026059397/4376646947175039\ 70386698489773922457282763776*c_0101_5^14 - 24545716145295899751655520343253433016522869965663/2188323473587519\ 85193349244886961228641381888*c_0101_5^12 + 7026407844357767811361415341569486307366941702949/36472057893125330\ 865558207481160204773563648*c_0101_5^10 - 97589623646152716641304680013902773395420975200815/4376646947175039\ 70386698489773922457282763776*c_0101_5^8 + 46836573042815899192872447790945428532639634035775/4376646947175039\ 70386698489773922457282763776*c_0101_5^6 - 940870206877429144011240606550000179009150457427/145888231572501323\ 462232829924640819094254592*c_0101_5^4 - 126582481313865119849061303011701432303259371103/324196070161114052\ 13829517761031293132056576*c_0101_5^2 - 4035085024957620043750557704070991883923829787/10806535672037135071\ 276505920343764377352192, c_0011_0 - 1, c_0011_2 - 4677366803908167258458527228504521763/1206435654930753140063\ 94732209750522302464*c_0101_5^32 + 14190470950602872778107516815960761871/1508044568663441425079934152\ 6218815287808*c_0101_5^30 - 113104699386510096770783811457970554387\ /10053630457756276167199561017479210191872*c_0101_5^28 + 10234535695258094092328927787836711939621/1206435654930753140063947\ 32209750522302464*c_0101_5^26 - 13233826025584770950695889423135457\ 208519/30160891373268828501598683052437630575616*c_0101_5^24 + 99457200530533541001838348063561612593271/6032178274653765700319736\ 6104875261151232*c_0101_5^22 - 284975591272842429453689414960355755\ 616935/60321782746537657003197366104875261151232*c_0101_5^20 + 210504276663489785055470426049944222744773/201072609155125523343991\ 22034958420383744*c_0101_5^18 - 87541328142176264387417740747655800\ 900591/5026815228878138083599780508739605095936*c_0101_5^16 + 1353517845154457574701560454068463898442265/60321782746537657003197\ 366104875261151232*c_0101_5^14 - 1030555693374725685709249061687539\ 791346817/30160891373268828501598683052437630575616*c_0101_5^12 + 51936435954889972777933968929022660080807/8378025381463563472666300\ 84789934182656*c_0101_5^10 - 34648281517732962728798724698508406246\ 47359/60321782746537657003197366104875261151232*c_0101_5^8 + 242987697124556245798603318232590483315771/603217827465376570031973\ 66104875261151232*c_0101_5^6 + 254132688107790227856238675329703525\ 389589/20107260915512552334399122034958420383744*c_0101_5^4 - 6751392765482811407914900199501992260587/44682802034472338520886937\ 85546315640832*c_0101_5^2 - 208436466012172603465379572863866094489\ 7/4468280203447233852088693785546315640832, c_0011_4 + 27548280959602525935163091194990672414835/250094111267145125\ 935256279870812832733007872*c_0101_5^32 - 84514751923725697776224129308591383956641/3126176390839314074190703\ 4983851604091625984*c_0101_5^30 + 204461223854484652330250944373589\ 9168355525/62523527816786281483814069967703208183251968*c_0101_5^28 - 6947278923397701098901034713641825502481853/277882345852383473261\ 39586652312536970334208*c_0101_5^26 + 82278250592453270619288445311519435891779231/6252352781678628148381\ 4069967703208183251968*c_0101_5^24 - 632033394522328388080497085501055712583625623/125047055633572562967\ 628139935406416366503936*c_0101_5^22 + 619825831766801330901400383587404624152214909/416823518778575209892\ 09379978468805455501312*c_0101_5^20 - 1421558138853140670190851377064619144892871077/41682351877857520989\ 209379978468805455501312*c_0101_5^18 + 207602588447313563435488159944051779850147109/347352932315479341576\ 7448331539067121291776*c_0101_5^16 - 10317863700993553795492316803482443583696951433/1250470556335725629\ 67628139935406416366503936*c_0101_5^14 + 7767972658366915642582687499395206060610218569/62523527816786281483\ 814069967703208183251968*c_0101_5^12 - 3382850941392120572807937070109490674998243333/15630881954196570370\ 953517491925802045812992*c_0101_5^10 + 28789144285324719964495974728961495810391838495/1250470556335725629\ 67628139935406416366503936*c_0101_5^8 - 418548732330584608526257064432829191479822417/463137243087305788768\ 9931108718756161722368*c_0101_5^6 + 146459590136790705751450774366982881355205497/138941172926191736630\ 69793326156268485167104*c_0101_5^4 - 9106952143549777478782533885007461639417687/30875816205820385917932\ 87405812504107814912*c_0101_5^2 - 257812203488308901526935423423815\ 60517621/3087581620582038591793287405812504107814912, c_0101_0 - 2049570011885874262428050314481443223039/1563088195419657037\ 0953517491925802045812992*c_0101_5^33 + 51917853012933991378792603476815847330181/1563088195419657037095351\ 7491925802045812992*c_0101_5^31 - 240043970361306942061948738198717\ 03881421/578921553859132235961241388589844520215296*c_0101_5^29 + 2565709290327357756324781392469733309329301/78154409770982851854767\ 58745962901022906496*c_0101_5^27 - 14075580001978624760739331565421874858421587/7815440977098285185476\ 758745962901022906496*c_0101_5^25 + 7082989976986649620088698716458796764683261/97693012213728564818459\ 4843245362627863312*c_0101_5^23 - 175333690926141752763239592952437\ 474672681991/7815440977098285185476758745962901022906496*c_0101_5^2\ 1 + 4436753242551036788535297038549268027905465/8141084351144047068\ 2049570270446885655276*c_0101_5^19 - 2095185701844007597759092206051342495137717/20352710877860117670512\ 392567611721413819*c_0101_5^17 + 1201219754730383138121925194766863\ 733962099373/7815440977098285185476758745962901022906496*c_0101_5^1\ 5 - 1750020615204594446484780213393721776428178641/7815440977098285\ 185476758745962901022906496*c_0101_5^13 + 968436946706515761585194874792390885330357221/260514699236609506182\ 5586248654300340968832*c_0101_5^11 - 925541369476531891036744809311162668365527623/195386024427457129636\ 9189686490725255726624*c_0101_5^9 + 2486420765820668239065201471502772005486458359/78154409770982851854\ 76758745962901022906496*c_0101_5^7 - 115498435153014441970217344979903778858805183/130257349618304753091\ 2793124327150170484416*c_0101_5^5 + 1116166378573846745522587800925866527150215/19297385128637741198708\ 0462863281506738432*c_0101_5^3 + 7006850462588250011173355313044909\ 0836817/48243462821594352996770115715820376684608*c_0101_5, c_0101_1 - 3775016813023566384113886640681785503/9048267411980648550479\ 6049157312891726848*c_0101_5^32 + 114454245270297280581936440931759\ 49537/11310334264975810688099506144664111465856*c_0101_5^30 - 273695111753239939431486242789046813925/226206685299516213761990122\ 89328222931712*c_0101_5^28 + 27542537346454170757471660940467419231\ 23/30160891373268828501598683052437630575616*c_0101_5^26 - 10708557317797953202221231065966696286791/2262066852995162137619901\ 2289328222931712*c_0101_5^24 + 808549431217845570071251616872984919\ 35627/45241337059903242752398024578656445863424*c_0101_5^22 - 25951579293321237335742537249402297847379/5026815228878138083599780\ 508739605095936*c_0101_5^20 + 1748151641601552149308200987415127619\ 88049/15080445686634414250799341526218815287808*c_0101_5^18 - 24808644926097480646343903775681110119403/1256703807219534520899945\ 127184901273984*c_0101_5^16 + 1198700068669949279186908920596943730\ 078597/45241337059903242752398024578656445863424*c_0101_5^14 - 924318881624494569972144829203726989632001/226206685299516213761990\ 12289328222931712*c_0101_5^12 + 20345097721081976761776500176762362\ 0291197/2827583566243952672024876536166027866464*c_0101_5^10 - 3140061725690691838905193163431097292306467/45241337059903242752398\ 024578656445863424*c_0101_5^8 + 29007214246059616774894688528874984\ 2953525/15080445686634414250799341526218815287808*c_0101_5^6 - 9794945886745776180091066565649232116245/50268152288781380835997805\ 08739605095936*c_0101_5^4 + 298547808691341049496018610635658057539\ /1117070050861808463022173446386578910208*c_0101_5^2 + 847570072847997571538773112616127947385/111707005086180846302217344\ 6386578910208, c_0101_3 + 798043407519885049464365798561610709/10053630457756276167199\ 561017479210191872*c_0101_5^32 - 2907525153920003079607283726760408\ 8971/15080445686634414250799341526218815287808*c_0101_5^30 + 347880846328600020532135392912278603515/150804456866344142507993415\ 26218815287808*c_0101_5^28 - 52514496705976857410661090635045884035\ 19/30160891373268828501598683052437630575616*c_0101_5^26 + 377741631150627366273933470976927692875/418901269073178173633315042\ 394967091328*c_0101_5^24 - 5119493156847547253629352729268864584277\ 7/15080445686634414250799341526218815287808*c_0101_5^22 + 147080340610948044225814013567693493235123/150804456866344142507993\ 41526218815287808*c_0101_5^20 - 36361307601696151312638326819884426\ 789529/1675605076292712694533260169579868365312*c_0101_5^18 + 45679580531218658124240396017117424627131/1256703807219534520899945\ 127184901273984*c_0101_5^16 - 2381009097502034727708133369446951655\ 84871/5026815228878138083599780508739605095936*c_0101_5^14 + 272541712244102923180724374692336019950607/377011142165860356269983\ 5381554703821952*c_0101_5^12 - 981753274546114536651194594342217249\ 072869/7540222843317207125399670763109407643904*c_0101_5^10 + 1841700235402794381180618359868908360388473/15080445686634414250799\ 341526218815287808*c_0101_5^8 - 22949966622522675431724089122357725\ 1255727/15080445686634414250799341526218815287808*c_0101_5^6 - 92218695746724500709840743378691414496583/5026815228878138083599780\ 508739605095936*c_0101_5^4 + 26092816022329454315284930858997172391\ 19/1117070050861808463022173446386578910208*c_0101_5^2 + 23399544458606290532179836471887095823/1117070050861808463022173446\ 386578910208, c_0101_5^34 - 25*c_0101_5^32 + 308*c_0101_5^30 - 2403*c_0101_5^28 + 12955*c_0101_5^26 - 51118*c_0101_5^24 + 154740*c_0101_5^22 - 366468*c_0101_5^20 + 669474*c_0101_5^18 - 962590*c_0101_5^16 + 1407730*c_0101_5^14 - 2391356*c_0101_5^12 + 2858042*c_0101_5^10 - 1549404*c_0101_5^8 + 208008*c_0101_5^6 + 49005*c_0101_5^4 - 3402*c_0101_5^2 - 729 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB