Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 3052677483] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1489 geometric_solution 5.30148914 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 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.527583976450 1.199751571579 0 4 2 3 0132 1302 1302 1302 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 1 -1 0 0 0 0 0 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692863117382 0.698444179616 1 0 2 2 2031 0132 2031 1302 0 0 0 0 0 1 -1 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 1 -2 1 1 0 -1 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645177204756 1.082441460665 3 3 1 0 1230 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189838444791 0.532531582534 5 5 0 1 0132 2310 0132 2031 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 1 -1 0 1 0 0 -1 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.948522814486 0.400774561404 4 6 6 4 0132 0132 3201 3201 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 -1 0 0 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.039999619135 0.647283121238 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.221474057698 0.629993637741 ==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_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_0101_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_1010_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_1010_1']), 'c_1100_3' : negation(d['c_1010_1']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_1010_1'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_2, c_0101_5, c_0101_6, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 10584203915561477226481307062680491978/5640011171575791473522814223\ 47356531009*c_1010_1^19 + 45386611004820715183940138585095463010/56\ 4001117157579147352281422347356531009*c_1010_1^18 - 28586350365145879259228169625442139509/5640011171575791473522814223\ 47356531009*c_1010_1^17 + 13625889826164669417494634085456883259/20\ 5091315330028780855375062671766011276*c_1010_1^16 + 317734545525618538297591683835156291265/112800223431515829470456284\ 4694713062018*c_1010_1^15 - 429733643150645942679663148627819124455\ /564001117157579147352281422347356531009*c_1010_1^14 - 77064677149368528154617289904196782992/5127282883250719521384376566\ 7941502819*c_1010_1^13 - 3724492511440046257586038003916622691969/1\ 128002234315158294704562844694713062018*c_1010_1^12 - 7524830555210704530182901845585774055497/22560044686303165894091256\ 89389426124036*c_1010_1^11 - 36232748202834535937317634140935135357\ 84/564001117157579147352281422347356531009*c_1010_1^10 + 1427031088956649075209602071729696635249/11280022343151582947045628\ 44694713062018*c_1010_1^9 + 115202791386358044402394020260904351982\ 51/2256004468630316589409125689389426124036*c_1010_1^8 - 1913614407297036716370617531614268974/26985699385530102744128297719\ 96921201*c_1010_1^7 + 71519913459735338248865457327122677968377/225\ 6004468630316589409125689389426124036*c_1010_1^6 + 25899564082002496455611972871117853085645/1128002234315158294704562\ 844694713062018*c_1010_1^5 + 51989949429609936663122066244126638731\ 31/205091315330028780855375062671766011276*c_1010_1^4 + 80127171877311230638502588153345892836813/2256004468630316589409125\ 689389426124036*c_1010_1^3 + 10872788232005999728353960929765219451\ 4457/2256004468630316589409125689389426124036*c_1010_1^2 + 24438153648837691838984934250148920083116/5640011171575791473522814\ 22347356531009*c_1010_1 + 4086418228698709853240688913042054483985/\ 564001117157579147352281422347356531009, c_0011_0 - 1, c_0011_3 + 893748798693408923606734242105899/52655023191278249256835702\ 8682326088*c_1010_1^19 + 2911320799696701149859349284116449/5265502\ 31912782492568357028682326088*c_1010_1^18 - 2895158818616935113612114345897633/26327511595639124628417851434116\ 3044*c_1010_1^17 + 942071395090997959160038222627774/65818778989097\ 811571044628585290761*c_1010_1^16 + 3189089658601342365275167636571925/26327511595639124628417851434116\ 3044*c_1010_1^15 - 45736446344201533980412106909348985/526550231912\ 782492568357028682326088*c_1010_1^14 - 28701784595095136530888927313843111/5265502319127824925683570286823\ 26088*c_1010_1^13 - 55777972771941131903387685181640607/26327511595\ 6391246284178514341163044*c_1010_1^12 - 20740465940433664996943682598915437/5265502319127824925683570286823\ 26088*c_1010_1^11 - 206082747459545185931855362452582871/5265502319\ 12782492568357028682326088*c_1010_1^10 + 366810310535738772240809969247139563/526550231912782492568357028682\ 326088*c_1010_1^9 + 39224891466034734734257667828300405/52655023191\ 2782492568357028682326088*c_1010_1^8 - 91182998547660968423447117988486115/5265502319127824925683570286823\ 26088*c_1010_1^7 + 763815097719930885438087467057555005/26327511595\ 6391246284178514341163044*c_1010_1^6 - 256362600651994970552492496897888695/263275115956391246284178514341\ 163044*c_1010_1^5 + 958474706210863059487753710593318171/5265502319\ 12782492568357028682326088*c_1010_1^4 + 111739442978012103070448137687379087/131637557978195623142089257170\ 581522*c_1010_1^3 + 281053692635115264574659611181885827/1316375579\ 78195623142089257170581522*c_1010_1^2 + 106064323448567548911943172945214169/131637557978195623142089257170\ 581522*c_1010_1 - 73545021747266330066148865447217056/6581877898909\ 7811571044628585290761, c_0011_4 + 11616897200325806025202034962813/727867818894945455000088947\ 2682188*c_1010_1^19 + 67277840624985268335587915942655/145573563778\ 98909100001778945364376*c_1010_1^18 - 23311873578889332382524702540152/1819669547237363637500222368170547\ *c_1010_1^17 + 57601311447029200997273572201423/3639339094474727275\ 000444736341094*c_1010_1^16 + 45502457331754326052712252897875/3639\ 339094474727275000444736341094*c_1010_1^15 - 169597575374648047481485850859996/181966954723736363750022236817054\ 7*c_1010_1^14 - 356316317207064876596247360919687/14557356377898909\ 100001778945364376*c_1010_1^13 - 1061059611896597118968052772581229\ /7278678188949454550000889472682188*c_1010_1^12 + 118254997814309629586626206560815/363933909447472727500044473634109\ 4*c_1010_1^11 - 4680628086640903792838887046561639/1455735637789890\ 9100001778945364376*c_1010_1^10 + 265674351630172122916234944398804\ 5/3639339094474727275000444736341094*c_1010_1^9 - 1015783067798599596120826696921061/14557356377898909100001778945364\ 376*c_1010_1^8 - 3599061329941027543547512532344451/727867818894945\ 4550000889472682188*c_1010_1^7 + 4389205814817843270977028169360077\ 3/14557356377898909100001778945364376*c_1010_1^6 - 25280950978276406357976918845566337/1455735637789890910000177894536\ 4376*c_1010_1^5 + 15564643013760574323855585186874961/1455735637789\ 8909100001778945364376*c_1010_1^4 + 6816503275556903040184633673790295/72786781889494545500008894726821\ 88*c_1010_1^3 + 2163546120947025119329011638276902/1819669547237363\ 637500222368170547*c_1010_1^2 - 1888179007898017105315277098120827/\ 3639339094474727275000444736341094*c_1010_1 - 2503569420316319383804855467617594/18196695472373636375002223681705\ 47, c_0101_2 - 36230386812480572474052508923730171/215885595084240821953026\ 38175975369608*c_1010_1^19 - 125283989273510046377325697444327991/2\ 1588559508424082195302638175975369608*c_1010_1^18 + 26629881132928250096016590134757453/2698569938553010274412829771996\ 921201*c_1010_1^17 - 31957861985265433718745592453536675/2698569938\ 553010274412829771996921201*c_1010_1^16 - 176946799185378758810903804998102877/107942797542120410976513190879\ 87684804*c_1010_1^15 + 1809343616122764123508816741996782565/215885\ 59508424082195302638175975369608*c_1010_1^14 + 1584852325135349905554199758910258865/21588559508424082195302638175\ 975369608*c_1010_1^13 + 1156240543882046581735289184237992703/53971\ 39877106020548825659543993842402*c_1010_1^12 + 1647345453044595444323564177756762309/21588559508424082195302638175\ 975369608*c_1010_1^11 + 8977680013233187650821950996225282945/21588\ 559508424082195302638175975369608*c_1010_1^10 - 12298015100290633185067338719803774277/2158855950842408219530263817\ 5975369608*c_1010_1^9 - 4363939584087178610576529821468685735/21588\ 559508424082195302638175975369608*c_1010_1^8 + 4336394556790340267930331315636890393/21588559508424082195302638175\ 975369608*c_1010_1^7 - 7782775028538219047711319521831034758/269856\ 9938553010274412829771996921201*c_1010_1^6 + 2933557099209536642311863343801510081/10794279754212041097651319087\ 987684804*c_1010_1^5 - 36725607914181657902853097418590821355/21588\ 559508424082195302638175975369608*c_1010_1^4 - 12699509326006971679775156045692295423/1079427975421204109765131908\ 7987684804*c_1010_1^3 - 7226069951874588866071028942900134093/26985\ 69938553010274412829771996921201*c_1010_1^2 - 1369542002794138762533248014067145335/53971398771060205488256595439\ 93842402*c_1010_1 + 3160426575342617961536560702867450167/269856993\ 8553010274412829771996921201, c_0101_5 - 5327981920677009410735581008067/3639339094474727275000444736\ 341094*c_1010_1^19 - 10242144172838967217323094156530/1819669547237\ 363637500222368170547*c_1010_1^18 + 48534376401237226616518593216417/7278678188949454550000889472682188\ *c_1010_1^17 - 26612682628113679697893855143247/3639339094474727275\ 000444736341094*c_1010_1^16 - 36708008413249278435268220948658/1819\ 669547237363637500222368170547*c_1010_1^15 + 247408494567730385776596410680409/363933909447472727500044473634109\ 4*c_1010_1^14 + 335918851395609373263532117297689/36393390944747272\ 75000444736341094*c_1010_1^13 + 1496206911191146721789199871289119/\ 7278678188949454550000889472682188*c_1010_1^12 + 552901949744549809976048223195659/363933909447472727500044473634109\ 4*c_1010_1^11 + 1526664167997864127857146577811011/3639339094474727\ 275000444736341094*c_1010_1^10 - 2042420376903459329127194692128319\ /7278678188949454550000889472682188*c_1010_1^9 - 529882051837851768553844337247944/181966954723736363750022236817054\ 7*c_1010_1^8 + 1716552969058772426827948785069671/72786781889494545\ 50000889472682188*c_1010_1^7 - 4563073483476919091964582116229881/1\ 819669547237363637500222368170547*c_1010_1^6 - 6898101767245392235047288802122917/72786781889494545500008894726821\ 88*c_1010_1^5 - 9126547990695282126639554069639723/7278678188949454\ 550000889472682188*c_1010_1^4 - 13309829104830574203181529816928643\ /7278678188949454550000889472682188*c_1010_1^3 - 5333444268387937197843211947080118/18196695472373636375002223681705\ 47*c_1010_1^2 - 3014958878485087885934198460430382/1819669547237363\ 637500222368170547*c_1010_1 + 1663596028211931678805688900101288/18\ 19669547237363637500222368170547, c_0101_6 - 27032019576246929672303657616581/145573563778989091000017789\ 45364376*c_1010_1^19 - 95651663466868870807019382093965/14557356377\ 898909100001778945364376*c_1010_1^18 + 36310152231219597559510646406369/3639339094474727275000444736341094\ *c_1010_1^17 - 26012722169874687867157831044848/1819669547237363637\ 500222368170547*c_1010_1^16 - 136106893082088885381293525431675/727\ 8678188949454550000889472682188*c_1010_1^15 + 1340311276427727783846238068447563/14557356377898909100001778945364\ 376*c_1010_1^14 + 1156666979674909736443212068608891/14557356377898\ 909100001778945364376*c_1010_1^13 + 469622622778887259889746262033012/181966954723736363750022236817054\ 7*c_1010_1^12 + 2286769182807911686182539921871475/1455735637789890\ 9100001778945364376*c_1010_1^11 + 777439925214942589227055135760252\ 3/14557356377898909100001778945364376*c_1010_1^10 - 7346955840690794247191020386434799/14557356377898909100001778945364\ 376*c_1010_1^9 - 1808756723999441440836541980718933/145573563778989\ 09100001778945364376*c_1010_1^8 + 313047564357954682899724400845331\ 5/14557356377898909100001778945364376*c_1010_1^7 - 12517879209398628584849096985991283/3639339094474727275000444736341\ 094*c_1010_1^6 + 1077916247755902208587181928022951/727867818894945\ 4550000889472682188*c_1010_1^5 - 3298329343933118126351554706104913\ 3/14557356377898909100001778945364376*c_1010_1^4 - 17102634079107892095004152893982255/7278678188949454550000889472682\ 188*c_1010_1^3 - 5001247404286961750195413935666951/181966954723736\ 3637500222368170547*c_1010_1^2 - 5161073009072235342914826302396791\ /3639339094474727275000444736341094*c_1010_1 + 695101548703848886927012417572992/181966954723736363750022236817054\ 7, c_1010_1^20 + 4*c_1010_1^19 - 4*c_1010_1^18 + 4*c_1010_1^17 + 14*c_1010_1^16 - 45*c_1010_1^15 - 70*c_1010_1^14 - 150*c_1010_1^13 - 121*c_1010_1^12 - 278*c_1010_1^11 + 189*c_1010_1^10 + 280*c_1010_1^9 - 95*c_1010_1^8 + 1671*c_1010_1^7 + 767*c_1010_1^6 + 834*c_1010_1^5 + 1348*c_1010_1^4 + 1880*c_1010_1^3 + 1240*c_1010_1^2 - 432*c_1010_1 - 304 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB