Magma V2.19-8 Tue Aug 20 2013 16:16:06 on localhost [Seed = 1393741726] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0347 geometric_solution 4.37262995 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 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 0 0 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.930274048400 0.136036343300 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 1 -1 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 -1 1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.747755056152 0.314425057749 3 1 1 3 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 -1 0 1 0 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 0 0 0 -1 0 1 0 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.283608937617 0.388673404231 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 1 0 0 -1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.082142571562 0.703095061743 6 5 3 5 0132 1023 0132 3012 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 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.808086188927 1.196722991042 4 6 4 3 1023 2310 1230 0132 0 0 0 0 0 0 1 -1 0 0 0 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 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.808086188927 1.196722991042 4 6 6 5 0132 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.387543580379 0.573926790268 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_0011_4, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 17799174184204113701860033390816771024564405/1425893292161099981428\ 4224233270300677524*c_0101_3*c_0101_6^19 + 139275977732409191695413841631609399590157515/142589329216109998142\ 84224233270300677524*c_0101_3*c_0101_6^18 - 268661922929828500287179421247195355292669150/356473323040274995357\ 1056058317575169381*c_0101_3*c_0101_6^17 + 1346199594925004493819844563818003102012619790/35647332304027499535\ 71056058317575169381*c_0101_3*c_0101_6^16 - 3411319819877540293023327373373256473536498789/35647332304027499535\ 71056058317575169381*c_0101_3*c_0101_6^15 + 30355101119401435312818426300886742102006563139/1425893292161099981\ 4284224233270300677524*c_0101_3*c_0101_6^14 - 59267288924753849366380154081509649792637303161/1425893292161099981\ 4284224233270300677524*c_0101_3*c_0101_6^13 + 86434813037657103518618994632345305217135229739/1425893292161099981\ 4284224233270300677524*c_0101_3*c_0101_6^12 - 29348982630251197946959839407703362013020847189/3564733230402749953\ 571056058317575169381*c_0101_3*c_0101_6^11 + 30694213236301634707524056886550976075722523784/3564733230402749953\ 571056058317575169381*c_0101_3*c_0101_6^10 - 109384569826664086740888432779181177663019417243/142589329216109998\ 14284224233270300677524*c_0101_3*c_0101_6^9 + 7388890604558168186415417103985969488633434065/12962666292373636194\ 80384021206390970684*c_0101_3*c_0101_6^8 - 885806673514473580452491008084851814795445365/648133314618681809740\ 192010603195485342*c_0101_3*c_0101_6^7 - 7187820795334861939691963969969188948548096701/71294664608054999071\ 42112116635150338762*c_0101_3*c_0101_6^6 + 35300798422815844725056166668393480555280381693/1425893292161099981\ 4284224233270300677524*c_0101_3*c_0101_6^5 - 20963373621496571808305268346391818568926234821/1425893292161099981\ 4284224233270300677524*c_0101_3*c_0101_6^4 - 4251619587299094699796532194010393033861343703/14258932921610999814\ 284224233270300677524*c_0101_3*c_0101_6^3 + 197162710067221554823410496786974292749701687/129626662923736361948\ 0384021206390970684*c_0101_3*c_0101_6^2 + 183648515695786380752437435737336291758035369/142589329216109998142\ 84224233270300677524*c_0101_3*c_0101_6 + 122957501009601239439852336376518735612794179/142589329216109998142\ 84224233270300677524*c_0101_3, c_0011_0 - 1, c_0011_1 - 7202312667406150163721520185025868/1927820685956816804700154\ 70137773791*c_0101_6^19 - 52783829023688226828274892159693620/19278\ 2068595681680470015470137773791*c_0101_6^18 + 463676756149127626130195390210509533/192782068595681680470015470137\ 773791*c_0101_6^17 - 2386833423644332032561927748519988576/19278206\ 8595681680470015470137773791*c_0101_6^16 + 6558128217893266016765513181375162241/19278206859568168047001547013\ 7773791*c_0101_6^15 - 14822497579485773583921183970763155132/192782\ 068595681680470015470137773791*c_0101_6^14 + 29726817790285269421353190405513565510/1927820685956816804700154701\ 37773791*c_0101_6^13 - 46193035844540172897774352711296329094/19278\ 2068595681680470015470137773791*c_0101_6^12 + 63731079533432200397120895348162817241/1927820685956816804700154701\ 37773791*c_0101_6^11 - 72410698451273181745198999494028979411/19278\ 2068595681680470015470137773791*c_0101_6^10 + 68128479041340816808933460866714932363/1927820685956816804700154701\ 37773791*c_0101_6^9 - 55436515732101947764447675705386094899/192782\ 068595681680470015470137773791*c_0101_6^8 + 25418908820335686456986719466654976087/1927820685956816804700154701\ 37773791*c_0101_6^7 - 142138092509009530418075386367974983/19278206\ 8595681680470015470137773791*c_0101_6^6 - 14078383627758254746648387744111566532/1927820685956816804700154701\ 37773791*c_0101_6^5 + 14141574381178519440546652558790831133/192782\ 068595681680470015470137773791*c_0101_6^4 - 1666606188203301817027847955347402190/19278206859568168047001547013\ 7773791*c_0101_6^3 - 519363278707032093744197071705888823/192782068\ 595681680470015470137773791*c_0101_6^2 - 270072963060420448877576787089163247/192782068595681680470015470137\ 773791*c_0101_6 - 125698462214755531648106581192764903/192782068595\ 681680470015470137773791, c_0011_4 - 42043258433907229494478144262305511/192782068595681680470015\ 470137773791*c_0101_3*c_0101_6^19 - 335606288717680807630701808648003647/192782068595681680470015470137\ 773791*c_0101_3*c_0101_6^18 + 2487111085527496825974251997378009782\ /192782068595681680470015470137773791*c_0101_3*c_0101_6^17 - 12315317316132654050412249748226260569/1927820685956816804700154701\ 37773791*c_0101_3*c_0101_6^16 + 30195604060425657044943787515003252\ 572/192782068595681680470015470137773791*c_0101_3*c_0101_6^15 - 66467233223394214085625714597585624163/1927820685956816804700154701\ 37773791*c_0101_3*c_0101_6^14 + 12831150929724681427182433233936238\ 7392/192782068595681680470015470137773791*c_0101_3*c_0101_6^13 - 181282817311918995173556546199188956236/192782068595681680470015470\ 137773791*c_0101_3*c_0101_6^12 + 2435275186665753297540378116107191\ 97207/192782068595681680470015470137773791*c_0101_3*c_0101_6^11 - 244094827017082518413364357858622773641/192782068595681680470015470\ 137773791*c_0101_3*c_0101_6^10 + 2097710715112923158529855087868405\ 18577/192782068595681680470015470137773791*c_0101_3*c_0101_6^9 - 148384468294335956071265541652773624282/192782068595681680470015470\ 137773791*c_0101_3*c_0101_6^8 + 13562086111205796746301357061799136\ 184/192782068595681680470015470137773791*c_0101_3*c_0101_6^7 + 42848859482941603117561956621218354091/1927820685956816804700154701\ 37773791*c_0101_3*c_0101_6^6 - 777511369420163017927130818088606028\ 89/192782068595681680470015470137773791*c_0101_3*c_0101_6^5 + 35517884716767842972300801583872385180/1927820685956816804700154701\ 37773791*c_0101_3*c_0101_6^4 + 188806449028664018476034421146140744\ 50/192782068595681680470015470137773791*c_0101_3*c_0101_6^3 - 4134388632552427243574988002123555388/19278206859568168047001547013\ 7773791*c_0101_3*c_0101_6^2 - 1677133488699714209720319179514391851\ /192782068595681680470015470137773791*c_0101_3*c_0101_6 - 378244374280958724387989023537340102/192782068595681680470015470137\ 773791*c_0101_3, c_0101_1 + 39567116742530080101626463638701095/192782068595681680470015\ 470137773791*c_0101_3*c_0101_6^19 + 308808367823897583513922925375332019/192782068595681680470015470137\ 773791*c_0101_3*c_0101_6^18 - 2393184496495798439130631343357532137\ /192782068595681680470015470137773791*c_0101_3*c_0101_6^17 + 12034779964073039293625186808944913161/1927820685956816804700154701\ 37773791*c_0101_3*c_0101_6^16 - 30687680831554173262277741108585128\ 193/192782068595681680470015470137773791*c_0101_3*c_0101_6^15 + 68644166947656089876504327222413049962/1927820685956816804700154701\ 37773791*c_0101_3*c_0101_6^14 - 13439860244310331364287667051862874\ 4315/192782068595681680470015470137773791*c_0101_3*c_0101_6^13 + 197620869809130474096740355986005897283/192782068595681680470015470\ 137773791*c_0101_3*c_0101_6^12 - 2701505582828592276539115117647869\ 48683/192782068595681680470015470137773791*c_0101_3*c_0101_6^11 + 285361706523814351552810210521951286346/192782068595681680470015470\ 137773791*c_0101_3*c_0101_6^10 - 2581288090797372684267880642408283\ 25874/192782068595681680470015470137773791*c_0101_3*c_0101_6^9 + 194168844940316726452058307388229426955/192782068595681680470015470\ 137773791*c_0101_3*c_0101_6^8 - 54028806341747999470193151504713181\ 497/192782068595681680470015470137773791*c_0101_3*c_0101_6^7 - 27260221895634452321287422702282268094/1927820685956816804700154701\ 37773791*c_0101_3*c_0101_6^6 + 806304460467539956909182868663683428\ 47/192782068595681680470015470137773791*c_0101_3*c_0101_6^5 - 51348960208243222205488754812739199905/1927820685956816804700154701\ 37773791*c_0101_3*c_0101_6^4 - 454079770680179666106867146443554802\ 4/192782068595681680470015470137773791*c_0101_3*c_0101_6^3 + 3927980640200795507616333241631415300/19278206859568168047001547013\ 7773791*c_0101_3*c_0101_6^2 - 577806883313377854484101703689902248/\ 192782068595681680470015470137773791*c_0101_3*c_0101_6 + 652498793432583489819582289073437595/192782068595681680470015470137\ 773791*c_0101_3, c_0101_2 + 739778753577028325123345450440441/19278206859568168047001547\ 0137773791*c_0101_6^19 + 6558837926970285800041485901984633/1927820\ 68595681680470015470137773791*c_0101_6^18 - 38685853431743038024631623633051357/1927820685956816804700154701377\ 73791*c_0101_6^17 + 176717538615895185886392511717117718/1927820685\ 95681680470015470137773791*c_0101_6^16 - 333187706858142090811593672979055360/192782068595681680470015470137\ 773791*c_0101_6^15 + 668176691904465526588686359002855996/192782068\ 595681680470015470137773791*c_0101_6^14 - 1169498181060424019212176179472147112/19278206859568168047001547013\ 7773791*c_0101_6^13 + 1064047278232337259382353650003315270/1927820\ 68595681680470015470137773791*c_0101_6^12 - 1252966302834360853258596599546142105/19278206859568168047001547013\ 7773791*c_0101_6^11 + 269514735132591282000915927772157264/19278206\ 8595681680470015470137773791*c_0101_6^10 + 448666561695636339187089035787884658/192782068595681680470015470137\ 773791*c_0101_6^9 - 774665014756568511315690131647043067/1927820685\ 95681680470015470137773791*c_0101_6^8 + 2319158352655033884885025552355841487/19278206859568168047001547013\ 7773791*c_0101_6^7 - 854017266399979047312555953103823270/192782068\ 595681680470015470137773791*c_0101_6^6 + 453807182889213573906029269109589006/192782068595681680470015470137\ 773791*c_0101_6^5 + 717957259418478705988883793298093698/1927820685\ 95681680470015470137773791*c_0101_6^4 - 1191360542178921178961517903762169618/19278206859568168047001547013\ 7773791*c_0101_6^3 - 331749218814682865897018563120615499/192782068\ 595681680470015470137773791*c_0101_6^2 - 150593858537568109913223051052058783/192782068595681680470015470137\ 773791*c_0101_6 + 42043258433907229494478144262305511/1927820685956\ 81680470015470137773791, c_0101_3^2 + 5776490712314913130063866803050506/19278206859568168047001\ 5470137773791*c_0101_6^19 + 45567148200328009791089169610347196/192\ 782068595681680470015470137773791*c_0101_6^18 - 345591775087502399535832056625193896/192782068595681680470015470137\ 773791*c_0101_6^17 + 1727321244848461947866091030850519642/19278206\ 8595681680470015470137773791*c_0101_6^16 - 4339070273917490729887666371393483833/19278206859568168047001547013\ 7773791*c_0101_6^15 + 9686294794124775915389861564388069565/1927820\ 68595681680470015470137773791*c_0101_6^14 - 18959559489987685744990238505999731761/1927820685956816804700154701\ 37773791*c_0101_6^13 + 27614982310710840360486338607182187839/19278\ 2068595681680470015470137773791*c_0101_6^12 - 37877718344032643289505263741883834807/1927820685956816804700154701\ 37773791*c_0101_6^11 + 39938964052737980357331763965746335069/19278\ 2068595681680470015470137773791*c_0101_6^10 - 36311359400928928920106647367207645496/1927820685956816804700154701\ 37773791*c_0101_6^9 + 27812272174195749822194147331590040101/192782\ 068595681680470015470137773791*c_0101_6^8 - 7945235500234080958257415167919888391/19278206859568168047001547013\ 7773791*c_0101_6^7 - 2671730594787526779655946440766163941/19278206\ 8595681680470015470137773791*c_0101_6^6 + 10430058636505173253502282973149342719/1927820685956816804700154701\ 37773791*c_0101_6^5 - 6791924151673772247475420538578917279/1927820\ 68595681680470015470137773791*c_0101_6^4 - 481246653090250656040775460826160299/192782068595681680470015470137\ 773791*c_0101_6^3 - 183473715626999632516374294850505230/1927820685\ 95681680470015470137773791*c_0101_6^2 - 25236213434491994973676223241421878/1927820685956816804700154701377\ 73791*c_0101_6 - 4976472708741514610349155615990099/192782068595681\ 680470015470137773791, c_0101_6^20 + 8*c_0101_6^19 - 59*c_0101_6^18 + 292*c_0101_6^17 - 714*c_0101_6^16 + 1573*c_0101_6^15 - 3036*c_0101_6^14 + 4284*c_0101_6^13 - 5767*c_0101_6^12 + 5776*c_0101_6^11 - 4983*c_0101_6^10 + 3540*c_0101_6^9 - 341*c_0101_6^8 - 964*c_0101_6^7 + 1829*c_0101_6^6 - 834*c_0101_6^5 - 432*c_0101_6^4 + 70*c_0101_6^3 + 32*c_0101_6^2 + 10*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB