Magma V2.19-8 Tue Aug 20 2013 16:17:06 on localhost [Seed = 1107549843] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1341 geometric_solution 5.21646955 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 0.757900095726 0.118149880421 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 1 -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 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.669173577072 0.316526214810 3 1 4 1 0132 0132 0132 1023 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 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.533924675111 1.315886838579 2 4 6 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.228472955983 0.840924831316 5 6 3 2 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.228472955983 0.840924831316 5 5 3 4 1230 3012 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 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.838956722661 1.424550098093 6 6 4 3 1230 3012 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 -1 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.001322993303 0.796562451936 ==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' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0011_6'], '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_5'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_6'], '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_0011_6'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1636286356621344511660376420487/1420794545848575567473126164408*c_0\ 101_2^19 + 9765068365524444900967461681037/142079454584857556747312\ 6164408*c_0101_2^18 - 56292778344564234831949019189311/284158909169\ 7151134946252328816*c_0101_2^17 + 25053335258824470614575089738665/\ 2841589091697151134946252328816*c_0101_2^16 + 102020046938795093637524493593203/2841589091697151134946252328816*c\ _0101_2^15 - 97088069620854344518108767134883/284158909169715113494\ 6252328816*c_0101_2^14 - 183097369921104284461383284724065/28415890\ 91697151134946252328816*c_0101_2^13 + 2847766316553341243333058487869/202970649406939366781875166344*c_01\ 01_2^12 + 93712753371099320781115387860275/405941298813878733563750\ 332688*c_0101_2^11 - 44625660726484985838084132225173/4059412988138\ 78733563750332688*c_0101_2^10 - 439755151511543797249748463050749/1\ 420794545848575567473126164408*c_0101_2^9 + 243670727823141243065496643520651/2841589091697151134946252328816*c\ _0101_2^8 + 132608147507350059224276889700305/355198636462143891868\ 281541102*c_0101_2^7 + 10465718521444559559487760640947/20297064940\ 6939366781875166344*c_0101_2^6 - 1772242831174134199231109490632253\ /2841589091697151134946252328816*c_0101_2^5 + 15142108389489289465198420598243/202970649406939366781875166344*c_0\ 101_2^4 + 485353879214057018678126101364391/14207945458485755674731\ 26164408*c_0101_2^3 - 296447035492080108876068302466639/14207945458\ 48575567473126164408*c_0101_2^2 - 438031423368399067843886206532537\ /2841589091697151134946252328816*c_0101_2 - 3358186085541547610892965809103/101485324703469683390937583172, c_0011_0 - 1, c_0011_4 + 27434952938224498732234273631/101485324703469683390937583172\ *c_0101_2^19 - 80610667800519985519033974763/5074266235173484169546\ 8791586*c_0101_2^18 + 912292151304934554753066960013/20297064940693\ 9366781875166344*c_0101_2^17 - 163147737101902340199546832205/10148\ 5324703469683390937583172*c_0101_2^16 - 220144113399239406321234741872/25371331175867420847734395793*c_0101\ _2^15 + 178273661860200405497167677906/2537133117586742084773439579\ 3*c_0101_2^14 + 1679686185627086009135593086723/1014853247034696833\ 90937583172*c_0101_2^13 - 68574030685958255324863233563/28995807058\ 134195254553595192*c_0101_2^12 - 1596595189617687098562376361401/28\ 995807058134195254553595192*c_0101_2^11 + 299799433829826996076848420233/14497903529067097627276797596*c_0101\ _2^10 + 15670358809224498896583014436639/20297064940693936678187516\ 6344*c_0101_2^9 - 2644270415102939353077187025539/20297064940693936\ 6781875166344*c_0101_2^8 - 19157082419794608665449358281937/2029706\ 49406939366781875166344*c_0101_2^7 - 263867185285694067782279257355/14497903529067097627276797596*c_0101\ _2^6 + 30105773736789645207278657685911/202970649406939366781875166\ 344*c_0101_2^5 - 60532719003879613080303030003/28995807058134195254\ 553595192*c_0101_2^4 - 2272549500165853162924098436481/253713311758\ 67420847734395793*c_0101_2^3 + 1041472239327432852686459916618/2537\ 1331175867420847734395793*c_0101_2^2 + 9667491110330598194146496510281/202970649406939366781875166344*c_01\ 01_2 + 195920748055870138344190114705/28995807058134195254553595192\ , c_0011_5 - 19738379134307162766092122633/101485324703469683390937583172\ *c_0101_2^19 + 28600787844633306303317967743/2537133117586742084773\ 4395793*c_0101_2^18 - 637689338054288545099184495759/20297064940693\ 9366781875166344*c_0101_2^17 + 22561587367082128472571817877/253713\ 31175867420847734395793*c_0101_2^16 + 647052229855298191669610817731/101485324703469683390937583172*c_010\ 1_2^15 - 473619813861696019647489537489/101485324703469683390937583\ 172*c_0101_2^14 - 622450927549217780997883863279/507426623517348416\ 95468791586*c_0101_2^13 + 25415361873159929124290372931/28995807058\ 134195254553595192*c_0101_2^12 + 1152446889153333083732738026227/28\ 995807058134195254553595192*c_0101_2^11 - 43818937827434844300637639447/3624475882266774406819199399*c_0101_2\ ^10 - 11525830963120095220653002071875/2029706494069393667818751663\ 44*c_0101_2^9 + 1221564627525454409219999211581/2029706494069393667\ 81875166344*c_0101_2^8 + 13941758580352395340823085038925/202970649\ 406939366781875166344*c_0101_2^7 + 254961297345185677296766680313/14497903529067097627276797596*c_0101\ _2^6 - 21551162198949432646142058281341/202970649406939366781875166\ 344*c_0101_2^5 - 162848676720110253715535722177/2899580705813419525\ 4553595192*c_0101_2^4 + 1640335624086499371397908859536/25371331175\ 867420847734395793*c_0101_2^3 - 659383571894570893764263884642/2537\ 1331175867420847734395793*c_0101_2^2 - 7478107268728759314058475428247/202970649406939366781875166344*c_01\ 01_2 - 195421322428975427002917739149/28995807058134195254553595192\ , c_0011_6 + 248376611283008849622246449/2071129075581013946753828228*c_0\ 101_2^19 - 372206412563939024165580891/517782268895253486688457057*\ c_0101_2^18 + 8615233506557117960369119455/414225815116202789350765\ 6456*c_0101_2^17 - 499000717930155730845206601/51778226889525348668\ 8457057*c_0101_2^16 - 7706256422298534791076549669/2071129075581013\ 946753828228*c_0101_2^15 + 7365084918428760687141084357/20711290755\ 81013946753828228*c_0101_2^14 + 3586686026889811468249451779/517782\ 268895253486688457057*c_0101_2^13 - 7748195637728824908752394621/4142258151162027893507656456*c_0101_2^\ 12 - 100261384369489452540115223449/4142258151162027893507656456*c_\ 0101_2^11 + 12473141953172450519277691597/1035564537790506973376914\ 114*c_0101_2^10 + 136148935775806503823104839811/414225815116202789\ 3507656456*c_0101_2^9 - 40180372709902641288680652793/4142258151162\ 027893507656456*c_0101_2^8 - 169908099584191760280488204745/4142258\ 151162027893507656456*c_0101_2^7 - 7012977651914049057463535463/2071129075581013946753828228*c_0101_2^\ 6 + 275261902126254616671461407525/4142258151162027893507656456*c_0\ 101_2^5 - 33679146367290669343598651209/414225815116202789350765645\ 6*c_0101_2^4 - 40355862881548955973992956295/1035564537790506973376\ 914114*c_0101_2^3 + 23342384619212850308845846595/10355645377905069\ 73376914114*c_0101_2^2 + 76376252080370287241309088907/414225815116\ 2027893507656456*c_0101_2 + 5932549533176437174689744335/4142258151\ 162027893507656456, c_0101_0 + 4783922254198666518045887471/14497903529067097627276797596*c\ _0101_2^19 - 13738549005362531414731246827/724895176453354881363839\ 8798*c_0101_2^18 + 151259550471694704176187882877/28995807058134195\ 254553595192*c_0101_2^17 - 16769880632265489438150391765/1449790352\ 9067097627276797596*c_0101_2^16 - 40171372736588461729647355446/362\ 4475882266774406819199399*c_0101_2^15 + 26536825562395762966311050869/3624475882266774406819199399*c_0101_2\ ^14 + 315114942105889575263701988903/14497903529067097627276797596*\ c_0101_2^13 - 2949880375744565141365597331/414225815116202789350765\ 6456*c_0101_2^12 - 282573946997487395399393142761/41422581511620278\ 93507656456*c_0101_2^11 + 34471998232394073929208720569/20711290755\ 81013946753828228*c_0101_2^10 + 2904109445215612234309053778247/289\ 95807058134195254553595192*c_0101_2^9 - 152693522209700296317370028427/28995807058134195254553595192*c_0101\ _2^8 - 3506291050486708258535509374553/2899580705813419525455359519\ 2*c_0101_2^7 - 74159669753588827307673811851/2071129075581013946753\ 828228*c_0101_2^6 + 5279875630668729690100508107687/289958070581341\ 95254553595192*c_0101_2^5 + 89941129062203197972398783957/414225815\ 1162027893507656456*c_0101_2^4 - 423514660461499557488738959649/362\ 4475882266774406819199399*c_0101_2^3 + 136427299790012760479653002333/3624475882266774406819199399*c_0101_\ 2^2 + 2001203646477065250764856646417/28995807058134195254553595192\ *c_0101_2 + 54015166607127640543192271977/4142258151162027893507656\ 456, c_0101_1 - 4699389456071430730873062953/14497903529067097627276797596*c\ _0101_2^19 + 6700449413347774631184802721/3624475882266774406819199\ 399*c_0101_2^18 - 145785183509314872928919360159/289958070581341952\ 54553595192*c_0101_2^17 + 2825864924249609598284130002/362447588226\ 6774406819199399*c_0101_2^16 + 166190638917644884192321255519/14497\ 903529067097627276797596*c_0101_2^15 - 108865008802529297510486158461/14497903529067097627276797596*c_0101\ _2^14 - 154969980595548914974412716059/7248951764533548813638398798\ *c_0101_2^13 + 345502060487562787109310747/414225815116202789350765\ 6456*c_0101_2^12 + 281240913271895441282355850243/41422581511620278\ 93507656456*c_0101_2^11 - 7706254159448274319400075982/517782268895\ 253486688457057*c_0101_2^10 - 2942869748374806472626856555731/28995\ 807058134195254553595192*c_0101_2^9 + 174972938824268987025406527589/28995807058134195254553595192*c_0101\ _2^8 + 3424234615358376492352784999421/2899580705813419525455359519\ 2*c_0101_2^7 + 80596358049643637734672661725/2071129075581013946753\ 828228*c_0101_2^6 - 5266828737710486132968625277045/289958070581341\ 95254553595192*c_0101_2^5 - 93357907371443110169892972793/414225815\ 1162027893507656456*c_0101_2^4 + 422769481068011508159237772852/362\ 4475882266774406819199399*c_0101_2^3 - 142959009061717453376710939391/3624475882266774406819199399*c_0101_\ 2^2 - 1914527782439395520309091666455/28995807058134195254553595192\ *c_0101_2 - 48099757017588481775282467437/4142258151162027893507656\ 456, c_0101_2^20 - 5*c_0101_2^19 + 23/2*c_0101_2^18 + 17/2*c_0101_2^17 - 37*c_0101_2^16 - 2*c_0101_2^15 + 83*c_0101_2^14 + 91/2*c_0101_2^13 - 210*c_0101_2^12 - 203/2*c_0101_2^11 + 695/2*c_0101_2^10 + 202*c_0101_2^9 - 384*c_0101_2^8 - 749/2*c_0101_2^7 + 963/2*c_0101_2^6 + 469*c_0101_2^5 - 643/2*c_0101_2^4 - 136*c_0101_2^3 + 599/2*c_0101_2^2 + 182*c_0101_2 + 49/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB