Magma V2.19-8 Tue Aug 20 2013 16:19:07 on localhost [Seed = 88381567] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3255 geometric_solution 6.38415633 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -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 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 0.136066711819 0.933026325024 0 3 5 4 0132 0132 0132 0132 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 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.291951568540 0.973504598791 3 0 4 5 0132 0132 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 -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.291951568540 0.973504598791 2 1 6 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 -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.682812887954 0.766779771324 4 4 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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.839458595040 0.917506369273 2 5 5 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631730346954 0.722627781215 6 3 6 3 2031 2310 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 1 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.040888980187 1.232688943227 ==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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 282242797403273912228099093009475565915562126935371/240894050040009\ 65973740653697223995222459492333942*c_0101_3^24 + 648176717998995551082036812402742917924766875586900234/120447025020\ 00482986870326848611997611229746166971*c_0101_3^22 - 88940810637390026347564140293271104739643522205211789039/2408940500\ 4000965973740653697223995222459492333942*c_0101_3^20 + 337460566645357743341629194181941912276468888190220666619/240894050\ 04000965973740653697223995222459492333942*c_0101_3^18 - 262184852918254552746732656674347018204865897866536927326/120447025\ 02000482986870326848611997611229746166971*c_0101_3^16 + 227023869326603529736666005290444961746630316136323249339/120447025\ 02000482986870326848611997611229746166971*c_0101_3^14 - 151335541181738458746235575014846333478475599510794243153/240894050\ 04000965973740653697223995222459492333942*c_0101_3^12 - 30966506434868969755537542730172833066267542578870021779/2408940500\ 4000965973740653697223995222459492333942*c_0101_3^10 + 4599691814272910538451911724549406122176081743240963768/12044702502\ 000482986870326848611997611229746166971*c_0101_3^8 - 828640620351482771785166464424991164800022560850110669/240894050040\ 00965973740653697223995222459492333942*c_0101_3^6 - 1875376415571895330090400643822429970933200995683591673/24089405004\ 000965973740653697223995222459492333942*c_0101_3^4 + 150252877311165447586351024950540838161318225348904280/120447025020\ 00482986870326848611997611229746166971*c_0101_3^2 + 22987130917836804615899866671485119112575052135090541/2408940500400\ 0965973740653697223995222459492333942, c_0011_0 - 1, c_0011_4 - 2650210542420610249529013550197026781589/1459604788397580108\ 9998857067427042329256857*c_0101_3^24 + 12182987821644272445424727283521183612843355/1459604788397580108999\ 8857067427042329256857*c_0101_3^22 - 883161042018836794467651255726613315897810060/145960478839758010899\ 98857067427042329256857*c_0101_3^20 + 6460272595520731235626091654401379771198931049/14596047883975801089\ 998857067427042329256857*c_0101_3^18 - 17205757824438967769056357800263677735080668147/1459604788397580108\ 9998857067427042329256857*c_0101_3^16 + 22940346648778726466736481840862045631066963603/1459604788397580108\ 9998857067427042329256857*c_0101_3^14 - 17291562576892297091272371985506283769799550541/1459604788397580108\ 9998857067427042329256857*c_0101_3^12 + 4782110684448731756396139343623571667136162150/14596047883975801089\ 998857067427042329256857*c_0101_3^10 + 1031086293250303936098255343228146050432485140/14596047883975801089\ 998857067427042329256857*c_0101_3^8 - 7670649838021155115207466630656920316784880/14596047883975801089998\ 857067427042329256857*c_0101_3^6 - 21249983538358254095330885113671015927953402/1459604788397580108999\ 8857067427042329256857*c_0101_3^4 + 56399586205765914962216861355545538801455106/1459604788397580108999\ 8857067427042329256857*c_0101_3^2 - 3377515864203538358614103955242596301524801/14596047883975801089998\ 857067427042329256857, c_0011_5 + 6318377838773487707202660086423238989302396925/2408940500400\ 0965973740653697223995222459492333942*c_0101_3^24 - 29024796230742927139833087533896300602092119472857/2408940500400096\ 5973740653697223995222459492333942*c_0101_3^22 + 1005201095247876711368939636214707974047553079962600/12044702502000\ 482986870326848611997611229746166971*c_0101_3^20 - 8872106376848181979520354300271524816114232813722093/24089405004000\ 965973740653697223995222459492333942*c_0101_3^18 + 16107284242653045956618785184644248514832028859774599/2408940500400\ 0965973740653697223995222459492333942*c_0101_3^16 - 15524527275676627634658227908495979441369165847059261/2408940500400\ 0965973740653697223995222459492333942*c_0101_3^14 + 3203944636738831443045521377477399866066139922519982/12044702502000\ 482986870326848611997611229746166971*c_0101_3^12 + 1728716870969592401547461169938310864959198343276795/24089405004000\ 965973740653697223995222459492333942*c_0101_3^10 - 1851802203828928995927507284910323208733638391386673/24089405004000\ 965973740653697223995222459492333942*c_0101_3^8 + 49278979588231471959292270451509583977482248152243/1204470250200048\ 2986870326848611997611229746166971*c_0101_3^6 + 26274531873834937496838065361512916672022788658917/2408940500400096\ 5973740653697223995222459492333942*c_0101_3^4 - 66954524453762982604715335374485367415877480799331/2408940500400096\ 5973740653697223995222459492333942*c_0101_3^2 - 3290329130595129225681812426151500049684568218757/12044702502000482\ 986870326848611997611229746166971, c_0011_6 + 35328762445508376152302666515920113273075/145960478839758010\ 89998857067427042329256857*c_0101_3^24 - 162266668206306011282627076584716337211507888/145960478839758010899\ 98857067427042329256857*c_0101_3^22 + 11133440226984336742018886216310204986262463195/1459604788397580108\ 9998857067427042329256857*c_0101_3^20 - 42284168898138322088644394855266452558664181428/1459604788397580108\ 9998857067427042329256857*c_0101_3^18 + 66045415082308106759701034653212419639374223665/1459604788397580108\ 9998857067427042329256857*c_0101_3^16 - 57974217370875118493540274784590282093428502470/1459604788397580108\ 9998857067427042329256857*c_0101_3^14 + 20384472822511687927981332400883145816137030186/1459604788397580108\ 9998857067427042329256857*c_0101_3^12 + 2925537912589157524523467832852515965033755042/14596047883975801089\ 998857067427042329256857*c_0101_3^10 - 1101288930827616363205137932585578845061919299/14596047883975801089\ 998857067427042329256857*c_0101_3^8 + 327816250135745455434785316985751332845091634/145960478839758010899\ 98857067427042329256857*c_0101_3^6 + 220586627153054127591142355029989301627202813/145960478839758010899\ 98857067427042329256857*c_0101_3^4 - 43573929252621964799059511672943158270475465/1459604788397580108999\ 8857067427042329256857*c_0101_3^2 + 455732684024769532456577439345428781359569/145960478839758010899988\ 57067427042329256857, c_0101_0 + 1015815425401764655081594810096604928777303640155/4817881000\ 8001931947481307394447990444918984667884*c_0101_3^25 - 4665628923183737422925038338426320510848636781004871/48178810008001\ 931947481307394447990444918984667884*c_0101_3^23 + 159925306504816997160900334551437091453360729618020151/240894050040\ 00965973740653697223995222459492333942*c_0101_3^21 - 1197113249607817285382423451682737843222709752470555083/48178810008\ 001931947481307394447990444918984667884*c_0101_3^19 + 1824108271372077980646037234248013751250483318447946691/48178810008\ 001931947481307394447990444918984667884*c_0101_3^17 - 1542526003801689751143904940484564721421891159138224509/48178810008\ 001931947481307394447990444918984667884*c_0101_3^15 + 235836779015447829327979149972260267793458584945343277/240894050040\ 00965973740653697223995222459492333942*c_0101_3^13 + 128880841625283974460806983277793407346290463512670985/481788100080\ 01931947481307394447990444918984667884*c_0101_3^11 - 25048973521141130521321940699228571409826656161749749/4817881000800\ 1931947481307394447990444918984667884*c_0101_3^9 + 847745645164147270585595335673705030095733481158059/120447025020004\ 82986870326848611997611229746166971*c_0101_3^7 + 6861562837469597921879800276832169849477493396589671/48178810008001\ 931947481307394447990444918984667884*c_0101_3^5 - 791045784379615923987047084550786763746921910216839/481788100080019\ 31947481307394447990444918984667884*c_0101_3^3 - 15325976202738869974493478394360413413044874192713/1204470250200048\ 2986870326848611997611229746166971*c_0101_3, c_0101_1 + 67128769244287054464950105956977309578348422241/240894050040\ 00965973740653697223995222459492333942*c_0101_3^24 - 308322963668365977334173841906807229471197317537503/240894050040009\ 65973740653697223995222459492333942*c_0101_3^22 + 10571374012242050476892519938298073811016834899085446/1204470250200\ 0482986870326848611997611229746166971*c_0101_3^20 - 79524783341118342587780993377191750699385166936227341/2408940500400\ 0965973740653697223995222459492333942*c_0101_3^18 + 122987753970942302949150703031593500775208980220713399/240894050040\ 00965973740653697223995222459492333942*c_0101_3^16 - 107701625169016679159085038995623936131260651357408233/240894050040\ 00965973740653697223995222459492333942*c_0101_3^14 + 19143711107304964185265726692292958777043037496914057/1204470250200\ 0482986870326848611997611229746166971*c_0101_3^12 + 3669516169514452269143272459766060470308844053962523/24089405004000\ 965973740653697223995222459492333942*c_0101_3^10 - 656274141301803965945662022187719465093049747243225/240894050040009\ 65973740653697223995222459492333942*c_0101_3^8 + 345458360090994218736488732418766346069654845313058/120447025020004\ 82986870326848611997611229746166971*c_0101_3^6 + 423932270734064824674119849292940998581235053318597/240894050040009\ 65973740653697223995222459492333942*c_0101_3^4 - 46702741505447646479893891065754169096066800015375/2408940500400096\ 5973740653697223995222459492333942*c_0101_3^2 - 276027090097907663125847227829215381681704159327/120447025020004829\ 86870326848611997611229746166971, c_0101_3^26 - 4593*c_0101_3^24 + 314922*c_0101_3^22 - 1181957*c_0101_3^20 + 1806885*c_0101_3^18 - 1531823*c_0101_3^16 + 472542*c_0101_3^14 + 127295*c_0101_3^12 - 25579*c_0101_3^10 + 1712*c_0101_3^8 + 6609*c_0101_3^6 - 765*c_0101_3^4 - 108*c_0101_3^2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB