Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 1916006070] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2329 geometric_solution 5.71752520 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -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 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 1.733573326944 0.494393153901 0 2 3 0 0132 0132 0132 3201 0 0 0 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 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 0 0 0.689080873747 0.707669021105 4 1 5 3 0132 0132 0132 3201 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 1 -1 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.180571291917 0.874794634210 5 2 4 1 1023 2310 2310 0132 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 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.180571291917 0.874794634210 2 3 6 6 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.073048362043 0.708871164445 5 3 5 2 2031 1023 1302 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 -1 1 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.464015436141 1.193515867185 6 4 4 6 3201 3201 0132 2310 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.793542596109 0.879518466653 ==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' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 36237677755444106252339713859086682242546070/2572549608953543723476\ 814379044084383*c_0101_4^26 - 1191103026577014301091933956768873033\ 16066496/2572549608953543723476814379044084383*c_0101_4^25 + 28694192937558939030235158258296482586847873/2572549608953543723476\ 814379044084383*c_0101_4^24 + 1770825989305216339586334943817215079\ 25413477/2572549608953543723476814379044084383*c_0101_4^23 - 18818047534167715282600304037746641169394133/1978884314579649018059\ 08798388006491*c_0101_4^22 + 37909935712172758451070251076871566904\ 0893210/2572549608953543723476814379044084383*c_0101_4^21 - 524776140703460396388443101042691832651779415/257254960895354372347\ 6814379044084383*c_0101_4^20 + 314744602157313959497951479887938442\ 895174287/2572549608953543723476814379044084383*c_0101_4^19 + 347582703133803935965632805713699122249721826/257254960895354372347\ 6814379044084383*c_0101_4^18 - 944253378015006406733047518086731815\ 886721815/2572549608953543723476814379044084383*c_0101_4^17 + 1098904921031628630109129948960615499888712521/25725496089535437234\ 76814379044084383*c_0101_4^16 - 10569654602268968691111426824380209\ 49091414855/2572549608953543723476814379044084383*c_0101_4^15 + 776340092836603138868871823441073810253236541/257254960895354372347\ 6814379044084383*c_0101_4^14 - 206936431373428847149196882201353673\ 556294439/2572549608953543723476814379044084383*c_0101_4^13 - 343550402100882120193769658003067128845456103/257254960895354372347\ 6814379044084383*c_0101_4^12 + 509571860236337651529207495165013565\ 264163628/2572549608953543723476814379044084383*c_0101_4^11 - 366130735264314532790337935096559905577476521/257254960895354372347\ 6814379044084383*c_0101_4^10 + 225262398339628490132007429020671334\ 572463152/2572549608953543723476814379044084383*c_0101_4^9 - 133635713236655457122130227133151789677425757/257254960895354372347\ 6814379044084383*c_0101_4^8 + 6740024827677353734754923669208809687\ 6794606/2572549608953543723476814379044084383*c_0101_4^7 - 2274543730582669470454818419937758358410956/25725496089535437234768\ 14379044084383*c_0101_4^6 - 215113455256110900179585464464324256199\ 4275/197888431457964901805908798388006491*c_0101_4^5 + 12351033725213036745700985037068604630415967/2572549608953543723476\ 814379044084383*c_0101_4^4 - 20027214956373402763456534796508894182\ 16551/2572549608953543723476814379044084383*c_0101_4^3 - 105457498826038988616801391201928293270148/197888431457964901805908\ 798388006491*c_0101_4^2 + 12344650289287918793667952365388209562014\ 97/2572549608953543723476814379044084383*c_0101_4 + 290697909412956618529946740104474156746500/257254960895354372347681\ 4379044084383, c_0011_0 - 1, c_0011_3 + 18767709781818946107815124993230755222450385/257254960895354\ 3723476814379044084383*c_0101_4^26 - 61612007058020208926783691082205198532657783/2572549608953543723476\ 814379044084383*c_0101_4^25 + 1467260618111386271506114910170894630\ 0622063/2572549608953543723476814379044084383*c_0101_4^24 + 91620085327046088534868652794274618050357649/2572549608953543723476\ 814379044084383*c_0101_4^23 - 9723100545607619791919318998988246714\ 062160/197888431457964901805908798388006491*c_0101_4^22 + 196064925310885614733681666921281182706337551/257254960895354372347\ 6814379044084383*c_0101_4^21 - 271211238235766457056132527805692766\ 543030575/2572549608953543723476814379044084383*c_0101_4^20 + 162372824894403419650487183394273447748113116/257254960895354372347\ 6814379044084383*c_0101_4^19 + 180159188540351822050216326467746538\ 897416010/2572549608953543723476814379044084383*c_0101_4^18 - 488186049422710947859350601269455551996638539/257254960895354372347\ 6814379044084383*c_0101_4^17 + 567832374865141534700719294900183333\ 030241889/2572549608953543723476814379044084383*c_0101_4^16 - 546153190447759069566748645795689151484436993/257254960895354372347\ 6814379044084383*c_0101_4^15 + 400874385354468501401941399081853328\ 081393904/2572549608953543723476814379044084383*c_0101_4^14 - 106520566501801239836358231815483176606198453/257254960895354372347\ 6814379044084383*c_0101_4^13 - 177824063247360258352753975835156942\ 285122496/2572549608953543723476814379044084383*c_0101_4^12 + 263265005320686454043050210923513922452061458/257254960895354372347\ 6814379044084383*c_0101_4^11 - 189069362537934880677392584008903223\ 732317926/2572549608953543723476814379044084383*c_0101_4^10 + 116342377658948517759765776800237724682648893/257254960895354372347\ 6814379044084383*c_0101_4^9 - 6900125624814014882801349859135311296\ 2179659/2572549608953543723476814379044084383*c_0101_4^8 + 34799362509552860285494517277614378217208834/2572549608953543723476\ 814379044084383*c_0101_4^7 - 11266482978248381820862427446275629989\ 59332/2572549608953543723476814379044084383*c_0101_4^6 - 1111098563566369370987077284114113253110648/19788843145796490180590\ 8798388006491*c_0101_4^5 + 6368140248599085915677601788536792098162\ 897/2572549608953543723476814379044084383*c_0101_4^4 - 1033862013728618992493037683555811267022894/25725496089535437234768\ 14379044084383*c_0101_4^3 - 547372348301300296906617207693210221953\ 34/197888431457964901805908798388006491*c_0101_4^2 + 635170227348370112042260620832490147786562/257254960895354372347681\ 4379044084383*c_0101_4 + 149803540500990198309434028598260805408086\ /2572549608953543723476814379044084383, c_0011_6 + 31193126353454451197077588985965970/204671990158999082289721\ 71559*c_0101_4^26 - 102306574956637474848611358500323661/2046719901\ 5899908228972171559*c_0101_4^25 + 241608252769403163977092180152097\ 89/20467199015899908228972171559*c_0101_4^24 + 152125292156741290913832946692402216/20467199015899908228972171559*\ c_0101_4^23 - 1240906841469471808489788514222533/121107686484614841\ 591551311*c_0101_4^22 + 325575614274304668910578860830575131/204671\ 99015899908228972171559*c_0101_4^21 - 450104391065678116857628872965799757/20467199015899908228972171559*\ c_0101_4^20 + 269185962695645724237269074643050851/2046719901589990\ 8228972171559*c_0101_4^19 + 299474357949944438480825188479495046/20\ 467199015899908228972171559*c_0101_4^18 - 810246917574699964610475735592692112/20467199015899908228972171559*\ c_0101_4^17 + 942246714838298859791864087754410567/2046719901589990\ 8228972171559*c_0101_4^16 - 906399569086900611119363732385074604/20\ 467199015899908228972171559*c_0101_4^15 + 665054521300356387751091386837175837/20467199015899908228972171559*\ c_0101_4^14 - 176514134261454585975040009882025727/2046719901589990\ 8228972171559*c_0101_4^13 - 295215274233600938594427736165130106/20\ 467199015899908228972171559*c_0101_4^12 + 436689749820428993156242283982950705/20467199015899908228972171559*\ c_0101_4^11 - 313632538051068106678186084051821925/2046719901589990\ 8228972171559*c_0101_4^10 + 193077091343779702648694475194451428/20\ 467199015899908228972171559*c_0101_4^9 - 114512868214278699444150899090677656/20467199015899908228972171559*\ c_0101_4^8 + 57768578750147760134750150749876655/204671990158999082\ 28972171559*c_0101_4^7 - 1848688920011755852560914839928039/2046719\ 9015899908228972171559*c_0101_4^6 - 1841178147895430312340434458905437/1574399924299992940690167043*c_0\ 101_4^5 + 10546605335090524966971772855708241/204671990158999082289\ 72171559*c_0101_4^4 - 1717597611168039246760995595161004/2046719901\ 5899908228972171559*c_0101_4^3 - 90982834859319078414444248486720/1\ 574399924299992940690167043*c_0101_4^2 + 1049606203035902620106828137714213/20467199015899908228972171559*c_\ 0101_4 + 247724122857081418708793073681070/204671990158999082289721\ 71559, c_0101_0 + 1356235790471069724442113668923869550/7763742945099984287141\ 63171881*c_0101_4^26 - 4447301246287852677974999787277880890/776374\ 294509998428714163171881*c_0101_4^25 + 1045933273854636330046393548113557810/77637429450999842871416317188\ 1*c_0101_4^24 + 6619996317594178310546512164224115294/7763742945099\ 98428714163171881*c_0101_4^23 - 53929757663886245028261007310241386\ /4593930736745552832628184449*c_0101_4^22 + 14143091435448541938283939018144126026/7763742945099984287141631718\ 81*c_0101_4^21 - 19551429466056508879467216460952110640/77637429450\ 9998428714163171881*c_0101_4^20 + 116740725803696176971374481465025\ 14841/776374294509998428714163171881*c_0101_4^19 + 13050528317252123488073522220326860768/7763742945099984287141631718\ 81*c_0101_4^18 - 35233680490169944940957333313844554498/77637429450\ 9998428714163171881*c_0101_4^17 + 409315619083338033569750569654440\ 02300/776374294509998428714163171881*c_0101_4^16 - 39346567499018842337659856653975142342/7763742945099984287141631718\ 81*c_0101_4^15 + 28844895158329072861587980325024626252/77637429450\ 9998428714163171881*c_0101_4^14 - 760854632944289849623598662089426\ 9486/776374294509998428714163171881*c_0101_4^13 - 12876443448114690996816769310895421463/7763742945099984287141631718\ 81*c_0101_4^12 + 18991680005770275816691956160780918904/77637429450\ 9998428714163171881*c_0101_4^11 - 136144479144666432332920317387654\ 60102/776374294509998428714163171881*c_0101_4^10 + 8368269146057251994163739982789613885/77637429450999842871416317188\ 1*c_0101_4^9 - 4957904714229682830566305755474014971/77637429450999\ 8428714163171881*c_0101_4^8 + 2497068638339821140919964689618606993\ /776374294509998428714163171881*c_0101_4^7 - 71406554208337870501763783677969988/776374294509998428714163171881*\ c_0101_4^6 - 80381285300160494336511728938260193/597210995776921868\ 24166397837*c_0101_4^5 + 458762027087878068320579167521108392/77637\ 4294509998428714163171881*c_0101_4^4 - 73990557789722241087712765520614319/776374294509998428714163171881*\ c_0101_4^3 - 3984636724834245361849174347593463/5972109957769218682\ 4166397837*c_0101_4^2 + 45761477753216733769521681963599579/7763742\ 94509998428714163171881*c_0101_4 + 10823531969032429023804407721546454/776374294509998428714163171881, c_0101_1 + 3581443106439924928072523604724728685/7763742945099984287141\ 63171881*c_0101_4^26 - 11755184886122734794886747804590166518/77637\ 4294509998428714163171881*c_0101_4^25 + 2791239867154988887727161980570873869/77637429450999842871416317188\ 1*c_0101_4^24 + 17490189102144314812577572614833620151/776374294509\ 998428714163171881*c_0101_4^23 - 1854739645762021684790409464158514\ 456/59721099577692186824166397837*c_0101_4^22 + 37394428171487290603937976854331345184/7763742945099984287141631718\ 81*c_0101_4^21 - 51722349558522282379004278936339355421/77637429450\ 9998428714163171881*c_0101_4^20 + 309370226010227770484968677710813\ 80991/776374294509998428714163171881*c_0101_4^19 + 34421480956321271569972193982241789634/7763742945099984287141631718\ 81*c_0101_4^18 - 93155261087660556764950604860037148907/77637429450\ 9998428714163171881*c_0101_4^17 + 108292979931127045242313598655941\ 951042/776374294509998428714163171881*c_0101_4^16 - 104121026456951600961994886222457240488/776374294509998428714163171\ 881*c_0101_4^15 + 76387592527281161434725441871628131385/7763742945\ 09998428714163171881*c_0101_4^14 - 20230220727812161371778968307784585019/7763742945099984287141631718\ 81*c_0101_4^13 - 33986961530794208607406163365662625631/77637429450\ 9998428714163171881*c_0101_4^12 + 502360805170242139522041930327963\ 30695/776374294509998428714163171881*c_0101_4^11 - 36042951093418170850506687314736527078/7763742945099984287141631718\ 81*c_0101_4^10 + 22161557210011684926425658066922092831/77637429450\ 9998428714163171881*c_0101_4^9 - 1313668884529872801473038550477942\ 3990/776374294509998428714163171881*c_0101_4^8 + 6619789482838730131555712506804946215/77637429450999842871416317188\ 1*c_0101_4^7 - 202417580385278866301190603158261298/776374294509998\ 428714163171881*c_0101_4^6 - 212422674209314862253458493294594131/5\ 9721099577692186824166397837*c_0101_4^5 + 1215078033995787038111554987563449003/77637429450999842871416317188\ 1*c_0101_4^4 - 196279757138443806537219739876044434/776374294509998\ 428714163171881*c_0101_4^3 - 10485313552107542242799368409188125/59\ 721099577692186824166397837*c_0101_4^2 + 121322415584794127038260093777026905/776374294509998428714163171881\ *c_0101_4 + 28651990036092890992045639743484636/7763742945099984287\ 14163171881, c_0101_2 + 90318738851598122247852772462433375/204671990158999082289721\ 71559*c_0101_4^26 - 296412029595094963465243671943767145/2046719901\ 5899908228972171559*c_0101_4^25 + 702879241818728782384508221237458\ 46/20467199015899908228972171559*c_0101_4^24 + 441069742962315883901890917534668112/20467199015899908228972171559*\ c_0101_4^23 - 46762845711113079651092840247336317/15743999242999929\ 40690167043*c_0101_4^22 + 942849099567651982039390477501558020/2046\ 7199015899908228972171559*c_0101_4^21 - 1304019890590646032740568724137250424/20467199015899908228972171559\ *c_0101_4^20 + 779759038774413400429241766482587398/204671990158999\ 08228972171559*c_0101_4^19 + 868285815635438622172799589526746210/2\ 0467199015899908228972171559*c_0101_4^18 - 2348917484676297553082410581214586349/20467199015899908228972171559\ *c_0101_4^17 + 2730256853403744721370504852792843525/20467199015899\ 908228972171559*c_0101_4^16 - 2624908817397863877984955996392724159\ /20467199015899908228972171559*c_0101_4^15 + 1925491866388524432501046927006444474/20467199015899908228972171559\ *c_0101_4^14 - 509536155888379166231084314801181045/204671990158999\ 08228972171559*c_0101_4^13 - 857290576922746522935925590265728140/2\ 0467199015899908228972171559*c_0101_4^12 + 1266644362545414193449348509111066045/20467199015899908228972171559\ *c_0101_4^11 - 908602557280140218850898067318538850/204671990158999\ 08228972171559*c_0101_4^10 + 558598785152795385267459914121136231/2\ 0467199015899908228972171559*c_0101_4^9 - 331084082177959614227902006386961511/20467199015899908228972171559*\ c_0101_4^8 + 166813655612284838316488036757948774/20467199015899908\ 228972171559*c_0101_4^7 - 5032736620688499928987449626744294/204671\ 99015899908228972171559*c_0101_4^6 - 5357638185308308104208059937534935/1574399924299992940690167043*c_0\ 101_4^5 + 30632444416469494279055917111466753/204671990158999082289\ 72171559*c_0101_4^4 - 4944325651048040741732065125907771/2046719901\ 5899908228972171559*c_0101_4^3 - 264624129324010201880369194969093/\ 1574399924299992940690167043*c_0101_4^2 + 3058638093046349813487945076654119/20467199015899908228972171559*c_\ 0101_4 + 722563758115121098739705901808988/204671990158999082289721\ 71559, c_0101_4^27 - 634/155*c_0101_4^26 + 532/155*c_0101_4^25 + 659/155*c_0101_4^24 - 331/31*c_0101_4^23 + 2462/155*c_0101_4^22 - 3547/155*c_0101_4^21 + 3149/155*c_0101_4^20 + 406/155*c_0101_4^19 - 5234/155*c_0101_4^18 + 1589/31*c_0101_4^17 - 8296/155*c_0101_4^16 + 6951/155*c_0101_4^15 - 3551/155*c_0101_4^14 - 152/31*c_0101_4^13 + 3361/155*c_0101_4^12 - 107/5*c_0101_4^11 + 2221/155*c_0101_4^10 - 269/31*c_0101_4^9 + 747/155*c_0101_4^8 - 241/155*c_0101_4^7 - 112/155*c_0101_4^6 + 149/155*c_0101_4^5 - 51/155*c_0101_4^4 + 1/155*c_0101_4^3 + 2/31*c_0101_4^2 - 3/155*c_0101_4 - 1/155 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB