Magma V2.19-8 Tue Aug 20 2013 16:16:43 on localhost [Seed = 1444399773] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1003 geometric_solution 4.88886035 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 1.546274163463 0.188567240126 0 2 2 0 3201 0132 1023 0132 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 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 1.258303329701 0.351674603438 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577304825839 0.631027537619 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392967417183 0.374046635291 3 3 2 5 2031 1302 0132 0132 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 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.392967417183 0.374046635291 6 3 4 6 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.508519346543 0.714111651401 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.959083849063 1.152226757171 ==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' : negation(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' : 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' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_1'], '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' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 987759743266481177065843097/3678299819093601256757084*c_0101_5*c_01\ 01_6^18 - 6424834222445919972796685017/3678299819093601256757084*c_\ 0101_5*c_0101_6^17 - 382228105841665224678821567/183914990954680062\ 8378542*c_0101_5*c_0101_6^16 + 15736972039232982943337547580/919574\ 954773400314189271*c_0101_5*c_0101_6^15 - 29623054430532720304588937595/1839149909546800628378542*c_0101_5*c_\ 0101_6^14 - 9672819686517116850190874290/919574954773400314189271*c\ _0101_5*c_0101_6^13 + 595393499373473202275654598559/36782998190936\ 01256757084*c_0101_5*c_0101_6^12 - 473304453613776329276105054367/1839149909546800628378542*c_0101_5*c\ _0101_6^11 - 4342792676597861840604200192505/3678299819093601256757\ 084*c_0101_5*c_0101_6^10 - 1018584772092369060572697166069/18391499\ 09546800628378542*c_0101_5*c_0101_6^9 + 3728111653476283056697694654167/3678299819093601256757084*c_0101_5*\ c_0101_6^8 + 2883488025086178035066563230595/3678299819093601256757\ 084*c_0101_5*c_0101_6^7 - 291842270647329794773927479406/9195749547\ 73400314189271*c_0101_5*c_0101_6^6 - 1118940023704900695312525803179/3678299819093601256757084*c_0101_5*\ c_0101_6^5 + 262489022646524035791583470721/36782998190936012567570\ 84*c_0101_5*c_0101_6^4 + 167115666240152836538395013321/36782998190\ 93601256757084*c_0101_5*c_0101_6^3 - 25428337620641042171765394399/1839149909546800628378542*c_0101_5*c_\ 0101_6^2 - 11506214339710193131861255165/3678299819093601256757084*\ c_0101_5*c_0101_6 + 768789334299200253760125974/9195749547734003141\ 89271*c_0101_5, c_0011_0 - 1, c_0011_1 - 3346837463813085546881384/919574954773400314189271*c_0101_6^\ 18 + 21573470223276051398099819/919574954773400314189271*c_0101_6^1\ 7 + 3798614293312170116803138/919574954773400314189271*c_0101_6^16 - 212744449096401910189092005/919574954773400314189271*c_0101_6^15 + 188540483394686522509866414/919574954773400314189271*c_0101_6^14 + 138707341077063984456201018/919574954773400314189271*c_0101_6^13 - 2007924670232112169378740096/919574954773400314189271*c_0101_6^12 + 3093708692534966710353257260/919574954773400314189271*c_0101_6^11 + 14863505410121509654687547473/919574954773400314189271*c_0101_6^10 + 7806615558465955473391667874/919574954773400314189271*c_0101_6^9 - 11908539038031918768024510102/919574954773400314189271*c_0101_6^8 - 10222225394454900201070939191/919574954773400314189271*c_0101_6^7 + 3252492515743541667191194835/919574954773400314189271*c_0101_6^6 + 3775178860704281183664162906/919574954773400314189271*c_0101_6^5 - 685679849544154488765819450/919574954773400314189271*c_0101_6^4 - 554353082058920380988482742/919574954773400314189271*c_0101_6^3 + 141812811218310103532210306/919574954773400314189271*c_0101_6^2 + 38043006956652711506319994/919574954773400314189271*c_0101_6 - 7844926453977136232785087/919574954773400314189271, c_0011_4 + 7430841383565027976075437/919574954773400314189271*c_0101_6^\ 18 - 47870625229872600831072608/919574954773400314189271*c_0101_6^1\ 7 - 8564792235310548402864593/919574954773400314189271*c_0101_6^16 + 471981865017286779528367182/919574954773400314189271*c_0101_6^15 - 416756473515791078775946826/919574954773400314189271*c_0101_6^14 - 306685452088579134052825877/919574954773400314189271*c_0101_6^13 + 4453522924327800247716599853/919574954773400314189271*c_0101_6^12 - 6850726306297956565859779801/919574954773400314189271*c_0101_6^11 - 33000628538682067515750858072/919574954773400314189271*c_0101_6^10 - 17508756376200124410520208529/919574954773400314189271*c_0101_6^9 + 26189532406860734121396460288/919574954773400314189271*c_0101_6^8 + 22676939755213016507249132548/919574954773400314189271*c_0101_6^7 - 7080479652353475091797229940/919574954773400314189271*c_0101_6^6 - 8322825674761379801027235635/919574954773400314189271*c_0101_6^5 + 1511462950299791171420803717/919574954773400314189271*c_0101_6^4 + 1227843955677007822199418411/919574954773400314189271*c_0101_6^3 - 314707222043975504788929666/919574954773400314189271*c_0101_6^2 - 87082099074316710936303868/919574954773400314189271*c_0101_6 + 17643334513844407308068006/919574954773400314189271, c_0101_0 - 29313178278288185821716003/1839149909546800628378542*c_0101_\ 5*c_0101_6^18 + 94649493336106361341812742/919574954773400314189271\ *c_0101_5*c_0101_6^17 + 30741270343657630804954093/1839149909546800\ 628378542*c_0101_5*c_0101_6^16 - 930924298080568493174090497/919574\ 954773400314189271*c_0101_5*c_0101_6^15 + 836684175885630562412895647/919574954773400314189271*c_0101_5*c_010\ 1_6^14 + 589228104333837827656286176/919574954773400314189271*c_010\ 1_5*c_0101_6^13 - 17582936410153343046988708825/1839149909546800628\ 378542*c_0101_5*c_0101_6^12 + 27304092704714510952485364103/1839149\ 909546800628378542*c_0101_5*c_0101_6^11 + 129703361311824191226872589423/1839149909546800628378542*c_0101_5*c\ _0101_6^10 + 67105469906037017520010714527/183914990954680062837854\ 2*c_0101_5*c_0101_6^9 - 103989710182795685159410318181/183914990954\ 6800628378542*c_0101_5*c_0101_6^8 - 43791040835211370023401044244/919574954773400314189271*c_0101_5*c_0\ 101_6^7 + 29103989095975112104125957505/1839149909546800628378542*c\ _0101_5*c_0101_6^6 + 32219132646945574912969474121/1839149909546800\ 628378542*c_0101_5*c_0101_6^5 - 3190482090807939809851267175/919574\ 954773400314189271*c_0101_5*c_0101_6^4 - 2367584110144309035558037422/919574954773400314189271*c_0101_5*c_01\ 01_6^3 + 1257507262877924259205128713/1839149909546800628378542*c_0\ 101_5*c_0101_6^2 + 328421311977123189218170917/18391499095468006283\ 78542*c_0101_5*c_0101_6 - 68571309113781158719922733/18391499095468\ 00628378542*c_0101_5, c_0101_2 - 8123279963781517477603801/1839149909546800628378542*c_0101_5\ *c_0101_6^18 + 53048087781942988910394915/1839149909546800628378542\ *c_0101_5*c_0101_6^17 + 2365419212563830011111477/91957495477340031\ 4189271*c_0101_5*c_0101_6^16 - 258334082718847280751901701/91957495\ 4773400314189271*c_0101_5*c_0101_6^15 + 250488682047875693136651428/919574954773400314189271*c_0101_5*c_010\ 1_6^14 + 147026770871803914465538821/919574954773400314189271*c_010\ 1_5*c_0101_6^13 - 4895480853219474234597245089/18391499095468006283\ 78542*c_0101_5*c_0101_6^12 + 3958778791547460714868550190/919574954\ 773400314189271*c_0101_5*c_0101_6^11 + 35403038113948263486653108317/1839149909546800628378542*c_0101_5*c_\ 0101_6^10 + 7994871087673191138281770298/919574954773400314189271*c\ _0101_5*c_0101_6^9 - 30277465400997431768609485629/1839149909546800\ 628378542*c_0101_5*c_0101_6^8 - 22348026275761584942699586199/18391\ 49909546800628378542*c_0101_5*c_0101_6^7 + 4940620645919044043728949001/919574954773400314189271*c_0101_5*c_01\ 01_6^6 + 8566419526675724768462816563/1839149909546800628378542*c_0\ 101_5*c_0101_6^5 - 2372713006822393005722902005/1839149909546800628\ 378542*c_0101_5*c_0101_6^4 - 1282578576224195971128481355/183914990\ 9546800628378542*c_0101_5*c_0101_6^3 + 208191245051365460828021929/919574954773400314189271*c_0101_5*c_010\ 1_6^2 + 83342248527751284396188473/1839149909546800628378542*c_0101\ _5*c_0101_6 - 12079899901258593605985540/919574954773400314189271*c\ _0101_5, c_0101_5^2 + 1492445440397538116811515/919574954773400314189271*c_0101_\ 6^18 - 9588735561940172070722398/919574954773400314189271*c_0101_6^\ 17 - 1893688876177520735564813/919574954773400314189271*c_0101_6^16 + 94829034407920127197187662/919574954773400314189271*c_0101_6^15 - 82183931534599661637970326/919574954773400314189271*c_0101_6^14 - 63412103756709466640655992/919574954773400314189271*c_0101_6^13 + 894836478809769506052187972/919574954773400314189271*c_0101_6^12 - 1361962614444329076593402159/919574954773400314189271*c_0101_6^11 - 6655069122670387174682792390/919574954773400314189271*c_0101_6^10 - 3615075802703092782852440550/919574954773400314189271*c_0101_6^9 + 5206695313723424170052241049/919574954773400314189271*c_0101_6^8 + 4604614851124028228131273971/919574954773400314189271*c_0101_6^7 - 1372257158640244387439405686/919574954773400314189271*c_0101_6^6 - 1676343738832827810642709114/919574954773400314189271*c_0101_6^5 + 292396796285790262372507410/919574954773400314189271*c_0101_6^4 + 248911610060328841032414594/919574954773400314189271*c_0101_6^3 - 63281691912513255214310797/919574954773400314189271*c_0101_6^2 - 17885438845416392873429239/919574954773400314189271*c_0101_6 + 3346837463813085546881384/919574954773400314189271, c_0101_6^19 - 6*c_0101_6^18 - 4*c_0101_6^17 + 63*c_0101_6^16 - 28*c_0101_6^15 - 66*c_0101_6^14 + 581*c_0101_6^13 - 657*c_0101_6^12 - 4848*c_0101_6^11 - 4321*c_0101_6^10 + 2478*c_0101_6^9 + 4610*c_0101_6^8 + 404*c_0101_6^7 - 1538*c_0101_6^6 - 296*c_0101_6^5 + 253*c_0101_6^4 + 32*c_0101_6^3 - 30*c_0101_6^2 - 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB