Magma V2.19-8 Tue Aug 20 2013 16:14:13 on localhost [Seed = 2311591334] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s186 geometric_solution 4.29210628 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0.600401227518 0.111097906021 2 0 2 0 0132 2310 1023 0132 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 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.789185768999 0.186892011914 1 3 1 4 0132 0132 1023 0132 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 -1 1 0 -1 0 1 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.862394329188 0.687864248765 4 2 4 5 3120 0132 3012 0132 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 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.850137971638 0.804305215983 5 3 2 3 1023 1230 0132 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.850137971638 0.804305215983 5 4 3 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.379298888155 0.587237787840 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), '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_4'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_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_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 292324734137559710734079407747243946241341692567457893799/208273760\ 093928764898681370005269713939835755765954765760*c_0101_5^22 + 56017839525733389779144606417089435270306369478454202559/5206844002\ 348219122467034250131742848495893894148869144*c_0101_5^21 + 15931475378569039787867169519213837477839866120924873947/6508555002\ 93527390308379281266467856061986736768608643*c_0101_5^20 - 630571384231860672489610075359884868554495240076356814007/416547520\ 18785752979736274001053942787967151153190953152*c_0101_5^19 - 63503849684026895077945130131646942435791687759597103181019/2082737\ 60093928764898681370005269713939835755765954765760*c_0101_5^18 - 13599964848542839051272915756247795125222140398854397162761/2082737\ 6009392876489868137000526971393983575576595476576*c_0101_5^17 - 622977316252971723885457623214839587497449981954485347051/416547520\ 18785752979736274001053942787967151153190953152*c_0101_5^16 + 680086631899647269639735860479356409179790183426469140319913/208273\ 760093928764898681370005269713939835755765954765760*c_0101_5^15 - 194270805304556141870954085061254583495111349059359095183121/208273\ 760093928764898681370005269713939835755765954765760*c_0101_5^14 - 9278785508956689152245756519509146289506429957954084369371/10413688\ 004696438244934068500263485696991787788297738288*c_0101_5^13 - 180942092318185346226827061718748449390086111667760612698891/260342\ 20011741095612335171250658714242479469470744345720*c_0101_5^12 + 158770957919370576332453254166344990077977091260627540039963/650855\ 5002935273903083792812664678560619867367686086430*c_0101_5^11 - 2197612908881608246587110342408985936289259004999199713335227/20827\ 3760093928764898681370005269713939835755765954765760*c_0101_5^10 - 55544475012068673276394406910226973198945554581730617556371/1041368\ 8004696438244934068500263485696991787788297738288*c_0101_5^9 - 175549050982065711909797777435774876229461694462505430742443/104136\ 88004696438244934068500263485696991787788297738288*c_0101_5^8 + 2522976882260673859770133742590892634686085985916134294005877/10413\ 6880046964382449340685002634856969917877882977382880*c_0101_5^7 + 297120629998096936971184552134770654455248139759771911447855/416547\ 52018785752979736274001053942787967151153190953152*c_0101_5^6 - 1202421099964092467348397862674519556903421481505620519383065/41654\ 752018785752979736274001053942787967151153190953152*c_0101_5^5 + 1368707682632127551828934102736066483398562178968167395487311/10413\ 6880046964382449340685002634856969917877882977382880*c_0101_5^4 + 28279489244811853339863741947659476778474468783192274738631/2603422\ 0011741095612335171250658714242479469470744345720*c_0101_5^3 - 65699857833263684519661871443334548052105890259748649922977/2603422\ 0011741095612335171250658714242479469470744345720*c_0101_5^2 + 1527196345420240568622608811739102369793887933505911371441/13017110\ 00587054780616758562532935712123973473537217286*c_0101_5 + 840384432285466758537740812019861475350246244981306958998/325427750\ 1467636951541896406332339280309933683843043215, c_0011_0 - 1, c_0011_1 - 1908543538675266259392017203442035082739816755100613/4733494\ 54758929011133366750011976622590535808558988104*c_0101_5^22 - 3665143841658082127785048956402614142226895571879569/11833736368973\ 2252783341687502994155647633952139747026*c_0101_5^21 - 16650280212520457500519747153834282674169127067694285/2366747273794\ 64505566683375005988311295267904279494052*c_0101_5^20 + 21894164453833467572851317676726982243574643618302513/4733494547589\ 29011133366750011976622590535808558988104*c_0101_5^19 + 420011682806504064067889472416379008257573220016490121/473349454758\ 929011133366750011976622590535808558988104*c_0101_5^18 + 223877041063758004672843206597709534563900058080434237/118337363689\ 732252783341687502994155647633952139747026*c_0101_5^17 - 13196837704354024721190467339302580306115708030157593/4733494547589\ 29011133366750011976622590535808558988104*c_0101_5^16 - 4574253184762804608492664039240094870958652377102329247/47334945475\ 8929011133366750011976622590535808558988104*c_0101_5^15 + 1107802369388260419966321065289469134361262496067839869/47334945475\ 8929011133366750011976622590535808558988104*c_0101_5^14 + 848575937674965204813448958003492780552774310606983709/236674727379\ 464505566683375005988311295267904279494052*c_0101_5^13 + 4808477590621857268282266399219794337034403096796302837/23667472737\ 9464505566683375005988311295267904279494052*c_0101_5^12 - 8261304448442527007111495496431823186832218475621615543/11833736368\ 9732252783341687502994155647633952139747026*c_0101_5^11 + 12653938948978909818153898479058386896165835994156345357/4733494547\ 58929011133366750011976622590535808558988104*c_0101_5^10 + 1331550353969935306818609861454359545917046459740782259/59168681844\ 866126391670843751497077823816976069873513*c_0101_5^9 + 11644989875310761090060850694409670917946383599031049563/2366747273\ 79464505566683375005988311295267904279494052*c_0101_5^8 - 16553954572399882450158273879994442717937186446076709991/2366747273\ 79464505566683375005988311295267904279494052*c_0101_5^7 - 13412998419588489976521394792935884950591821607107225693/4733494547\ 58929011133366750011976622590535808558988104*c_0101_5^6 + 40886862758078977442593535481453407399598345017936643079/4733494547\ 58929011133366750011976622590535808558988104*c_0101_5^5 - 1871871772067411106686254655555296102084652024434091022/59168681844\ 866126391670843751497077823816976069873513*c_0101_5^4 - 2527558295806327994913780292605046731066126699503330773/23667472737\ 9464505566683375005988311295267904279494052*c_0101_5^3 + 471147893721247969654733335756723123089502407468041184/591686818448\ 66126391670843751497077823816976069873513*c_0101_5^2 - 370879281172973058476183326050052665588832032563636509/118337363689\ 732252783341687502994155647633952139747026*c_0101_5 - 59224188720587230113264927425548659854553681580356506/5916868184486\ 6126391670843751497077823816976069873513, c_0011_4 - 4296191444825208986145774532350924661025024429532237/4733494\ 54758929011133366750011976622590535808558988104*c_0101_5^22 - 16759246745251045576578830028952845920487579468000191/2366747273794\ 64505566683375005988311295267904279494052*c_0101_5^21 - 9905989586739116016171234243095946697790410865192580/59168681844866\ 126391670843751497077823816976069873513*c_0101_5^20 + 37471372206018957040317402898554548722856238349379267/4733494547589\ 29011133366750011976622590535808558988104*c_0101_5^19 + 942794426244584492542203059934254478672149097769130975/473349454758\ 929011133366750011976622590535808558988104*c_0101_5^18 + 531143086343226216726498117520464315770303209774053933/118337363689\ 732252783341687502994155647633952139747026*c_0101_5^17 + 280233908496975106419323272909568840849544372495525231/473349454758\ 929011133366750011976622590535808558988104*c_0101_5^16 - 10073094790379201079866271777438004053020617088721395007/4733494547\ 58929011133366750011976622590535808558988104*c_0101_5^15 + 1481741751673620228039842705179518768043424899059397405/47334945475\ 8929011133366750011976622590535808558988104*c_0101_5^14 + 882360288771594669904333258531313305293463200754553821/118337363689\ 732252783341687502994155647633952139747026*c_0101_5^13 + 10767127271033777150898373504085065015323585082601686499/2366747273\ 79464505566683375005988311295267904279494052*c_0101_5^12 - 35909830608225751168030443187696042916589648641900272935/2366747273\ 79464505566683375005988311295267904279494052*c_0101_5^11 + 21182384438319545873480552934085738530569095134513702705/4733494547\ 58929011133366750011976622590535808558988104*c_0101_5^10 + 11921006042341192159044837914772291564153706857881510445/2366747273\ 79464505566683375005988311295267904279494052*c_0101_5^9 + 13082590884521019146684723850736938041611634564713532299/1183373636\ 89732252783341687502994155647633952139747026*c_0101_5^8 - 8434620117245238295078447335298188908321869510033529762/59168681844\ 866126391670843751497077823816976069873513*c_0101_5^7 - 34328805348373453818278024586105445880741698684090164973/4733494547\ 58929011133366750011976622590535808558988104*c_0101_5^6 + 88484087495734043068291152748882838185240369153700201737/4733494547\ 58929011133366750011976622590535808558988104*c_0101_5^5 - 6920826540347302935251904451499180543210747583243447351/11833736368\ 9732252783341687502994155647633952139747026*c_0101_5^4 - 6058739310858969282187461408507748643180571037309759189/23667472737\ 9464505566683375005988311295267904279494052*c_0101_5^3 + 4617982033230505479410466830042769445563502453939524053/23667472737\ 9464505566683375005988311295267904279494052*c_0101_5^2 - 628272167197720866913776193743635820956090353764243517/118337363689\ 732252783341687502994155647633952139747026*c_0101_5 - 172055776310568290659078538405052714621821642174899907/591686818448\ 66126391670843751497077823816976069873513, c_0101_0 + 2821817840516633945687406687307581782053866515677753/1893397\ 819035716044533467000047906490362143234235952416*c_0101_5^22 + 10681553169210695743247498459250533543330788833330491/9466989095178\ 58022266733500023953245181071617117976208*c_0101_5^21 + 12351278888896003732813870557979160970608702809162321/4733494547589\ 29011133366750011976622590535808558988104*c_0101_5^20 - 16764971544720545490378228328891746781147540490963717/1893397819035\ 716044533467000047906490362143234235952416*c_0101_5^19 - 561259247760712315284476613049686152721046886501876331/189339781903\ 5716044533467000047906490362143234235952416*c_0101_5^18 - 39103124739690014618945035726121086778743611973275620/5916868184486\ 6126391670843751497077823816976069873513*c_0101_5^17 - 384022344305783930513019433474206907573261120917991049/189339781903\ 5716044533467000047906490362143234235952416*c_0101_5^16 + 5279197699948946521035866746908898731706287048267034633/18933978190\ 35716044533467000047906490362143234235952416*c_0101_5^15 - 3244158531703209234961743836170760617582237103791465153/18933978190\ 35716044533467000047906490362143234235952416*c_0101_5^14 + 1521916478575771390946997576292779910552439840222047471/94669890951\ 7858022266733500023953245181071617117976208*c_0101_5^13 - 3247559282258618176342528862779170782810998110716625605/47334945475\ 8929011133366750011976622590535808558988104*c_0101_5^12 + 6219759232078733619426186085275211759776576477047096089/23667472737\ 9464505566683375005988311295267904279494052*c_0101_5^11 - 37110552850663074598863179492655432325856315271692776613/1893397819\ 035716044533467000047906490362143234235952416*c_0101_5^10 + 12179726695179680718454108494588938157424805371429726755/9466989095\ 17858022266733500023953245181071617117976208*c_0101_5^9 - 1041684146601875296798055792432913786200547225708341348/59168681844\ 866126391670843751497077823816976069873513*c_0101_5^8 + 23345252993219176614260725866501903911127795122311292963/9466989095\ 17858022266733500023953245181071617117976208*c_0101_5^7 - 19535847117031670498747272168845331010647390883956951175/1893397819\ 035716044533467000047906490362143234235952416*c_0101_5^6 - 35418106746503497107043279726677734413933955177499157237/1893397819\ 035716044533467000047906490362143234235952416*c_0101_5^5 + 13331487115270297747218654318375965336044960532669790311/4733494547\ 58929011133366750011976622590535808558988104*c_0101_5^4 - 1994051295441570567692097996959362339446689141787614993/11833736368\ 9732252783341687502994155647633952139747026*c_0101_5^3 - 23948889969243146109009531440950683584022342903880831/2366747273794\ 64505566683375005988311295267904279494052*c_0101_5^2 + 121692970891339134840686837499346778313218819480186812/591686818448\ 66126391670843751497077823816976069873513*c_0101_5 - 47951755093321534399898789868379879926815552838652521/5916868184486\ 6126391670843751497077823816976069873513, c_0101_1 + 373094298825929905203745068328366818613852639458469/59168681\ 844866126391670843751497077823816976069873513*c_0101_5^22 + 2901677306530119873613536748966345083316192351050375/59168681844866\ 126391670843751497077823816976069873513*c_0101_5^21 + 13634154105507945139410983638329354681298473481774463/1183373636897\ 32252783341687502994155647633952139747026*c_0101_5^20 - 13514277267806778413318718866534666150039494964568157/2366747273794\ 64505566683375005988311295267904279494052*c_0101_5^19 - 81720109090725207866640367089717949684268606894115493/5916868184486\ 6126391670843751497077823816976069873513*c_0101_5^18 - 365288959608284786836763461524931786676004928222923235/118337363689\ 732252783341687502994155647633952139747026*c_0101_5^17 - 84531683378398557589553289081350838049400931187157489/2366747273794\ 64505566683375005988311295267904279494052*c_0101_5^16 + 3494033134311199982498955033195909267632346791755716621/23667472737\ 9464505566683375005988311295267904279494052*c_0101_5^15 - 147935944822628796498390377031248473953240050701564640/591686818448\ 66126391670843751497077823816976069873513*c_0101_5^14 - 1154876434646900574015928326375287320363441157824095445/23667472737\ 9464505566683375005988311295267904279494052*c_0101_5^13 - 7520756115275746218740916233414505427563055443980840069/23667472737\ 9464505566683375005988311295267904279494052*c_0101_5^12 + 25124569151464231762588014655880701363502195135836354403/2366747273\ 79464505566683375005988311295267904279494052*c_0101_5^11 - 2020596814430295952356375776721805203492211487033135752/59168681844\ 866126391670843751497077823816976069873513*c_0101_5^10 - 1880115979859868197535092422432444608049344717286177661/59168681844\ 866126391670843751497077823816976069873513*c_0101_5^9 - 9273630842636962008526648369268778028682897478100111817/11833736368\ 9732252783341687502994155647633952139747026*c_0101_5^8 + 23947430499975243747179648408990990921287883094460894393/2366747273\ 79464505566683375005988311295267904279494052*c_0101_5^7 + 2769696632555210299900662169586986948995193610834115001/59168681844\ 866126391670843751497077823816976069873513*c_0101_5^6 - 7521430044786850622477520549363601490730766421119178735/59168681844\ 866126391670843751497077823816976069873513*c_0101_5^5 + 2512645706575180099638627538445775720547878139113708559/59168681844\ 866126391670843751497077823816976069873513*c_0101_5^4 + 3449861208374659872900974340135928520923692858520911153/23667472737\ 9464505566683375005988311295267904279494052*c_0101_5^3 - 2783986679833754634683758801477202095049544312314829717/23667472737\ 9464505566683375005988311295267904279494052*c_0101_5^2 + 482083605310227597999449049120517629225166740291382665/118337363689\ 732252783341687502994155647633952139747026*c_0101_5 + 136870853494484334534416725113176922075013817682530763/591686818448\ 66126391670843751497077823816976069873513, c_0101_5^23 + 8*c_0101_5^22 + 20*c_0101_5^21 - 5*c_0101_5^20 - 221*c_0101_5^19 - 538*c_0101_5^18 - 165*c_0101_5^17 + 2327*c_0101_5^16 + 117*c_0101_5^15 - 872*c_0101_5^14 - 5172*c_0101_5^13 + 15728*c_0101_5^12 - 1661*c_0101_5^11 - 6404*c_0101_5^10 - 13320*c_0101_5^9 + 13286*c_0101_5^8 + 10973*c_0101_5^7 - 18915*c_0101_5^6 + 2358*c_0101_5^5 + 3996*c_0101_5^4 - 1488*c_0101_5^3 + 208*c_0101_5^2 + 448*c_0101_5 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB