Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 1814950053] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1656 geometric_solution 5.39742884 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 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 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.458501335004 0.624396357478 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.575793495119 0.597137191299 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 0 -1 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 -1 1 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.575793495119 0.597137191299 1 5 2 5 0132 0132 2310 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 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 1.260084603011 1.111410346767 4 1 2 4 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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 0 0 0 0 0 0 0 0 0 1.163225821615 0.867791989434 6 3 6 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 0 0 0 0 1 -1 -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.620548420312 0.257416238658 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598338362538 0.072223813492 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 453327722069208607325140658104506769706898309/124519710566043020183\ 7103677040111089252142745*c_0101_6^20 - 137677721879648546447136248398924694070142811/607413222273380586262\ 00179367810297036689890*c_0101_6^19 + 1282850315458502959197592179580968982711115568/24903942113208604036\ 7420735408022217850428549*c_0101_6^18 + 2530416407562050612894622095566722260875683388/11319973687822092743\ 9736697912737371750194795*c_0101_6^17 - 15985707707392307232010312567401403423513058371/1245197105660430201\ 837103677040111089252142745*c_0101_6^16 + 410153256627267106092883321087110683986013058317/249039421132086040\ 3674207354080222178504285490*c_0101_6^15 - 152443536436855072424477836544841103126439334981/226399473756441854\ 879473395825474743500389590*c_0101_6^14 + 1884343534573614580562511344024169998533216536609/24903942113208604\ 03674207354080222178504285490*c_0101_6^13 - 604980412245062032717208841003278136354552300287/124519710566043020\ 1837103677040111089252142745*c_0101_6^12 - 1136577292076034892293314487379689706343824006303/24903942113208604\ 03674207354080222178504285490*c_0101_6^11 + 4119383729512614731131736944968756413016630141487/24903942113208604\ 03674207354080222178504285490*c_0101_6^10 - 3643234495894567468921760237929413616038671751387/24903942113208604\ 03674207354080222178504285490*c_0101_6^9 + 298108506020853948948260258465195095253234313591/124519710566043020\ 1837103677040111089252142745*c_0101_6^8 + 84379648033966672022075919162836844672793992993/2263994737564418548\ 79473395825474743500389590*c_0101_6^7 - 371026048232452158881423768551677643916010064013/124519710566043020\ 1837103677040111089252142745*c_0101_6^6 + 45054556714174968006010071238852265655645139003/2263994737564418548\ 79473395825474743500389590*c_0101_6^5 - 364896822187923220004079911924971509566420703127/249039421132086040\ 3674207354080222178504285490*c_0101_6^4 + 1726797117435953165029354697866378029805209621/18585031427767614952\ 792592194628523720181235*c_0101_6^3 - 30825799096915163491670495660915322874075904483/2490394211320860403\ 674207354080222178504285490*c_0101_6^2 - 6826344706795639580085539152468260533286480823/12451971056604302018\ 37103677040111089252142745*c_0101_6 - 9905795199339038433131294876949940395787178087/24903942113208604036\ 74207354080222178504285490, c_0011_0 - 1, c_0011_1 - 485046638313523356245555431083453552094/55219383843034598751\ 0910721525548154878999*c_0101_6^20 + 1342144153402538736937182540354467496381/55219383843034598751091072\ 1525548154878999*c_0101_6^19 + 379103021347334712391850499927178682\ 91938/552193838430345987510910721525548154878999*c_0101_6^18 - 5640732136948871476931751097773404846708/55219383843034598751091072\ 1525548154878999*c_0101_6^17 - 325945166282960533692046122749690348\ 356227/552193838430345987510910721525548154878999*c_0101_6^16 + 112005662879139690146718324313857729828864/552193838430345987510910\ 721525548154878999*c_0101_6^15 - 2874296805953467606416558132836826\ 798295386/552193838430345987510910721525548154878999*c_0101_6^14 + 7316605480976789643661875578035836059212399/55219383843034598751091\ 0721525548154878999*c_0101_6^13 - 344457938788324999180017951539347\ 8943210943/552193838430345987510910721525548154878999*c_0101_6^12 + 521543243488934671578572097411860551243767/552193838430345987510910\ 721525548154878999*c_0101_6^11 + 1040685957637286203633234026376620\ 7224194449/552193838430345987510910721525548154878999*c_0101_6^10 - 15562665643755167442823968422029696750688179/5521938384303459875109\ 10721525548154878999*c_0101_6^9 + 337240372494583647500717787799229\ 4367527456/552193838430345987510910721525548154878999*c_0101_6^8 + 5403107626269859581846989412164200171405132/55219383843034598751091\ 0721525548154878999*c_0101_6^7 - 3662990810850505686371779176351688\ 836856301/552193838430345987510910721525548154878999*c_0101_6^6 + 618247660782588492212787403874150516014693/552193838430345987510910\ 721525548154878999*c_0101_6^5 - 11543320524156381979741652643279261\ 98769263/552193838430345987510910721525548154878999*c_0101_6^4 + 1354010176636314219473121789170453077850/82416990810499401121031450\ 97396241117597*c_0101_6^3 - 587061865175929915110901200091425536343\ 669/552193838430345987510910721525548154878999*c_0101_6^2 - 633134459946889916371091221036477156821634/552193838430345987510910\ 721525548154878999*c_0101_6 - 4356208717798839270822984698428970129\ 95323/552193838430345987510910721525548154878999, c_0101_0 + 2679615194555289169114154334003751235509/5521938384303459875\ 10910721525548154878999*c_0101_6^20 + 18592862766505709907270869661214352935233/5521938384303459875109107\ 21525548154878999*c_0101_6^19 - 23215740659444430650624298388207781\ 171657/552193838430345987510910721525548154878999*c_0101_6^18 - 172254922551495493307064954010066639122137/552193838430345987510910\ 721525548154878999*c_0101_6^17 - 5080929266973784591578208766190651\ 7053095/552193838430345987510910721525548154878999*c_0101_6^16 - 1340217813143025823541673149811341184532641/55219383843034598751091\ 0721525548154878999*c_0101_6^15 + 407253853074049525605329563643474\ 1371358115/552193838430345987510910721525548154878999*c_0101_6^14 - 3275070967487311312204489032905130677241907/55219383843034598751091\ 0721525548154878999*c_0101_6^13 + 401050971551821603290133706659772\ 3996639307/552193838430345987510910721525548154878999*c_0101_6^12 + 3249320803455088288465132403232862952169323/55219383843034598751091\ 0721525548154878999*c_0101_6^11 - 889600201902937483260481183899597\ 0098260137/552193838430345987510910721525548154878999*c_0101_6^10 + 7271944449459492734405232364604595745699477/55219383843034598751091\ 0721525548154878999*c_0101_6^9 - 4679977290993502064270930396423104\ 608729579/552193838430345987510910721525548154878999*c_0101_6^8 + 257128371992841962498671374946459734003415/552193838430345987510910\ 721525548154878999*c_0101_6^7 + 26323099460037942554985515825511270\ 33565790/552193838430345987510910721525548154878999*c_0101_6^6 - 2981100756356846421000848034698350728075004/55219383843034598751091\ 0721525548154878999*c_0101_6^5 + 1185868067326888206567547922623340\ 310094819/552193838430345987510910721525548154878999*c_0101_6^4 - 32219185104137944332842438232250709554556/8241699081049940112103145\ 097396241117597*c_0101_6^3 + 42286285435495744121337828902820947885\ 4158/552193838430345987510910721525548154878999*c_0101_6^2 + 123128138070663539042090050346162526015460/552193838430345987510910\ 721525548154878999*c_0101_6 - 2436304726464312576304378582248296062\ 28423/552193838430345987510910721525548154878999, c_0101_1 - 3510025600715988871187655022773376003946/5521938384303459875\ 10910721525548154878999*c_0101_6^20 - 28605455775824451987933474119821689758441/5521938384303459875109107\ 21525548154878999*c_0101_6^19 + 27178714943751468552259824401679672\ 43180/552193838430345987510910721525548154878999*c_0101_6^18 + 279937810351568992200240364019241550565208/552193838430345987510910\ 721525548154878999*c_0101_6^17 + 3567222951644282450524427686145818\ 92810436/552193838430345987510910721525548154878999*c_0101_6^16 + 1660711961882559850884593573483620990222323/55219383843034598751091\ 0721525548154878999*c_0101_6^15 - 356223557692566380846352536023408\ 1190169308/552193838430345987510910721525548154878999*c_0101_6^14 - 2995990434115177106991745990899258600921855/55219383843034598751091\ 0721525548154878999*c_0101_6^13 + 406709448802312891968990848669926\ 602027189/552193838430345987510910721525548154878999*c_0101_6^12 - 4393814441966172950782600106149804596342118/55219383843034598751091\ 0721525548154878999*c_0101_6^11 + 123412146457501937924512054798512\ 7675056468/552193838430345987510910721525548154878999*c_0101_6^10 + 11440133583063196990389282494538941536228533/5521938384303459875109\ 10721525548154878999*c_0101_6^9 - 290098730462689998182441308650331\ 5861012467/552193838430345987510910721525548154878999*c_0101_6^8 - 8403281674403565755302299787152790928491350/55219383843034598751091\ 0721525548154878999*c_0101_6^7 + 8331693119856621705631466798145585\ 443304036/552193838430345987510910721525548154878999*c_0101_6^6 - 376625508525572262455493843367311500921955/552193838430345987510910\ 721525548154878999*c_0101_6^5 - 24073291597736954747986913440327238\ 35217841/552193838430345987510910721525548154878999*c_0101_6^4 + 26625996913759777943265205057794864789239/8241699081049940112103145\ 097396241117597*c_0101_6^3 + 45717329950239620610606113847349366845\ 2760/552193838430345987510910721525548154878999*c_0101_6^2 + 504697392940151901307576074410067716624754/552193838430345987510910\ 721525548154878999*c_0101_6 + 5683571413392180956372300597673511433\ 8077/552193838430345987510910721525548154878999, c_0101_4 - 4682644581454006931061805348353188143573/5521938384303459875\ 10910721525548154878999*c_0101_6^20 - 34344330644311682731258906397839944944901/5521938384303459875109107\ 21525548154878999*c_0101_6^19 + 31551014937973400800400077889138230\ 708777/552193838430345987510910721525548154878999*c_0101_6^18 + 343394694199848450834632164404141898309554/552193838430345987510910\ 721525548154878999*c_0101_6^17 + 1698575205282591907870371695295038\ 35845677/552193838430345987510910721525548154878999*c_0101_6^16 + 2116287514439463409821204262623880919317836/55219383843034598751091\ 0721525548154878999*c_0101_6^15 - 621095639813083329512082582242957\ 5983538743/552193838430345987510910721525548154878999*c_0101_6^14 + 1165151768582554263716891101439006765417250/55219383843034598751091\ 0721525548154878999*c_0101_6^13 + 122172080909682880707951196869624\ 9602409500/552193838430345987510910721525548154878999*c_0101_6^12 - 12533056964311198496905255273335838443491505/5521938384303459875109\ 10721525548154878999*c_0101_6^11 + 15010078264544087285336390075712804154816376/5521938384303459875109\ 10721525548154878999*c_0101_6^10 + 1139104617344745289347778608520881821157661/55219383843034598751091\ 0721525548154878999*c_0101_6^9 - 1154393652522856747032596100133331\ 6715698087/552193838430345987510910721525548154878999*c_0101_6^8 + 11006120999073045049088906693370709430055260/5521938384303459875109\ 10721525548154878999*c_0101_6^7 - 149390285107385384342242376686325\ 6780562055/552193838430345987510910721525548154878999*c_0101_6^6 - 2332623298585440158228506247933593845061748/55219383843034598751091\ 0721525548154878999*c_0101_6^5 + 2875343409249159560691333878864139\ 195016769/552193838430345987510910721525548154878999*c_0101_6^4 - 14163619479354245590959090370951824709686/8241699081049940112103145\ 097396241117597*c_0101_6^3 + 69582849562322619408808169921732052680\ 5098/552193838430345987510910721525548154878999*c_0101_6^2 + 506358440562769688404331603122389221660603/552193838430345987510910\ 721525548154878999*c_0101_6 + 2832529024946404613642593908911249464\ 47376/552193838430345987510910721525548154878999, c_0101_5 + 966489657597627360841906134078833570405/55219383843034598751\ 0910721525548154878999*c_0101_6^20 + 10773453097057059199576491088674161808342/5521938384303459875109107\ 21525548154878999*c_0101_6^19 + 19370049105795186402574997412858985\ 304672/552193838430345987510910721525548154878999*c_0101_6^18 - 104741381980192121617672410165212445713719/552193838430345987510910\ 721525548154878999*c_0101_6^17 - 3039385910374715428801092873200661\ 64205918/552193838430345987510910721525548154878999*c_0101_6^16 - 492951539287142930038752079788080342981306/552193838430345987510910\ 721525548154878999*c_0101_6^15 - 2757630404760928101283481263187516\ 70627369/552193838430345987510910721525548154878999*c_0101_6^14 + 5295678156956626628800174427831133735827919/55219383843034598751091\ 0721525548154878999*c_0101_6^13 - 240861876396705420850839824887414\ 0520499905/552193838430345987510910721525548154878999*c_0101_6^12 + 1767976174935138230443123226500484652579538/55219383843034598751091\ 0721525548154878999*c_0101_6^11 + 452335741261598122119558061055883\ 3622082988/552193838430345987510910721525548154878999*c_0101_6^10 - 12778603266111836722724363755809316144679839/5521938384303459875109\ 10721525548154878999*c_0101_6^9 + 245643671750725944191421364591695\ 1024021221/552193838430345987510910721525548154878999*c_0101_6^8 + 6352435984232190903847384111509867916614490/55219383843034598751091\ 0721525548154878999*c_0101_6^7 - 4225097290702832297908841396133870\ 027467560/552193838430345987510910721525548154878999*c_0101_6^6 - 915269085717098037480631243296588455816025/552193838430345987510910\ 721525548154878999*c_0101_6^5 + 11537162574302329741927018082005669\ 31465235/552193838430345987510910721525548154878999*c_0101_6^4 - 7867499261382466219087750542529685578161/82416990810499401121031450\ 97396241117597*c_0101_6^3 - 580332973563172001564727252623322701302\ 239/552193838430345987510910721525548154878999*c_0101_6^2 - 273657004595385252182693758808772372462179/552193838430345987510910\ 721525548154878999*c_0101_6 - 1813838418799231910798813736666420044\ 48422/552193838430345987510910721525548154878999, c_0101_6^21 + 7*c_0101_6^20 - 10*c_0101_6^19 - 77*c_0101_6^18 - 6*c_0101_6^17 - 379*c_0101_6^16 + 1507*c_0101_6^15 - 343*c_0101_6^14 - 1292*c_0101_6^13 + 2916*c_0101_6^12 - 3844*c_0101_6^11 - 776*c_0101_6^10 + 4761*c_0101_6^9 - 2486*c_0101_6^8 - 708*c_0101_6^7 + 814*c_0101_6^6 - 221*c_0101_6^5 + 102*c_0101_6^4 - 159*c_0101_6^3 + 57*c_0101_6^2 + 34*c_0101_6 + 55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB