Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 324177907] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1992 geometric_solution 5.55676713 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 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 1 -1 0 0 0 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 -1.397195161297 1.659925763893 0 0 3 2 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 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.260557029056 0.561924183942 4 5 1 4 0132 0132 0132 3201 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 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 0.693049977391 0.435202122451 5 6 6 1 3201 0132 3201 0132 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.693049977391 0.435202122451 2 2 6 6 0132 2310 2031 1302 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.489334304049 0.954914391011 5 2 5 3 2310 0132 3201 2310 0 0 0 0 0 0 -1 1 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 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.681866618049 0.827695868196 3 3 4 4 2310 0132 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.489334304049 0.954914391011 ==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_0101_4'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(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' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 387324976167450484560441578174/9594054189700897242229680285*c_0101_\ 6^17 - 485653312209120112957664328713/3198018063233632414076560095*\ c_0101_6^16 + 67665255325084940318659537675/21320120421557549427177\ 0673*c_0101_6^15 - 29465638069439866159610948914636/959405418970089\ 7242229680285*c_0101_6^14 + 14806879710548715160689372136673/191881\ 0837940179448445936057*c_0101_6^13 - 30039554993401740253370273962183/1918810837940179448445936057*c_010\ 1_6^12 + 327377250555693329429778134870849/959405418970089724222968\ 0285*c_0101_6^11 + 36200200887769042781201903571283/319801806323363\ 2414076560095*c_0101_6^10 + 9960020006602402363611865227332/1918810\ 837940179448445936057*c_0101_6^9 + 593707856272705806850313300951366/9594054189700897242229680285*c_01\ 01_6^8 - 250890544798316534838002680621421/959405418970089724222968\ 0285*c_0101_6^7 + 520177379931686219007785934981268/959405418970089\ 7242229680285*c_0101_6^6 - 18210674202098127554893106565136/9594054\ 189700897242229680285*c_0101_6^5 - 2473354737244249719676165316848/168316740170191179688240005*c_0101_\ 6^4 + 2721271749721948818079772599024/9594054189700897242229680285*\ c_0101_6^3 - 54453730731945946157934739627/561055800567303932294133\ 35*c_0101_6^2 - 14972871464088916001680796840467/959405418970089724\ 2229680285*c_0101_6 - 3536810913306437549064340100233/9594054189700\ 897242229680285, c_0011_0 - 1, c_0011_2 - 9634204478313342240038936/100990044102114707812944003*c_0101\ _6^17 - 36799520866555436577225739/100990044102114707812944003*c_01\ 01_6^16 + 24560889981619925628354791/33663348034038235937648001*c_0\ 101_6^15 - 80894020085630995498140088/11221116011346078645882667*c_\ 0101_6^14 + 199983501533346510380109031/11221116011346078645882667*\ c_0101_6^13 - 1208997755466748415732102807/336633480340382359376480\ 01*c_0101_6^12 + 7937108548103525139016652888/100990044102114707812\ 944003*c_0101_6^11 + 350347109611196876522088963/112211160113460786\ 45882667*c_0101_6^10 + 157996189346963375711337521/1122111601134607\ 8645882667*c_0101_6^9 + 1630874781089873691482642999/11221116011346\ 078645882667*c_0101_6^8 - 5683368946058234098676450161/100990044102\ 114707812944003*c_0101_6^7 + 12509103556233125275157067278/10099004\ 4102114707812944003*c_0101_6^6 - 133598259146153246430937168/100990\ 044102114707812944003*c_0101_6^5 - 3720501836479789773589041770/100990044102114707812944003*c_0101_6^4 - 192993780096274185722768537/100990044102114707812944003*c_0101_6^\ 3 - 477235852864440170023099571/100990044102114707812944003*c_0101_\ 6^2 - 46865008237315167790155104/100990044102114707812944003*c_0101\ _6 - 37838947940574043021576748/100990044102114707812944003, c_0101_0 + 16525820692083503882804864/100990044102114707812944003*c_010\ 1_6^17 + 58676962253055627887581441/100990044102114707812944003*c_0\ 101_6^16 - 142521165560408419258586366/100990044102114707812944003*\ c_0101_6^15 + 1285163178878231602140825544/100990044102114707812944\ 003*c_0101_6^14 - 1144230601200354416077636550/33663348034038235937\ 648001*c_0101_6^13 + 7126161313597565095491668137/10099004410211470\ 7812944003*c_0101_6^12 - 5175087939455770322313486271/3366334803403\ 8235937648001*c_0101_6^11 - 1191984916786404420107238457/1009900441\ 02114707812944003*c_0101_6^10 - 2200394627759956522432416616/100990\ 044102114707812944003*c_0101_6^9 - 7895914179802057859657476253/33663348034038235937648001*c_0101_6^8 + 1773100589614304858180217009/11221116011346078645882667*c_0101_6^7 - 25179265201423187935711324354/100990044102114707812944003*c_0101_6^\ 6 + 7847896105101112733648808400/100990044102114707812944003*c_0101\ _6^5 + 3624731669133831605260475795/100990044102114707812944003*c_0\ 101_6^4 + 849771071285273347227545845/100990044102114707812944003*c\ _0101_6^3 - 49346862767120092605793619/100990044102114707812944003*\ c_0101_6^2 + 54923957614277788532665543/33663348034038235937648001*\ c_0101_6 + 98532883545444124473915226/100990044102114707812944003, c_0101_1 + 24868472503519294217724974/100990044102114707812944003*c_010\ 1_6^17 + 94165621966093279364820890/100990044102114707812944003*c_0\ 101_6^16 - 65194308823243027153552817/33663348034038235937648001*c_\ 0101_6^15 + 1877278400991246848805805817/10099004410211470781294400\ 3*c_0101_6^14 - 4689885597354021092069895509/1009900441021147078129\ 44003*c_0101_6^13 + 9345324126971755327088044480/100990044102114707\ 812944003*c_0101_6^12 - 20361215436711222467736746225/1009900441021\ 14707812944003*c_0101_6^11 - 2779725881972500789682036204/336633480\ 34038235937648001*c_0101_6^10 - 1492727498073983624591402780/100990\ 044102114707812944003*c_0101_6^9 - 37164355187986988237678243941/100990044102114707812944003*c_0101_6^\ 8 + 5335909596838352176631238626/33663348034038235937648001*c_0101_\ 6^7 - 9794689627269456868877525648/33663348034038235937648001*c_010\ 1_6^6 - 314614297223497265273616011/100990044102114707812944003*c_0\ 101_6^5 + 12218062203687549839909092615/100990044102114707812944003\ *c_0101_6^4 + 61785571758081825799856183/10099004410211470781294400\ 3*c_0101_6^3 + 222798417351651372441759106/100990044102114707812944\ 003*c_0101_6^2 + 112598208200106427727736194/3366334803403823593764\ 8001*c_0101_6 + 36281897276214359702191984/336633480340382359376480\ 01, c_0101_3 - 77255956505507545496650558/100990044102114707812944003*c_010\ 1_6^17 - 284663258537561874688597814/100990044102114707812944003*c_\ 0101_6^16 + 630751804123105556223527917/100990044102114707812944003\ *c_0101_6^15 - 5915156834836526324408705039/10099004410211470781294\ 4003*c_0101_6^14 + 1692079868633573835222597781/1122111601134607864\ 5882667*c_0101_6^13 - 31052752819311993378493962746/100990044102114\ 707812944003*c_0101_6^12 + 7529631205628225468191735340/11221116011\ 346078645882667*c_0101_6^11 + 16122687637666614554968172504/1009900\ 44102114707812944003*c_0101_6^10 + 9228966163630937699099356910/100990044102114707812944003*c_0101_6^9 + 37773423264167807166532534633/33663348034038235937648001*c_0101_6\ ^8 - 20227927274158736628598464559/33663348034038235937648001*c_010\ 1_6^7 + 105678600343245078900476823548/100990044102114707812944003*\ c_0101_6^6 - 17970330085567882667071858940/100990044102114707812944\ 003*c_0101_6^5 - 25833584090243391425261016640/10099004410211470781\ 2944003*c_0101_6^4 - 3065402518498194842317524086/10099004410211470\ 7812944003*c_0101_6^3 - 1007223948306221202357696209/10099004410211\ 4707812944003*c_0101_6^2 - 231005632942330824927278894/336633480340\ 38235937648001*c_0101_6 - 249673891702334291898323021/1009900441021\ 14707812944003, c_0101_4 - c_0101_6, c_0101_6^18 + 4*c_0101_6^17 - 7*c_0101_6^16 + 74*c_0101_6^15 - 173*c_0101_6^14 + 340*c_0101_6^13 - 751*c_0101_6^12 - 484*c_0101_6^11 - 188*c_0101_6^10 - 1504*c_0101_6^9 + 322*c_0101_6^8 - 1125*c_0101_6^7 - 197*c_0101_6^6 + 401*c_0101_6^5 + 146*c_0101_6^4 + 25*c_0101_6^3 + 12*c_0101_6^2 + 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB