Magma V2.19-8 Tue Aug 20 2013 16:16:45 on localhost [Seed = 3920131365] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1034 geometric_solution 4.91629753 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.033293084947 0.676836660329 0 0 4 3 0132 2310 0132 0132 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.465721880487 0.408467394594 2 0 0 2 3201 0132 1023 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 0 0 0 0 0 0 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.785057463506 0.573474406061 4 4 1 5 1302 1023 0132 0132 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.234901143903 0.670528980358 3 3 5 1 1023 2031 0132 0132 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 -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.234901143903 0.670528980358 6 6 3 4 0132 3201 0132 0132 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 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.562694152654 3.148053919476 5 6 5 6 0132 1302 2310 2031 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 0 0 0 0 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.445842578424 0.531948309456 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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' : 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_5'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_5, c_0101_1, c_0101_2, c_0101_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + 4*c_1100_1^2 + 9*c_1100_1, c_0011_0 - 1, c_0011_3 - c_1100_1^2 - c_1100_1 + 1, c_0011_5 - c_1100_1^2 - c_1100_1 + 1, c_0101_1 - 1, c_0101_2 + c_1100_1, c_0101_5 - c_1100_1, c_1100_1^3 + 2*c_1100_1^2 - c_1100_1 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_1, c_0101_2, c_0101_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 471894737044122815824596257145456178626824/845706599966440963633726\ 319785929309406707*c_1100_1^15 - 1885300848437372644343828321395342\ 187210879/281902199988813654544575439928643103135569*c_1100_1^14 - 31955651595687809921008000390299845971664995/8457065999664409636337\ 26319785929309406707*c_1100_1^13 - 125897450919391215175420604742454236960950017/845706599966440963633\ 726319785929309406707*c_1100_1^12 - 68207189114031886196145931778569799842464829/2819021999888136545445\ 75439928643103135569*c_1100_1^11 - 206770206383251958821760929988979953746170602/845706599966440963633\ 726319785929309406707*c_1100_1^10 - 1392438044104065496356610197842275676656522738/28190219998881365454\ 4575439928643103135569*c_1100_1^9 - 15498194047994722013591615453452549691546639798/8457065999664409636\ 33726319785929309406707*c_1100_1^8 - 40718158024685623265448965605754957519014388699/8457065999664409636\ 33726319785929309406707*c_1100_1^7 - 69652657979435774366481136617052976597962880414/8457065999664409636\ 33726319785929309406707*c_1100_1^6 - 8540387052663646762064049620068194205174920993/93967399996271218181\ 525146642881034378523*c_1100_1^5 - 60457309596978018359625661115467170781639062880/8457065999664409636\ 33726319785929309406707*c_1100_1^4 - 30614543778359437113966466988511927764332257526/8457065999664409636\ 33726319785929309406707*c_1100_1^3 - 1811003361157583536310673762778375791527190004/28190219998881365454\ 4575439928643103135569*c_1100_1^2 + 685865555520994902780398241714720229386124861/281902199988813654544\ 575439928643103135569*c_1100_1 + 8698921709249919479311082297675481\ 7958861227/93967399996271218181525146642881034378523, c_0011_0 - 1, c_0011_3 - 256307775594345131875684088166921141307/30312064514926199413\ 39520859447775302533*c_1100_1^15 - 8896338367226409644643207859721219750660/90936193544778598240185625\ 78343325907599*c_1100_1^14 - 16155550362820587951967426872876185562\ 667/3031206451492619941339520859447775302533*c_1100_1^13 - 186064903145831851499014718171166291004417/909361935447785982401856\ 2578343325907599*c_1100_1^12 - 261740939096947089076266518817589633\ 867333/9093619354477859824018562578343325907599*c_1100_1^11 - 83140163328311819013156807382905461983141/3031206451492619941339520\ 859447775302533*c_1100_1^10 - 6729172522906346087483400883732033989\ 502892/9093619354477859824018562578343325907599*c_1100_1^9 - 7493276469961908508047808592844793005843661/30312064514926199413395\ 20859447775302533*c_1100_1^8 - 578259436568685215810553729802695298\ 93952822/9093619354477859824018562578343325907599*c_1100_1^7 - 91989975139506639855648918820707424304378306/9093619354477859824018\ 562578343325907599*c_1100_1^6 - 93413417751979562031728679916189662\ 425193641/9093619354477859824018562578343325907599*c_1100_1^5 - 23065214528373726709560267044382356857800857/3031206451492619941339\ 520859447775302533*c_1100_1^4 - 29969123469481972746490437005542296\ 028117246/9093619354477859824018562578343325907599*c_1100_1^3 - 2464074970745722967940012929322329347806718/90936193544778598240185\ 62578343325907599*c_1100_1^2 + 784997728778783679247914087156585703\ 478864/3031206451492619941339520859447775302533*c_1100_1 + 173702505299353049131731670747990553761338/303120645149261994133952\ 0859447775302533, c_0011_5 + 248318263303489718655856942611856137320/90936193544778598240\ 18562578343325907599*c_1100_1^15 + 2872491200136020880851120017476748762447/90936193544778598240185625\ 78343325907599*c_1100_1^14 + 15642726725035575187258198468880557629\ 568/9093619354477859824018562578343325907599*c_1100_1^13 + 20007012599954920203354165512712125964570/3031206451492619941339520\ 859447775302533*c_1100_1^12 + 8422868182139024263722687694515343095\ 6116/9093619354477859824018562578343325907599*c_1100_1^11 + 79745059437976771785485883033052702411670/9093619354477859824018562\ 578343325907599*c_1100_1^10 + 2172442708622073353098991360534006169\ 970120/9093619354477859824018562578343325907599*c_1100_1^9 + 7254671671841050203130270636604260336079693/90936193544778598240185\ 62578343325907599*c_1100_1^8 + 621049208284729270531270209342143912\ 2127082/3031206451492619941339520859447775302533*c_1100_1^7 + 9866134351720771849702026697452628392398538/30312064514926199413395\ 20859447775302533*c_1100_1^6 + 299269986922598854406248085217148065\ 11300209/9093619354477859824018562578343325907599*c_1100_1^5 + 22062200071699497302785537721564620456794856/9093619354477859824018\ 562578343325907599*c_1100_1^4 + 31527639161060156289288464990516408\ 34517029/3031206451492619941339520859447775302533*c_1100_1^3 + 668144285631419036744321951604958541416202/909361935447785982401856\ 2578343325907599*c_1100_1^2 - 2545503621468405937727459995838074857\ 38501/3031206451492619941339520859447775302533*c_1100_1 - 51844683127037074275921970747242094700348/3031206451492619941339520\ 859447775302533, c_0101_1 - 81314116052345043999099385942355507246/909361935447785982401\ 8562578343325907599*c_1100_1^15 - 941858468128929102892960558652281\ 631600/9093619354477859824018562578343325907599*c_1100_1^14 - 5136408873129611768007749562306068044324/90936193544778598240185625\ 78343325907599*c_1100_1^13 - 19729625683292959093092067676809736136\ 251/9093619354477859824018562578343325907599*c_1100_1^12 - 27866287947232305841481013370188265997584/9093619354477859824018562\ 578343325907599*c_1100_1^11 - 2648233358643189696279753295756397105\ 9342/9093619354477859824018562578343325907599*c_1100_1^10 - 711729448499634373895353758455298190310420/909361935447785982401856\ 2578343325907599*c_1100_1^9 - 2386396068687645410507447658052516749\ 990839/9093619354477859824018562578343325907599*c_1100_1^8 - 6135169975135987500233203973393682849554815/90936193544778598240185\ 62578343325907599*c_1100_1^7 - 977869558029146521357770129843581178\ 4276510/9093619354477859824018562578343325907599*c_1100_1^6 - 9933245020864214892778367453819199455084690/90936193544778598240185\ 62578343325907599*c_1100_1^5 - 735468230171830660028864285449174872\ 4374034/9093619354477859824018562578343325907599*c_1100_1^4 - 3196424574440647180298088552544153883530619/90936193544778598240185\ 62578343325907599*c_1100_1^3 - 267712383510748229236536063499740863\ 098999/9093619354477859824018562578343325907599*c_1100_1^2 + 82317644664530038547827549216590209156075/3031206451492619941339520\ 859447775302533*c_1100_1 + 1679873541190019575144066996587335503089\ 3/3031206451492619941339520859447775302533, c_0101_2 - 372521132637215397938454176531410021919/90936193544778598240\ 18562578343325907599*c_1100_1^15 - 4311595284417482489680982768297773803181/90936193544778598240185625\ 78343325907599*c_1100_1^14 - 23497533056355889317880968132047944093\ 318/9093619354477859824018562578343325907599*c_1100_1^13 - 30076139141448761616939979575278697904206/3031206451492619941339520\ 859447775302533*c_1100_1^12 - 1271215194690573077080090791217765106\ 87924/9093619354477859824018562578343325907599*c_1100_1^11 - 121142434235756322541334132232733208159432/909361935447785982401856\ 2578343325907599*c_1100_1^10 - 326050276267779209985068346153188737\ 8513196/9093619354477859824018562578343325907599*c_1100_1^9 - 10904382523573970231272095681441547312040783/9093619354477859824018\ 562578343325907599*c_1100_1^8 - 93497057704736203347660576233417167\ 94142176/3031206451492619941339520859447775302533*c_1100_1^7 - 14887535146812258148532857116406145912119251/3031206451492619941339\ 520859447775302533*c_1100_1^6 - 45379338218621435816074604536648080\ 221577988/9093619354477859824018562578343325907599*c_1100_1^5 - 33651742998766927805518633580440088947911493/9093619354477859824018\ 562578343325907599*c_1100_1^4 - 48668045040202180414201586939329684\ 95226434/3031206451492619941339520859447775302533*c_1100_1^3 - 1207222153153294071664875564299429879610140/90936193544778598240185\ 62578343325907599*c_1100_1^2 + 382012146974942514059356674858430012\ 963279/3031206451492619941339520859447775302533*c_1100_1 + 87844668730490425587390191202100472828013/3031206451492619941339520\ 859447775302533, c_0101_5 + 34791913854491285345700386148758177449/303120645149261994133\ 9520859447775302533*c_1100_1^15 + 118037584405975282063004014827764\ 0101057/9093619354477859824018562578343325907599*c_1100_1^14 + 2092699578045453102832671629832515492922/30312064514926199413395208\ 59447775302533*c_1100_1^13 + 23697255516363981182534377355946290317\ 391/9093619354477859824018562578343325907599*c_1100_1^12 + 29752057990935804139350066985576912302704/9093619354477859824018562\ 578343325907599*c_1100_1^11 + 9198753195321034704780541380240169066\ 594/3031206451492619941339520859447775302533*c_1100_1^10 + 907839983838042229112003585612902564747012/909361935447785982401856\ 2578343325907599*c_1100_1^9 + 9386645665269787016365268883809668940\ 85639/3031206451492619941339520859447775302533*c_1100_1^8 + 7176194385964539558573727952669603724442849/90936193544778598240185\ 62578343325907599*c_1100_1^7 + 107893082047556220235540604188820705\ 44848442/9093619354477859824018562578343325907599*c_1100_1^6 + 10305199238761795642368426678440428659941311/9093619354477859824018\ 562578343325907599*c_1100_1^5 + 24379991341520630412618613169540752\ 19884266/3031206451492619941339520859447775302533*c_1100_1^4 + 2691744796940299483804244498734713102142133/90936193544778598240185\ 62578343325907599*c_1100_1^3 - 170649675825641802635542973258834445\ 52489/9093619354477859824018562578343325907599*c_1100_1^2 - 73338584552237618109838522900329327499116/3031206451492619941339520\ 859447775302533*c_1100_1 - 1033023110794020320998976975771246675597\ 4/3031206451492619941339520859447775302533, c_1100_1^16 + 12*c_1100_1^15 + 68*c_1100_1^14 + 269*c_1100_1^13 + 444*c_1100_1^12 + 469*c_1100_1^11 + 8889*c_1100_1^10 + 32998*c_1100_1^9 + 87706*c_1100_1^8 + 151774*c_1100_1^7 + 172416*c_1100_1^6 + 141509*c_1100_1^5 + 77036*c_1100_1^4 + 19551*c_1100_1^3 - 1782*c_1100_1^2 - 1962*c_1100_1 - 279 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB