Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 290491769] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s833 geometric_solution 5.40600202 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492702737709 0.245027614238 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880112138375 0.564193155856 1 4 3 5 0132 0132 3012 0132 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 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.912676883206 0.975430104306 5 2 4 1 1023 1230 0132 0132 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 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.912676883206 0.975430104306 4 2 4 3 2031 0132 1302 0132 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 0 0 0 0 0 -1 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492403715599 0.800492511768 5 3 2 5 3201 1023 0132 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 -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.554847374180 0.824886781737 ==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_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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_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_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_1']), '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 4773849095448830471740749999148206819233444030974940777/16223097726\ 403772078055657079141285106169633845825282*c_0101_3^26 + 16758364452384705143404077861568989690525642295566631933/1622309772\ 6403772078055657079141285106169633845825282*c_0101_3^25 - 74453515016606719028828150356278883655758755222613319695/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^24 - 682089029570919278556935392418966940527893888955983220589/162230977\ 26403772078055657079141285106169633845825282*c_0101_3^23 + 387963248937942054071248731589744727978634464233823310970/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^22 + 3561693310546198275434952316198935771020037056331168134444/81115488\ 63201886039027828539570642553084816922912641*c_0101_3^21 - 73462853245152659735047303521088437851796875471638244108/4771499331\ 29522708178107561151214267828518642524273*c_0101_3^20 - 53692232324263312105370392308653530544668959667768114077473/1622309\ 7726403772078055657079141285106169633845825282*c_0101_3^19 - 33410059782391341320616222821859895290538803966308941798523/1622309\ 7726403772078055657079141285106169633845825282*c_0101_3^18 + 175639865188323857978735568932897430775802665037753534580955/162230\ 97726403772078055657079141285106169633845825282*c_0101_3^17 + 68686806042672910930016712091879418353539976055194277695352/8111548\ 863201886039027828539570642553084816922912641*c_0101_3^16 - 176550608054946575963003314310258694018136762788065759960706/811154\ 8863201886039027828539570642553084816922912641*c_0101_3^15 - 197778582842676774612521671533294013217058942416669173966055/162230\ 97726403772078055657079141285106169633845825282*c_0101_3^14 + 225914204541131562937103587170468522113701966238052904102239/811154\ 8863201886039027828539570642553084816922912641*c_0101_3^13 + 55874828049670828890765711184525560927877656850116646893655/8111548\ 863201886039027828539570642553084816922912641*c_0101_3^12 - 344091499516996299634839441887157386895357139602500024317913/162230\ 97726403772078055657079141285106169633845825282*c_0101_3^11 + 7621428368202059137424598754265653634584933899506948467421/16223097\ 726403772078055657079141285106169633845825282*c_0101_3^10 + 144728830124947358558790998903020617043750391674299616778759/162230\ 97726403772078055657079141285106169633845825282*c_0101_3^9 - 36635891237758487106272224741741347326285237722210852250015/1622309\ 7726403772078055657079141285106169633845825282*c_0101_3^8 - 33594376978582380111185678466387985940296232059380701953113/1622309\ 7726403772078055657079141285106169633845825282*c_0101_3^7 + 15666586942268446099126472486291045010829928210190380577605/1622309\ 7726403772078055657079141285106169633845825282*c_0101_3^6 + 4137432120147606017225903727953904913204418352366853573322/81115488\ 63201886039027828539570642553084816922912641*c_0101_3^5 - 3629242285047183724401408691541329931138865566555736261565/16223097\ 726403772078055657079141285106169633845825282*c_0101_3^4 - 3080952888540845114126416273127697256284681473907063567657/16223097\ 726403772078055657079141285106169633845825282*c_0101_3^3 + 992926814134918164705251030100421838159485097105484911829/162230977\ 26403772078055657079141285106169633845825282*c_0101_3^2 + 472836194133651854032820549529070274140400459686485723797/162230977\ 26403772078055657079141285106169633845825282*c_0101_3 - 9050794315154441558374930959850076075273788292032008969/95429986625\ 9045416356215122302428535657037285048546, c_0011_0 - 1, c_0011_1 + 2869981992043964334949009946619580545433972282032020/8111548\ 863201886039027828539570642553084816922912641*c_0101_3^26 + 10781002938844528097097432127251036518894834331231412/8111548863201\ 886039027828539570642553084816922912641*c_0101_3^25 - 87361892531180848922317631600229216706255932930382702/8111548863201\ 886039027828539570642553084816922912641*c_0101_3^24 - 432868505825949794995409662073453960751596855907533554/811154886320\ 1886039027828539570642553084816922912641*c_0101_3^23 + 376355460143437056015929283028008786672697530049799022/811154886320\ 1886039027828539570642553084816922912641*c_0101_3^22 + 4431175454026493685344014181071824692304055599189647022/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^21 - 535544352364598400172079534432220535006415010684477076/811154886320\ 1886039027828539570642553084816922912641*c_0101_3^20 - 33023285488581357880721798642063415227694063870747754148/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^19 - 1614538897384415288560968738477502562094345797093358577/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^18 + 103559846725213775596419634504398780217446762276662795801/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^17 + 107530362804202356183508127193118417067304841806312479665/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^16 - 202216469192806394720241347902612400858338757230547348142/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^15 - 167796169652022398230380494225582374431719113136645290622/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^14 + 262426360227912541338392631570350141132867866837013227407/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^13 + 121009684929956964220492316800294749668210922516658365881/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^12 - 208605360706749733299465307047783354002306475310575420070/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^11 - 26583812315223657038328588658694769073583954266057944979/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^10 + 92784981996853419520881160282835170599458127384872935902/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^9 - 13215371362332689837811023920677100431894801100118653991/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^8 - 23212076905499042362169123927069982296491141658024740773/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^7 + 7740551742694767970345392899291389025344291575362149547/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^6 + 6056564295213490963696971118512376198962169570099211655/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^5 - 1430583953248989771397478440994366142025372139112008424/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^4 - 2163995616568690100390229445608269363051848608721134061/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^3 + 382445387471186623131205178793507216044405013942339417/811154886320\ 1886039027828539570642553084816922912641*c_0101_3^2 + 18777069994843011616064182833909242993841115301831464/4771499331295\ 22708178107561151214267828518642524273*c_0101_3 - 4646261654246895614441707547683174396996754645937039/47714993312952\ 2708178107561151214267828518642524273, c_0011_3 - 17568770632355737907878871190770511205497190608662202/811154\ 8863201886039027828539570642553084816922912641*c_0101_3^26 - 63548071952931180897246427497269189858679501954284433/8111548863201\ 886039027828539570642553084816922912641*c_0101_3^25 + 540508662572678100665273088041241829447976434328910945/811154886320\ 1886039027828539570642553084816922912641*c_0101_3^24 + 2564950063420345534890546746160714524001088568133637872/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^23 - 2560869815490103214176683722803651500525882806196062043/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^22 - 26373496967459952101317923375596050938335619882440822666/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^21 + 6318468979033138992706493677860557541647813522443128459/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^20 + 197140751134225180151065811271059693577063220058541504886/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^19 + 8458062357366155643670723485663365430824993147603150926/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^18 - 622818950969812587562092064654534013438438046573371992374/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^17 - 562700808671111787093010006674476170588402560095249945158/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^16 + 1216292886072542070427525701685767745672046208664990214501/81115488\ 63201886039027828539570642553084816922912641*c_0101_3^15 + 824106833579206902524306763319652370694929527991018462569/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^14 - 1534475506301437285397428535751253693874787720080816074212/81115488\ 63201886039027828539570642553084816922912641*c_0101_3^13 - 522559105179392167561317343920017158118665069747941785260/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^12 + 1161380466137162654188031547589747788343632970477952732756/81115488\ 63201886039027828539570642553084816922912641*c_0101_3^11 + 54217938588965007488318470757328478409070820944000347653/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^10 - 489543976218377114775183729863717206460579407043258065338/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^9 + 97877521835726098237734966479564781174394183025333751686/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^8 + 118090469424550360152746471192282583669960712795960065990/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^7 - 46184343863971223081548342979500339487726088613483900947/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^6 - 30900493754632566798194569537136754212686197302000224332/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^5 + 9715663553190207206039575572566683123396534783060242824/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^4 + 10889826061684135771706585413178385366427220674968406167/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^3 - 2618842957777192358194563178071005594394147132603821972/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^2 - 93165041020152042528144913435342217998613025567193166/4771499331295\ 22708178107561151214267828518642524273*c_0101_3 + 25838319582185648840879269575117276959446172491176662/4771499331295\ 22708178107561151214267828518642524273, c_0101_0 - 8846435567058765963601381645298964955386686770268810/8111548\ 863201886039027828539570642553084816922912641*c_0101_3^26 - 28862844412580880892439633067541300994571730295203305/8111548863201\ 886039027828539570642553084816922912641*c_0101_3^25 + 284709241527055597512825906336568086089643781569155043/811154886320\ 1886039027828539570642553084816922912641*c_0101_3^24 + 1200644146759267863778157323357380977075246449069631439/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^23 - 1779681729666791922540103472186896223712066888909090731/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^22 - 13034884508996867420251141133593959366993006411443827243/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^21 + 7881660186784744377811719382538754955842336408439190119/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^20 + 100075452311404644007849218345580736611479762865808405712/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^19 + 2268014868386790575274992959885488307846046487042463286/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^18 - 352829975359415375353893490318310787426759462568434688579/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^17 - 194911842060597939036734416314863799910670261746193929742/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^16 + 743029916234833913513645780714602814249805024363869886215/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^15 + 271395583947663562181145087049323203896873290552131709870/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^14 - 961746715155295108942252710406634609330808934580010099452/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^13 - 104490861642590271025084741699050346512739941021719248742/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^12 + 728289464073228703770075945643645643338541026715989424939/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^11 - 81190942100389100920003773687241973614785758944762112861/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^10 - 300058445841088992757617346595460624925033604531555289500/811154886\ 3201886039027828539570642553084816922912641*c_0101_3^9 + 94186456251453143976241269286655163756503081401869496043/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^8 + 65520976204515666232722174342920050781450019511351412038/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^7 - 37437394320753330598825565125694403437763157132865153043/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^6 - 15490998587415899320640105076041122423368584497421820577/8111548863\ 201886039027828539570642553084816922912641*c_0101_3^5 + 9597732507797927893862421476637600964397101235868647627/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^4 + 6228683998636746605347472482970599831363358947256963301/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^3 - 2508289055171325827040799102312353385129787006694016516/81115488632\ 01886039027828539570642553084816922912641*c_0101_3^2 - 58653737636498936743273720246755889832254576366239510/4771499331295\ 22708178107561151214267828518642524273*c_0101_3 + 20638946478960820804064357105750279342642651231326723/4771499331295\ 22708178107561151214267828518642524273, c_0101_1 + 680262475401132624987084288186269451562322185189004/47714993\ 3129522708178107561151214267828518642524273*c_0101_3^26 + 2500197805680973200643746399710615834437214369128382/47714993312952\ 2708178107561151214267828518642524273*c_0101_3^25 - 20770439640509951812339771976016566927419335293014826/4771499331295\ 22708178107561151214267828518642524273*c_0101_3^24 - 100464550855348427846466397549160754930703915651494515/477149933129\ 522708178107561151214267828518642524273*c_0101_3^23 + 92980417517830799392018370088870034997122558279206340/4771499331295\ 22708178107561151214267828518642524273*c_0101_3^22 + 1024343954835842396504239343526127802470083973100369478/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^21 - 185416861056390474609131185013896461643344722235910011/477149933129\ 522708178107561151214267828518642524273*c_0101_3^20 - 7624028406551748336393376970861937795823688689313547380/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^19 - 5994669789625501828682590266607125150584667106208099809/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^18 + 23627398315289569629999148685778955998159396919340778098/4771499331\ 29522708178107561151214267828518642524273*c_0101_3^17 + 22908766017438478102685578138911408147365829482662777208/4771499331\ 29522708178107561151214267828518642524273*c_0101_3^16 - 45478622543908265053040397700614582424083996561254734027/4771499331\ 29522708178107561151214267828518642524273*c_0101_3^15 - 33767668235107738544551384574353076317645873897596498397/4771499331\ 29522708178107561151214267828518642524273*c_0101_3^14 + 57072160757280998784812530556655928067583183473528356400/4771499331\ 29522708178107561151214267828518642524273*c_0101_3^13 + 22326707815968118836236641105501119196393121181542456317/4771499331\ 29522708178107561151214267828518642524273*c_0101_3^12 - 43194505389981374728857452967353695474681511331373667649/4771499331\ 29522708178107561151214267828518642524273*c_0101_3^11 - 3564562746099520734487906530322326854266520303159721752/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^10 + 18302343862620628175634265887197712722531424955499546007/4771499331\ 29522708178107561151214267828518642524273*c_0101_3^9 - 3171782527331174150855057838427172129666297719331493756/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^8 - 4506896712618849645697084299541734363373152408972428378/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^7 + 1600920478078511180145228224299745970887879612660020617/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^6 + 1204218366016167232579040287763585154365239010868861955/47714993312\ 9522708178107561151214267828518642524273*c_0101_3^5 - 314276303090069489606577773090632053937959675317062268/477149933129\ 522708178107561151214267828518642524273*c_0101_3^4 - 414603904750862607197742968093393293321927868293903165/477149933129\ 522708178107561151214267828518642524273*c_0101_3^3 + 83906028363576727882583140657299645722892651200882668/4771499331295\ 22708178107561151214267828518642524273*c_0101_3^2 + 59239543549176181572946587687918787771993436528682537/4771499331295\ 22708178107561151214267828518642524273*c_0101_3 - 14890308650771244565455290618733719902722831119583428/4771499331295\ 22708178107561151214267828518642524273, c_0101_3^27 + 3*c_0101_3^26 - 33*c_0101_3^25 - 127*c_0101_3^24 + 236*c_0101_3^23 + 1411*c_0101_3^22 - 1289*c_0101_3^21 - 11000*c_0101_3^20 - 1232*c_0101_3^19 + 40519*c_0101_3^18 + 9973*c_0101_3^17 - 89206*c_0101_3^16 - 3645*c_0101_3^15 + 116902*c_0101_3^14 - 25231*c_0101_3^13 - 85168*c_0101_3^12 + 39028*c_0101_3^11 + 30011*c_0101_3^10 - 23616*c_0101_3^9 - 3155*c_0101_3^8 + 7018*c_0101_3^7 + 36*c_0101_3^6 - 1674*c_0101_3^5 - 258*c_0101_3^4 + 549*c_0101_3^3 - 8*c_0101_3^2 - 85*c_0101_3 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB