Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 2901225537] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0698 geometric_solution 4.65543507 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 1023 0 0 0 0 0 0 1 -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 1 0 -1 1 0 -1 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.201287604938 0.198899657662 0 1 1 0 0132 3201 2310 1023 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 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 2.533842318445 0.610625265425 0 0 4 3 2310 0132 0132 0132 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 -1 1 0 1 0 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.856846653955 1.626375556501 5 5 2 4 0132 2310 0132 3012 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 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.297506880857 0.888604569289 6 6 3 2 0132 2310 1230 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 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.297506880857 0.888604569289 3 6 6 3 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.437965521554 0.539428187533 4 5 5 4 0132 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.437965521554 0.539428187533 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_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' : 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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_5'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 282321444207889550149930734369556805305069/208676239390018693451298\ 2539283981246037*c_0101_5^21 - 316297262668036072554332466325252382\ 258219/189705672172744266773907503571271022367*c_0101_5^20 - 410613095009811400037000139624500248649463/632352240575814222579691\ 67857090340789*c_0101_5^19 - 59861879154879502790532760117685177345\ 51828/695587464633395644837660846427993748679*c_0101_5^18 - 1154009611043076033780262180446574526814033/63235224057581422257969\ 167857090340789*c_0101_5^17 - 2075459705737868486661491735666880200\ 07501724/2086762393900186934512982539283981246037*c_0101_5^16 - 440110306106428423401828423871047703345517611/208676239390018693451\ 2982539283981246037*c_0101_5^15 - 247414023846129218297468008694715\ 061768214215/695587464633395644837660846427993748679*c_0101_5^14 - 413375527697464191524770201958767246656591976/695587464633395644837\ 660846427993748679*c_0101_5^13 - 1738308104166078658986848750301786\ 323032900270/2086762393900186934512982539283981246037*c_0101_5^12 - 714021202728608421930652846138667907477834452/695587464633395644837\ 660846427993748679*c_0101_5^11 - 2442846223848915274442465645129653\ 04966672028/695587464633395644837660846427993748679*c_0101_5^10 + 71216635265174685308312171049130595051648956/2086762393900186934512\ 982539283981246037*c_0101_5^9 + 22608452540652186072663914862846906\ 227709457/695587464633395644837660846427993748679*c_0101_5^8 - 50202259427469432222591493600525675155700471/2086762393900186934512\ 982539283981246037*c_0101_5^7 + 97722931803297352885183880832876666\ 94685915/109829599678957207079630659962314802423*c_0101_5^6 + 25392241033539824887255666749146945020091045/6955874646333956448376\ 60846427993748679*c_0101_5^5 - 119089363267386697320826566414773744\ 87328926/695587464633395644837660846427993748679*c_0101_5^4 + 18629947508028122997429928635977036039996585/2086762393900186934512\ 982539283981246037*c_0101_5^3 - 16425722394495225927921891134101129\ 04611747/2086762393900186934512982539283981246037*c_0101_5^2 - 5081871078366797313759903254407920995866964/20867623939001869345129\ 82539283981246037*c_0101_5 + 92554969897039481571227842041569311603\ 1398/2086762393900186934512982539283981246037, c_0011_0 - 1, c_0011_3 + 21609333069134922373525444528420324788/632352240575814222579\ 69167857090340789*c_0101_5^21 + 27099995777067501089272510215021409\ 4479/63235224057581422257969167857090340789*c_0101_5^20 + 1095749658174246451916708255345849109546/63235224057581422257969167\ 857090340789*c_0101_5^19 + 1609413379447939294644032359129336828641\ /63235224057581422257969167857090340789*c_0101_5^18 + 3251716043191120424541339590570087752013/63235224057581422257969167\ 857090340789*c_0101_5^17 + 1657415008194212001900142391059352101322\ 9/63235224057581422257969167857090340789*c_0101_5^16 + 37256805817817394458545874092270040370737/6323522405758142225796916\ 7857090340789*c_0101_5^15 + 647264259586146890820757042681734874165\ 96/63235224057581422257969167857090340789*c_0101_5^14 + 108555085009697874246685673359815527754149/632352240575814222579691\ 67857090340789*c_0101_5^13 + 15599487472209179004940054205804415487\ 7353/63235224057581422257969167857090340789*c_0101_5^12 + 196852883215127705679021591010340560127646/632352240575814222579691\ 67857090340789*c_0101_5^11 + 97544674528156064112788758244298464962\ 281/63235224057581422257969167857090340789*c_0101_5^10 + 14376548019380444642172712934500652267426/6323522405758142225796916\ 7857090340789*c_0101_5^9 - 1903155662683563828866588539420639813799\ /63235224057581422257969167857090340789*c_0101_5^8 + 5314644762624358657874539332812256974524/63235224057581422257969167\ 857090340789*c_0101_5^7 - 625696331043448568794835036434563210052/3\ 328169687241127487261535150373175831*c_0101_5^6 - 7850106887040804731435920733775416311224/63235224057581422257969167\ 857090340789*c_0101_5^5 + 1225507927000924535485576100539064373136/\ 63235224057581422257969167857090340789*c_0101_5^4 - 993740045215991344651630418359306006830/632352240575814222579691678\ 57090340789*c_0101_5^3 - 265586018857138803634349423368543093601/63\ 235224057581422257969167857090340789*c_0101_5^2 + 358620953139228854958424360263739026383/632352240575814222579691678\ 57090340789*c_0101_5 - 8292169964679427239438237217990429178/632352\ 24057581422257969167857090340789, c_0011_4 + 21609333069134922373525444528420324788/632352240575814222579\ 69167857090340789*c_0101_5^21 + 27099995777067501089272510215021409\ 4479/63235224057581422257969167857090340789*c_0101_5^20 + 1095749658174246451916708255345849109546/63235224057581422257969167\ 857090340789*c_0101_5^19 + 1609413379447939294644032359129336828641\ /63235224057581422257969167857090340789*c_0101_5^18 + 3251716043191120424541339590570087752013/63235224057581422257969167\ 857090340789*c_0101_5^17 + 1657415008194212001900142391059352101322\ 9/63235224057581422257969167857090340789*c_0101_5^16 + 37256805817817394458545874092270040370737/6323522405758142225796916\ 7857090340789*c_0101_5^15 + 647264259586146890820757042681734874165\ 96/63235224057581422257969167857090340789*c_0101_5^14 + 108555085009697874246685673359815527754149/632352240575814222579691\ 67857090340789*c_0101_5^13 + 15599487472209179004940054205804415487\ 7353/63235224057581422257969167857090340789*c_0101_5^12 + 196852883215127705679021591010340560127646/632352240575814222579691\ 67857090340789*c_0101_5^11 + 97544674528156064112788758244298464962\ 281/63235224057581422257969167857090340789*c_0101_5^10 + 14376548019380444642172712934500652267426/6323522405758142225796916\ 7857090340789*c_0101_5^9 - 1903155662683563828866588539420639813799\ /63235224057581422257969167857090340789*c_0101_5^8 + 5314644762624358657874539332812256974524/63235224057581422257969167\ 857090340789*c_0101_5^7 - 625696331043448568794835036434563210052/3\ 328169687241127487261535150373175831*c_0101_5^6 - 7850106887040804731435920733775416311224/63235224057581422257969167\ 857090340789*c_0101_5^5 + 1225507927000924535485576100539064373136/\ 63235224057581422257969167857090340789*c_0101_5^4 - 993740045215991344651630418359306006830/632352240575814222579691678\ 57090340789*c_0101_5^3 - 265586018857138803634349423368543093601/63\ 235224057581422257969167857090340789*c_0101_5^2 + 358620953139228854958424360263739026383/632352240575814222579691678\ 57090340789*c_0101_5 - 8292169964679427239438237217990429178/632352\ 24057581422257969167857090340789, c_0101_0 - 62315770707293289177598140605745327367/632352240575814222579\ 69167857090340789*c_0101_5^21 - 76552694654875333907708797948901057\ 9567/63235224057581422257969167857090340789*c_0101_5^20 - 2960490885954846815179399530147904393054/63235224057581422257969167\ 857090340789*c_0101_5^19 - 3842688556197625349837320856070096224370\ /63235224057581422257969167857090340789*c_0101_5^18 - 8234502164752883645661257424480975561962/63235224057581422257969167\ 857090340789*c_0101_5^17 - 4546043563033746528324789902554431082389\ 9/63235224057581422257969167857090340789*c_0101_5^16 - 95303062406053263213881525868975781553056/6323522405758142225796916\ 7857090340789*c_0101_5^15 - 159776158254087913733188683195408606972\ 332/63235224057581422257969167857090340789*c_0101_5^14 - 266784602441705633747798621166348869337062/632352240575814222579691\ 67857090340789*c_0101_5^13 - 37206395953691167835254971196066954550\ 3111/63235224057581422257969167857090340789*c_0101_5^12 - 456223922634338349099996436601268201805890/632352240575814222579691\ 67857090340789*c_0101_5^11 - 14095730179909326045943686512898798254\ 4792/63235224057581422257969167857090340789*c_0101_5^10 + 25012826745673345433934101841121846795339/6323522405758142225796916\ 7857090340789*c_0101_5^9 + 1588629572148912243457360362981954008145\ 6/63235224057581422257969167857090340789*c_0101_5^8 - 10680396295097822414247508319833077698138/6323522405758142225796916\ 7857090340789*c_0101_5^7 + 2234980729394789592622594040135512988159\ /3328169687241127487261535150373175831*c_0101_5^6 + 16182325867925300534429782492169363127679/6323522405758142225796916\ 7857090340789*c_0101_5^5 - 8639920922883413248284479537363399948921\ /63235224057581422257969167857090340789*c_0101_5^4 + 4350627723936322361962991947152753977858/63235224057581422257969167\ 857090340789*c_0101_5^3 - 502893884296230524896258903572748373036/6\ 3235224057581422257969167857090340789*c_0101_5^2 - 1114033631339852092976149247989773886073/63235224057581422257969167\ 857090340789*c_0101_5 + 217687008972366574148942613068199768585/632\ 35224057581422257969167857090340789, c_0101_1 + 41715786493185592221231426473191427135/632352240575814222579\ 69167857090340789*c_0101_5^21 + 50781522303698009372806501913427628\ 9596/63235224057581422257969167857090340789*c_0101_5^20 + 1925820283453980795783774316975347219915/63235224057581422257969167\ 857090340789*c_0101_5^19 + 2364942121125743281137483964057513308510\ /63235224057581422257969167857090340789*c_0101_5^18 + 5277570035661525666620267770603247595569/63235224057581422257969167\ 857090340789*c_0101_5^17 + 2988987555837409827621463190854359522963\ 2/63235224057581422257969167857090340789*c_0101_5^16 + 60575321322584145992404127587298934917218/6323522405758142225796916\ 7857090340789*c_0101_5^15 + 100674893759366647435116121500426585375\ 542/63235224057581422257969167857090340789*c_0101_5^14 + 168385048669550090559507374497559235304289/632352240575814222579691\ 67857090340789*c_0101_5^13 + 23230807329127021954072336989793851262\ 5290/63235224057581422257969167857090340789*c_0101_5^12 + 283057243206611635444265191164909239625507/632352240575814222579691\ 67857090340789*c_0101_5^11 + 68135885913118875538726438341966452467\ 954/63235224057581422257969167857090340789*c_0101_5^10 - 17026830682934413863260052929047730719993/6323522405758142225796916\ 7857090340789*c_0101_5^9 - 3095811054058161511648591813621988361543\ /63235224057581422257969167857090340789*c_0101_5^8 + 12353706117382018556065094820290915369830/6323522405758142225796916\ 7857090340789*c_0101_5^7 - 1456147309928896880294886871074256916974\ /3328169687241127487261535150373175831*c_0101_5^6 - 6715652474635856757096867631346015168383/63235224057581422257969167\ 857090340789*c_0101_5^5 + 6317877033565594965264464361721400828078/\ 63235224057581422257969167857090340789*c_0101_5^4 - 3572984944528123909777576203684828017448/63235224057581422257969167\ 857090340789*c_0101_5^3 + 439616790411249078201148740243809045576/6\ 3235224057581422257969167857090340789*c_0101_5^2 + 583639011233404273276118484026000975368/632352240575814222579691678\ 57090340789*c_0101_5 - 178619569077539541015869783603362537120/6323\ 5224057581422257969167857090340789, c_0101_2 - 8292336685233411004488719690166483661/6323522405758142225796\ 9167857090340789*c_0101_5^21 - 104402570392183022146638147097299257\ 663/63235224057581422257969167857090340789*c_0101_5^20 - 425643341477708503644077632352570781098/632352240575814222579691678\ 57090340789*c_0101_5^19 - 638393332634932437907415715151487999561/6\ 3235224057581422257969167857090340789*c_0101_5^18 - 1275906441383932388691823770378173338208/63235224057581422257969167\ 857090340789*c_0101_5^17 - 6408759047684251197991452710956713007662\ /63235224057581422257969167857090340789*c_0101_5^16 - 14593382989758619771675649689235879241528/6323522405758142225796916\ 7857090340789*c_0101_5^15 - 255179474462714427764416967404412038175\ 71/63235224057581422257969167857090340789*c_0101_5^14 - 42696776600378747457182759878489033791268/6323522405758142225796916\ 7857090340789*c_0101_5^13 - 614946280705431192771338514521911479784\ 32/63235224057581422257969167857090340789*c_0101_5^12 - 77728572940787682503432698432483726908542/6323522405758142225796916\ 7857090340789*c_0101_5^11 - 398148385686975534481287443935720189014\ 79/63235224057581422257969167857090340789*c_0101_5^10 - 5388276196619111871846923161765027715660/63235224057581422257969167\ 857090340789*c_0101_5^9 + 3196746347410222434146816487091590146964/\ 63235224057581422257969167857090340789*c_0101_5^8 - 495727033257962463203539975646125041253/632352240575814222579691678\ 57090340789*c_0101_5^7 + 270082428378214727778528664601579995937/33\ 28169687241127487261535150373175831*c_0101_5^6 + 3369878861215476116419907833688776163574/63235224057581422257969167\ 857090340789*c_0101_5^5 - 337578218438866455672492076653368565517/6\ 3235224057581422257969167857090340789*c_0101_5^4 + 25787921950520355460465375062104153012/6323522405758142225796916785\ 7090340789*c_0101_5^3 - 51496049689740107482166742044428199583/6323\ 5224057581422257969167857090340789*c_0101_5^2 - 157481929596414423405688047968645999390/632352240575814222579691678\ 57090340789*c_0101_5 - 11263416011749202695036360247173711366/63235\ 224057581422257969167857090340789, c_0101_5^22 + 12*c_0101_5^21 + 44*c_0101_5^20 + 48*c_0101_5^19 + 114*c_0101_5^18 + 691*c_0101_5^17 + 1320*c_0101_5^16 + 2120*c_0101_5^15 + 3531*c_0101_5^14 + 4717*c_0101_5^13 + 5564*c_0101_5^12 + 96*c_0101_5^11 - 1147*c_0101_5^10 - 188*c_0101_5^9 + 256*c_0101_5^8 - 711*c_0101_5^7 - 58*c_0101_5^6 + 216*c_0101_5^5 - 104*c_0101_5^4 + 27*c_0101_5^3 + 16*c_0101_5^2 - 9*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB