Magma V2.19-8 Tue Aug 20 2013 16:18:39 on localhost [Seed = 1848636253] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2828 geometric_solution 6.05017548 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 1 0 -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 -0.145995790612 0.838054436514 0 3 5 4 0132 0132 0132 0132 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 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.397491330857 1.091419922542 3 0 4 5 0132 0132 2310 2310 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 -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.397491330857 1.091419922542 2 1 6 6 0132 0132 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 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.437494103680 0.753483286653 4 2 1 4 3201 3201 0132 2310 0 0 0 0 0 0 0 0 1 0 -1 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 1 -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.586089024415 0.566166246814 2 5 5 1 3201 1230 3012 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.984750062322 0.855511129256 3 6 6 3 3201 3201 2310 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 -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.534521258625 0.928448515126 ==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' : negation(d['1']), 's_1_6' : negation(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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 160756888832215670793211749113181966207/560400626089022518708030915\ 636819481*c_0101_3^19 + 8431226348148154209442309385628849769615/56\ 0400626089022518708030915636819481*c_0101_3^18 - 33831277567976748283575367243235965336993/5604006260890225187080309\ 15636819481*c_0101_3^17 - 26231783097211915426432269332048906946419\ 9/560400626089022518708030915636819481*c_0101_3^16 - 441103972931519761715782477101451579536672/560400626089022518708030\ 915636819481*c_0101_3^15 - 4023495764234450252150698370395951158169\ 90/560400626089022518708030915636819481*c_0101_3^14 - 445930156987624757674056194635335278030467/560400626089022518708030\ 915636819481*c_0101_3^13 - 4515706269270223420895432135376903860190\ 34/560400626089022518708030915636819481*c_0101_3^12 - 33163719899444085330596915681350134095806/5094551146263841079163917\ 4148801771*c_0101_3^11 - 235605356635638658558901867483242058447701\ /560400626089022518708030915636819481*c_0101_3^10 - 7386919089039320862341614767956916254907/50945511462638410791639174\ 148801771*c_0101_3^9 - 998694247417447476192889871094603562701/5094\ 5511462638410791639174148801771*c_0101_3^8 + 88198468567633342367897813492204238957322/5604006260890225187080309\ 15636819481*c_0101_3^7 + 84644802306086320246795033089179585890427/\ 560400626089022518708030915636819481*c_0101_3^6 + 58750847341708565236093335848058334024931/5604006260890225187080309\ 15636819481*c_0101_3^5 + 50714918514104476127238402792428711966598/\ 560400626089022518708030915636819481*c_0101_3^4 + 13094744845229276073674685427736439964650/5604006260890225187080309\ 15636819481*c_0101_3^3 + 12836396296053131523351179678347980272762/\ 560400626089022518708030915636819481*c_0101_3^2 + 2226066846272585911699010628332102697438/56040062608902251870803091\ 5636819481*c_0101_3 + 1095238751965184219417015332507206023259/5604\ 00626089022518708030915636819481, c_0011_0 - 1, c_0011_4 - 128873152793706310939093466946805559/16812018782670675561240\ 92746910458443*c_0101_3^19 + 6654185991313244246290524255420708047/\ 1681201878267067556124092746910458443*c_0101_3^18 - 21583792045004539774832363799363409871/1681201878267067556124092746\ 910458443*c_0101_3^17 - 234425078852012337253621544312183033375/168\ 1201878267067556124092746910458443*c_0101_3^16 - 516122450080000610618269251694762331815/168120187826706755612409274\ 6910458443*c_0101_3^15 - 547504685835362770942956803952665744501/16\ 81201878267067556124092746910458443*c_0101_3^14 - 172022747826896570229162337671966851760/560400626089022518708030915\ 636819481*c_0101_3^13 - 553020173006564326505148358090056942713/168\ 1201878267067556124092746910458443*c_0101_3^12 - 43760600865319003034260807878001028260/1528365343879152323749175224\ 46405313*c_0101_3^11 - 107229056282786243493614114906839448920/5604\ 00626089022518708030915636819481*c_0101_3^10 - 11503819505476810310822365985526913406/1528365343879152323749175224\ 46405313*c_0101_3^9 - 657114832445104781930385404521319359/15283653\ 4387915232374917522446405313*c_0101_3^8 + 87189442180705369389459939815776427998/1681201878267067556124092746\ 910458443*c_0101_3^7 + 41997210595278023668377062204448264971/56040\ 0626089022518708030915636819481*c_0101_3^6 + 82924191825479470858364179627494652562/1681201878267067556124092746\ 910458443*c_0101_3^5 + 60848717251397056789948658264867449523/16812\ 01878267067556124092746910458443*c_0101_3^4 + 27469960803766628353464387145538522393/1681201878267067556124092746\ 910458443*c_0101_3^3 + 11388798858673011904134488740913025122/16812\ 01878267067556124092746910458443*c_0101_3^2 + 4550498772404196360021328433057513681/16812018782670675561240927469\ 10458443*c_0101_3 + 838388452211560796687837358763336154/1681201878\ 267067556124092746910458443, c_0011_6 - 2942227281800684093354142943/94314118186535836330523645677*c\ _0101_3^19 + 158022351055552764200787379272/94314118186535836330523\ 645677*c_0101_3^18 - 813842408389158493433008196257/943141181865358\ 36330523645677*c_0101_3^17 - 4019625330889023704393675123995/943141\ 18186535836330523645677*c_0101_3^16 - 2012090784535698401421233493286/94314118186535836330523645677*c_010\ 1_3^15 + 2820214341024363178785482414803/94314118186535836330523645\ 677*c_0101_3^14 + 564240472731308149877315179799/943141181865358363\ 30523645677*c_0101_3^13 + 248747656395684143073810309322/9431411818\ 6535836330523645677*c_0101_3^12 + 210520199253807398322655664091/85\ 74010744230530575502149607*c_0101_3^11 + 3300300985608025097301932899364/94314118186535836330523645677*c_010\ 1_3^10 + 229612630568528698549855044323/857401074423053057550214960\ 7*c_0101_3^9 + 50342614050671363984703109002/8574010744230530575502\ 149607*c_0101_3^8 + 1139107880420185861125379634618/943141181865358\ 36330523645677*c_0101_3^7 - 343517219988678853436279943538/94314118\ 186535836330523645677*c_0101_3^6 - 697110674786485929299793743494/94314118186535836330523645677*c_0101\ _3^5 - 277544464407493509642393220379/94314118186535836330523645677\ *c_0101_3^4 - 454993109366213378463152371219/9431411818653583633052\ 3645677*c_0101_3^3 + 58560601606443348188152380888/9431411818653583\ 6330523645677*c_0101_3^2 - 85999983033875143122392843867/9431411818\ 6535836330523645677*c_0101_3 - 65474612008999773163194529066/943141\ 18186535836330523645677, c_0101_0 + 636446733341082197221143462154666/15283653438791523237491752\ 2446405313*c_0101_3^19 - 27622735640143505919924270329620966/152836\ 534387915232374917522446405313*c_0101_3^18 - 164759033753482893133955845251353048/152836534387915232374917522446\ 405313*c_0101_3^17 + 2078465201708984727431299481497627480/15283653\ 4387915232374917522446405313*c_0101_3^16 + 11913169353938137810735748376675006722/1528365343879152323749175224\ 46405313*c_0101_3^15 + 22262905644454756772953673169627835231/15283\ 6534387915232374917522446405313*c_0101_3^14 + 7515118999398241768666885584242187735/50945511462638410791639174148\ 801771*c_0101_3^13 + 22437317507309156607796363778178030829/1528365\ 34387915232374917522446405313*c_0101_3^12 + 23063426486918646968494457796795634972/1528365343879152323749175224\ 46405313*c_0101_3^11 + 6090438217907832074121573830756033367/509455\ 11462638410791639174148801771*c_0101_3^10 + 11800840549452996145196128517114770271/1528365343879152323749175224\ 46405313*c_0101_3^9 + 4240942340003798142777447107866906714/1528365\ 34387915232374917522446405313*c_0101_3^8 - 534604711862137303028093377888380569/152836534387915232374917522446\ 405313*c_0101_3^7 - 1589040741871825269351364016738453918/509455114\ 62638410791639174148801771*c_0101_3^6 - 5352034304487495516879270709286892073/15283653438791523237491752244\ 6405313*c_0101_3^5 - 3145405881669772725942286914751136896/15283653\ 4387915232374917522446405313*c_0101_3^4 - 2571618160966255750928718824560951297/15283653438791523237491752244\ 6405313*c_0101_3^3 - 814204868411983041951073945201460920/152836534\ 387915232374917522446405313*c_0101_3^2 - 383324774818038157193036770081962676/152836534387915232374917522446\ 405313*c_0101_3 - 139758446623584252770285759105993524/152836534387\ 915232374917522446405313, c_0101_1 + 70061358396366730551452896270605028/168120187826706755612409\ 2746910458443*c_0101_3^19 - 3747665547117875352880623704989384933/1\ 681201878267067556124092746910458443*c_0101_3^18 + 18584723258018013495119701849403454967/1681201878267067556124092746\ 910458443*c_0101_3^17 + 98757839701249360765273304697174963784/1681\ 201878267067556124092746910458443*c_0101_3^16 + 72577609886970644484249138849367134410/1681201878267067556124092746\ 910458443*c_0101_3^15 - 14981996868345717872259554104211264105/1681\ 201878267067556124092746910458443*c_0101_3^14 + 17858598906518476285908671112282489084/5604006260890225187080309156\ 36819481*c_0101_3^13 + 51441997949016187445860817539609020142/16812\ 01878267067556124092746910458443*c_0101_3^12 - 126705249972404348857358664173026234/152836534387915232374917522446\ 405313*c_0101_3^11 - 4742259582099218119965055550170767336/56040062\ 6089022518708030915636819481*c_0101_3^10 - 2221531149279341597853911230890281231/15283653438791523237491752244\ 6405313*c_0101_3^9 + 29882944013517652310246502106555757/1528365343\ 87915232374917522446405313*c_0101_3^8 - 27141924536322288157504057342670041613/1681201878267067556124092746\ 910458443*c_0101_3^7 + 1069637334788268095622361060714509621/560400\ 626089022518708030915636819481*c_0101_3^6 + 9233318378344978917480109785118964270/16812018782670675561240927469\ 10458443*c_0101_3^5 - 7840930785452880779397204380978927503/1681201\ 878267067556124092746910458443*c_0101_3^4 + 8057405036923252183886521738512783962/16812018782670675561240927469\ 10458443*c_0101_3^3 - 1639050264203142990075081373664139736/1681201\ 878267067556124092746910458443*c_0101_3^2 + 1613655286022803091828385377827934924/16812018782670675561240927469\ 10458443*c_0101_3 + 309354691702569401067634348744639013/1681201878\ 267067556124092746910458443, c_0101_2 - 7787489468295130362639750008/94314118186535836330523645677*c\ _0101_3^19 + 411325223307067838688451498508/94314118186535836330523\ 645677*c_0101_3^18 - 1788532059833501468313246149154/94314118186535\ 836330523645677*c_0101_3^17 - 12209728423501632985746823672240/9431\ 4118186535836330523645677*c_0101_3^16 - 16241188569197964356222383262485/94314118186535836330523645677*c_01\ 01_3^15 - 7796382637092833482278568442877/9431411818653583633052364\ 5677*c_0101_3^14 - 7425697672654007110380932677060/9431411818653583\ 6330523645677*c_0101_3^13 - 8376944557993022432608387998014/9431411\ 8186535836330523645677*c_0101_3^12 - 423113319738686721885100256277/8574010744230530575502149607*c_0101_\ 3^11 + 858872625556954865378469519424/94314118186535836330523645677\ *c_0101_3^10 + 426655450366560715548356208887/857401074423053057550\ 2149607*c_0101_3^9 + 309157785750594838564454443109/857401074423053\ 0575502149607*c_0101_3^8 + 4432141236627045822007298768442/94314118\ 186535836330523645677*c_0101_3^7 + 1986098357789851739452044388251/94314118186535836330523645677*c_010\ 1_3^6 - 4453900331552864325051989091/94314118186535836330523645677*\ c_0101_3^5 - 28387814635946066223312389161/943141181865358363305236\ 45677*c_0101_3^4 - 779176747677183095534623266185/94314118186535836\ 330523645677*c_0101_3^3 - 171120203624575268848855863422/9431411818\ 6535836330523645677*c_0101_3^2 - 120926940532204086045618256919/943\ 14118186535836330523645677*c_0101_3 - 82239928925837190888896181478/94314118186535836330523645677, c_0101_3^20 - 52*c_0101_3^19 + 187*c_0101_3^18 + 1726*c_0101_3^17 + 3473*c_0101_3^16 + 3724*c_0101_3^15 + 3879*c_0101_3^14 + 4033*c_0101_3^13 + 3511*c_0101_3^12 + 2466*c_0101_3^11 + 1148*c_0101_3^10 + 286*c_0101_3^9 - 521*c_0101_3^8 - 771*c_0101_3^7 - 598*c_0101_3^6 - 475*c_0101_3^5 - 220*c_0101_3^4 - 115*c_0101_3^3 - 49*c_0101_3^2 - 13*c_0101_3 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB