Magma V2.19-8 Tue Aug 20 2013 16:18:52 on localhost [Seed = 2395935736] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3032 geometric_solution 6.20448482 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 2310 0 0 0 0 0 -1 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 0 0 0 0 0 1 -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.179740169857 1.109247098039 0 0 3 2 3201 0132 0132 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 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.609067083811 1.128527363939 4 5 1 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266257392723 0.763496875982 5 4 6 1 3201 0132 0132 0132 0 0 0 0 0 0 -1 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 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.266257392723 0.763496875982 2 3 4 4 0132 0132 2031 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569210464458 0.534741918496 5 2 5 3 2031 0132 1302 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.977766512645 0.921738043640 6 6 2 3 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.209052690476 1.174203880812 ==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' : negation(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' : negation(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_1100_1'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1100_1'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_6, c_0101_1, c_0101_2, c_0101_4, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 4201447783210434353057401024441775345598079694386475925428919214336\ /680878680208527730667661700686256859820631119498380078503026780268\ 3*c_1100_1^18 + 274273043028718570702547503292703407166716570849151\ 64950084982828720/6808786802085277306676617006862568598206311194983\ 800785030267802683*c_1100_1^17 + 3848308275749493266463897604286671\ 4066776491039548637989603172316606/68087868020852773066766170068625\ 68598206311194983800785030267802683*c_1100_1^16 - 7450463934815463202049026107613792179438970884771001448086513326932\ 6/97268382886932532952523100098036694260090159928340011214718111466\ 9*c_1100_1^15 - 737884410455717670667389585325869319659927069322057\ 115942316853598657/680878680208527730667661700686256859820631119498\ 3800785030267802683*c_1100_1^14 + 845903868094879473575087150717645\ 0952087942119487064625226960758962385/68087868020852773066766170068\ 62568598206311194983800785030267802683*c_1100_1^13 - 1115455717596974414004270601341892422645269273341970691202387547972\ 0906/68087868020852773066766170068625685982063111949838007850302678\ 02683*c_1100_1^12 - 23509860240648374750818535622204310702187300132\ 535251625200617742570639/680878680208527730667661700686256859820631\ 1194983800785030267802683*c_1100_1^11 + 8486586360895508335782454623212786882149505584274329869451605591576\ 1500/68087868020852773066766170068625685982063111949838007850302678\ 02683*c_1100_1^10 - 11926303672038936570396356898018616969200108378\ 514362308844743832526131/972683828869325329525231000980366942600901\ 599283400112147181114669*c_1100_1^9 - 2638284625376610676983079204763966782036400211235729664426602300843\ 9626/68087868020852773066766170068625685982063111949838007850302678\ 02683*c_1100_1^8 + 162088576051380304743918483743227170616624739255\ 862917836523767016997361/680878680208527730667661700686256859820631\ 1194983800785030267802683*c_1100_1^7 - 3170185915567823808030446227071777769313987122716735881604935813028\ 9099/97268382886932532952523100098036694260090159928340011214718111\ 4669*c_1100_1^6 + 1849726438433309917148909656880151943218648278201\ 45046810606120298792156/6808786802085277306676617006862568598206311\ 194983800785030267802683*c_1100_1^5 - 2713839410699650636433117190713079614240293102835211507642277490668\ 518/166067970782567739187234561142989478005031980365458555732445556\ 163*c_1100_1^4 + 80860997082791771138549672367298894968429389615065\ 00475021264790242512/9726838288693253295252310009803669426009015992\ 83400112147181114669*c_1100_1^3 - 216419965465410334626014835697177\ 28668243417007335295232221984181041186/6808786802085277306676617006\ 862568598206311194983800785030267802683*c_1100_1^2 + 2000385822255949510756131656260898614483323169542568186586675946369\ 908/680878680208527730667661700686256859820631119498380078503026780\ 2683*c_1100_1 + 328116598328895117637296369007816036060842652336678\ 72165028517730872/1660679707825677391872345611429894780050319803654\ 58555732445556163, c_0011_0 - 1, c_0011_2 + 267524326326766444292880956326022044978678765336698858833434\ 832/711719874782433167945290976327097762878708487280536667424766669\ 27*c_1100_1^18 + 65775055648188720943482737176677652040206377886184\ 6846806892283/23723995826081105598176365877569925429290282909351222\ 247492222309*c_1100_1^17 + 1410909425155101141493584086213097025918\ 113705162229354188216885/237239958260811055981763658775699254292902\ 82909351222247492222309*c_1100_1^16 - 28837499416357160349977432440273050983063174513857350270356615041/7\ 1171987478243316794529097632709776287870848728053666742476666927*c_\ 1100_1^15 - 2330513183748873065107566209676104517795778354044116951\ 0074696976/23723995826081105598176365877569925429290282909351222247\ 492222309*c_1100_1^14 + 4669449261269408176616091063227283621246553\ 39220107120123151317571/7117198747824331679452909763270977628787084\ 8728053666742476666927*c_1100_1^13 - 340917798906170906287711728106963794245606908271659737162844440781/\ 71171987478243316794529097632709776287870848728053666742476666927*c\ _1100_1^12 - 158602282487897357840243988963325486347629826910291169\ 5909579912196/71171987478243316794529097632709776287870848728053666\ 742476666927*c_1100_1^11 + 3887773574883908453771257996115371556025\ 694738338011122456470489886/711719874782433167945290976327097762878\ 70848728053666742476666927*c_1100_1^10 - 2689523174924920985647933478022997491075465195052739809855396150799\ /71171987478243316794529097632709776287870848728053666742476666927*\ c_1100_1^9 - 736087810055973801064834295203518161158943268028042668\ 881582570819/237239958260811055981763658775699254292902829093512222\ 47492222309*c_1100_1^8 + 240300860065298586924033362212253655660996\ 2766584085842932057481135/23723995826081105598176365877569925429290\ 282909351222247492222309*c_1100_1^7 - 9099807184969258344112447951782029330826180102262971097246703912459\ /71171987478243316794529097632709776287870848728053666742476666927*\ c_1100_1^6 + 737427955761844010617910777248588740758564089966632428\ 4204183264229/71171987478243316794529097632709776287870848728053666\ 742476666927*c_1100_1^5 - 11621483166507553778922893105449476619302\ 4403326789857137785721464/17359021336156906535250999422612140558017\ 28017757406505914065047*c_1100_1^4 + 2556655441487651469902778813293327887951424576500176258192717585880\ /71171987478243316794529097632709776287870848728053666742476666927*\ c_1100_1^3 - 340668063998523247741786811812906299941695125742847278\ 471476395943/237239958260811055981763658775699254292902829093512222\ 47492222309*c_1100_1^2 + 242898450529860491882986869404703378155851\ 932689863076369411828870/711719874782433167945290976327097762878708\ 48728053666742476666927*c_1100_1 - 2208021451458426636657584937602728107472711256163054893440968065/17\ 35902133615690653525099942261214055801728017757406505914065047, c_0011_6 - 537879734904033248975408685990327140972472323116346669213649\ 616/711719874782433167945290976327097762878708487280536667424766669\ 27*c_1100_1^18 - 12357396783116287194200679120116010718054170722089\ 44857123869691/2372399582608110559817636587756992542929028290935122\ 2247492222309*c_1100_1^17 - 215635053305151467150820362456975345754\ 7981645427108201792194751/23723995826081105598176365877569925429290\ 282909351222247492222309*c_1100_1^16 + 62991785852423102211465759118341290015426808833910076877371562216/7\ 1171987478243316794529097632709776287870848728053666742476666927*c_\ 1100_1^15 + 3813589709981688065466547376329719109879873357080886831\ 0245636910/23723995826081105598176365877569925429290282909351222247\ 492222309*c_1100_1^14 - 1020126271596979291111510302397653029450757\ 288350023448548432250581/711719874782433167945290976327097762878708\ 48728053666742476666927*c_1100_1^13 + 1108326663896984981305831336820780509654742243628914473676973914474\ /71171987478243316794529097632709776287870848728053666742476666927*\ c_1100_1^12 + 30733716263963640954366131394299664979270763687477732\ 21397957622828/7117198747824331679452909763270977628787084872805366\ 6742476666927*c_1100_1^11 - 952602501934833482186199535717456543942\ 6413914144544974689289719337/71171987478243316794529097632709776287\ 870848728053666742476666927*c_1100_1^10 + 8451366332103477081609359090165888042848472631054695302119649194145\ /71171987478243316794529097632709776287870848728053666742476666927*\ c_1100_1^9 + 122536074733748726078054566980526721361978303199844224\ 4972361834748/23723995826081105598176365877569925429290282909351222\ 247492222309*c_1100_1^8 - 59662992734071608264759344474974458972939\ 52360396690503068156663340/2372399582608110559817636587756992542929\ 0282909351222247492222309*c_1100_1^7 + 2410291749280723346023277779551647390312553175635961119983435452038\ 4/71171987478243316794529097632709776287870848728053666742476666927\ *c_1100_1^6 - 20154541170647993109654173624604397189004096616975086\ 449771690529927/711719874782433167945290976327097762878708487280536\ 66742476666927*c_1100_1^5 + 309039610918932873323891960154155821726\ 166435036788504435400172614/173590213361569065352509994226121405580\ 1728017757406505914065047*c_1100_1^4 - 6697772058149229791716451536385348668322750135841885449001525403943\ /71171987478243316794529097632709776287870848728053666742476666927*\ c_1100_1^3 + 878357059609944403657537121221712620221402737714876621\ 635221785553/237239958260811055981763658775699254292902829093512222\ 47492222309*c_1100_1^2 - 502324446494992026247995826805823051030352\ 262922024348355220433154/711719874782433167945290976327097762878708\ 48728053666742476666927*c_1100_1 - 200865639259186991374448944019324977618256911163376606497046167/173\ 5902133615690653525099942261214055801728017757406505914065047, c_0101_1 - 64892422031398049998552668230519640723738847191954336/154165\ 21646562277686290471390878122874643217206906612951*c_1100_1^18 - 509488337062230712768716599279420351933834810927599874/154165216465\ 62277686290471390878122874643217206906612951*c_1100_1^17 - 1241423127909657330598963527357273597216520351854523318/15416521646\ 562277686290471390878122874643217206906612951*c_1100_1^16 + 6619700389960076026194783403862420783149650107745012267/15416521646\ 562277686290471390878122874643217206906612951*c_1100_1^15 + 20636981074979985137637631518938702641584444231004835760/1541652164\ 6562277686290471390878122874643217206906612951*c_1100_1^14 - 106165897844689481973918027106251224515360920658553499794/154165216\ 46562277686290471390878122874643217206906612951*c_1100_1^13 + 23898272756696166034441933689910127897176765676482629848/1541652164\ 6562277686290471390878122874643217206906612951*c_1100_1^12 + 440194052090049189696987471764724116295551884663638150474/154165216\ 46562277686290471390878122874643217206906612951*c_1100_1^11 - 749812349702823820862865898257369744636076734136345320404/154165216\ 46562277686290471390878122874643217206906612951*c_1100_1^10 + 127644395151063402635405482838513783365439831141494811482/154165216\ 46562277686290471390878122874643217206906612951*c_1100_1^9 + 922921500659878253498971653832201491644815138822686735066/154165216\ 46562277686290471390878122874643217206906612951*c_1100_1^8 - 1447998863902556684986691324056329052614970403611769712092/15416521\ 646562277686290471390878122874643217206906612951*c_1100_1^7 + 1230990790136647143898626172989646233757630126555283358060/15416521\ 646562277686290471390878122874643217206906612951*c_1100_1^6 - 582429786189550921553573375053840406916118195184861240495/154165216\ 46562277686290471390878122874643217206906612951*c_1100_1^5 + 5485937957883455059877174796395698773312820697873737002/37601272308\ 6884821616840765631173728649834566022112511*c_1100_1^4 - 54229825906862404121447054422358176732109940220310577034/1541652164\ 6562277686290471390878122874643217206906612951*c_1100_1^3 - 66149229903702620015607081169273455190537460141927099933/1541652164\ 6562277686290471390878122874643217206906612951*c_1100_1^2 + 52625248143386085686792236659092997433504733523295970476/1541652164\ 6562277686290471390878122874643217206906612951*c_1100_1 + 39234436336157042818143177452296949672824822350486664/3760127230868\ 84821616840765631173728649834566022112511, c_0101_2 + 810644679355541566644241745438442559152/11993033239363088540\ 2931634305078599786223*c_1100_1^18 + 5788094016671930167102494374367270898807/11993033239363088540293163\ 4305078599786223*c_1100_1^17 + 111710271937167411179369084200620056\ 25758/119930332393630885402931634305078599786223*c_1100_1^16 - 92266404824283612880610244005044001480904/1199303323936308854029316\ 34305078599786223*c_1100_1^15 - 19553208772505701391938257822159207\ 8303203/119930332393630885402931634305078599786223*c_1100_1^14 + 1490243694018355217003116202087986367508146/11993033239363088540293\ 1634305078599786223*c_1100_1^13 - 129759306333496184676526831282659\ 5879237096/119930332393630885402931634305078599786223*c_1100_1^12 - 4974652623515439407576923893090290236913033/11993033239363088540293\ 1634305078599786223*c_1100_1^11 + 131387379566795754702156772065917\ 93936047745/119930332393630885402931634305078599786223*c_1100_1^10 - 9411693420635774395600362489281464733814776/11993033239363088540293\ 1634305078599786223*c_1100_1^9 - 8048193027915760272834461464740205\ 151505965/119930332393630885402931634305078599786223*c_1100_1^8 + 25109432904500287241585489656334709394954701/1199303323936308854029\ 31634305078599786223*c_1100_1^7 - 300295084118421560085823744092969\ 69429403287/119930332393630885402931634305078599786223*c_1100_1^6 + 22641937417295084193512477726639029998237238/1199303323936308854029\ 31634305078599786223*c_1100_1^5 - 319128656116902404676401064908684\ 113858203/2925130058381241107388576446465331702103*c_1100_1^4 + 6454740868685747536863502347401225160460920/11993033239363088540293\ 1634305078599786223*c_1100_1^3 - 2114710923795736968074601406602512\ 665961218/119930332393630885402931634305078599786223*c_1100_1^2 - 64951843015359327753012927655469743189186/1199303323936308854029316\ 34305078599786223*c_1100_1 + 43158782975613220633430772041202825973\ 20/2925130058381241107388576446465331702103, c_0101_4 - 177268591211889547444176646838146317902642507050866707060687\ 056/711719874782433167945290976327097762878708487280536667424766669\ 27*c_1100_1^18 - 45474643783322113709138829347745443828555290437516\ 9316745960651/23723995826081105598176365877569925429290282909351222\ 247492222309*c_1100_1^17 - 1036882055654017407793243456167270952775\ 360365350032925940485438/237239958260811055981763658775699254292902\ 82909351222247492222309*c_1100_1^16 + 19091772559084952240971793144311279826250733628553997397632891244/7\ 1171987478243316794529097632709776287870848728053666742476666927*c_\ 1100_1^15 + 1820134208525323697652494278170058920641241995484751752\ 0400430576/23723995826081105598176365877569925429290282909351222247\ 492222309*c_1100_1^14 - 3058697859408710698649354548782144785652560\ 40845030788620377672635/7117198747824331679452909763270977628787084\ 8728053666742476666927*c_1100_1^13 + 91912418928657879153366154916314294755127365561209197930965951722/7\ 1171987478243316794529097632709776287870848728053666742476666927*c_\ 1100_1^12 + 1305061245671604414318314176437168614460256670040828188\ 806419857650/711719874782433167945290976327097762878708487280536667\ 42476666927*c_1100_1^11 - 22928234379326674555613787645145562039662\ 17660291624959546968660628/7117198747824331679452909763270977628787\ 0848728053666742476666927*c_1100_1^10 + 237126086053272517720839703025350195335237128529487030608982747255/\ 71171987478243316794529097632709776287870848728053666742476666927*c\ _1100_1^9 + 1112561263842048670317984074291859416304325311349612745\ 746594402492/237239958260811055981763658775699254292902829093512222\ 47492222309*c_1100_1^8 - 157105302671330668287075381218331803777151\ 0421428610210562742797785/23723995826081105598176365877569925429290\ 282909351222247492222309*c_1100_1^7 + 3183779745207449899642277901046752050094506056723737072898427453530\ /71171987478243316794529097632709776287870848728053666742476666927*\ c_1100_1^6 - 506217982105467164358888348409981762578648618670628190\ 389716716065/711719874782433167945290976327097762878708487280536667\ 42476666927*c_1100_1^5 - 210998222831832185697021414246525982444785\ 71523659564361461488729/1735902133615690653525099942261214055801728\ 017757406505914065047*c_1100_1^4 + 930628980916569234140485329952885850109554022051134460757472563300/\ 71171987478243316794529097632709776287870848728053666742476666927*c\ _1100_1^3 - 2642236614844836562620605047629689133228442018662495269\ 58516591559/2372399582608110559817636587756992542929028290935122224\ 7492222309*c_1100_1^2 + 4733148669273581331830725359473004603297442\ 88169489769556055978722/7117198747824331679452909763270977628787084\ 8728053666742476666927*c_1100_1 - 202987263632295162732064260172088\ 0783227318271659707377970367883/17359021336156906535250999422612140\ 55801728017757406505914065047, c_1100_1^19 + 101/16*c_1100_1^18 + 63/8*c_1100_1^17 - 2003/16*c_1100_1^16 - 1175/8*c_1100_1^15 + 32605/16*c_1100_1^14 - 49977/16*c_1100_1^13 - 76937/16*c_1100_1^12 + 170313/8*c_1100_1^11 - 50073/2*c_1100_1^10 - 4841/16*c_1100_1^9 + 626955/16*c_1100_1^8 - 501485/8*c_1100_1^7 + 234417/4*c_1100_1^6 - 157071/4*c_1100_1^5 + 170655/8*c_1100_1^4 - 9194*c_1100_1^3 + 34171/16*c_1100_1^2 + 1107/8*c_1100_1 - 1681/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB