Magma V2.19-8 Tue Aug 20 2013 16:16:00 on localhost [Seed = 4223297340] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0256 geometric_solution 4.29426073 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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 1.537208098499 0.148893689588 0 2 2 0 3201 0132 1023 0132 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 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 1.301299057460 0.283779077132 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652457478201 0.826085474343 2 4 4 5 0132 2310 3201 0132 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 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.226409409719 0.527387541031 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 1 -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 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.226409409719 0.527387541031 4 6 3 6 1023 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 0 0 0 -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 1.634956712669 1.994725207322 5 5 6 6 3201 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 1 -1 0 0 1 -1 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.386138330235 0.243265830688 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_5' : negation(d['c_0011_4']), '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], '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_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 300098084264855251676757266431500588/199837585157491718498795678185\ 93777*c_0110_6^17 - 57430538051043171671675909487778357/15082081898\ 67862026406005118384436*c_0110_6^16 - 26304144379393797496965608538371221109/1998375851574917184987956781\ 8593777*c_0110_6^15 - 512619022466530330990007763254152854121/79935\ 034062996687399518271274375108*c_0110_6^14 - 767827162314612837111180194411095188309/399675170314983436997591356\ 37187554*c_0110_6^13 - 2978633557581142022458585074180446988281/799\ 35034062996687399518271274375108*c_0110_6^12 - 2377912294038467115389967768718074283111/79935034062996687399518271\ 274375108*c_0110_6^11 - 703088548380357052607821887249317805055/799\ 35034062996687399518271274375108*c_0110_6^10 + 1638945274021787284491093180104535437742/19983758515749171849879567\ 818593777*c_0110_6^9 + 3272815889681218706749928305896940999807/199\ 83758515749171849879567818593777*c_0110_6^8 + 9069970373819255483587489420280737313365/79935034062996687399518271\ 274375108*c_0110_6^7 + 1773246312547496031675392961271843045607/799\ 35034062996687399518271274375108*c_0110_6^6 - 689149289526794660793557058464963671725/799350340629966873995182712\ 74375108*c_0110_6^5 - 848059221791978429651440311873409730123/79935\ 034062996687399518271274375108*c_0110_6^4 - 171896582599630152446462629817678541515/399675170314983436997591356\ 37187554*c_0110_6^3 + 41728297669318333926098175289262217753/799350\ 34062996687399518271274375108*c_0110_6^2 + 37741409804472500190643070459508168947/7993503406299668739951827127\ 4375108*c_0110_6 + 2440661239003052452483750209887369643/3996751703\ 1498343699759135637187554, c_0011_0 - 1, c_0011_1 - 332385550136601626993490029780947/51121242714707183802017499\ 07082129*c_0110_6^17 + 13704650050375234673113259056784/96455174933\ 409780758523583152493*c_0110_6^16 + 29398801867799731098431643101045623/5112124271470718380201749907082\ 129*c_0110_6^15 + 152244852745317437863157428434586945/511212427147\ 0718380201749907082129*c_0110_6^14 + 477602129406406193049374399616690558/511212427147071838020174990708\ 2129*c_0110_6^13 + 985714386568786051327974841138280414/51121242714\ 70718380201749907082129*c_0110_6^12 + 982130850746245070355881016670192067/511212427147071838020174990708\ 2129*c_0110_6^11 + 489616170100023153482679030023493339/51121242714\ 70718380201749907082129*c_0110_6^10 - 1704353161526847170749170788420663359/51121242714707183802017499070\ 82129*c_0110_6^9 - 4241431174447187991599760529613881802/5112124271\ 470718380201749907082129*c_0110_6^8 - 3945700570124010745723876495109469235/51121242714707183802017499070\ 82129*c_0110_6^7 - 1626935250886732081381325234526582028/5112124271\ 470718380201749907082129*c_0110_6^6 - 151245707942002886536338226797984260/511212427147071838020174990708\ 2129*c_0110_6^5 + 245037596534943192830586797169798218/511212427147\ 0718380201749907082129*c_0110_6^4 + 174678941596572988828171545615163931/511212427147071838020174990708\ 2129*c_0110_6^3 + 39417148864553837353038601809488803/5112124271470\ 718380201749907082129*c_0110_6^2 - 4994567839174051899656545582644562/51121242714707183802017499070821\ 29*c_0110_6 - 5356110437592013649115880275951117/511212427147071838\ 0201749907082129, c_0011_4 + 120908767323991381676214501808827/46473857013370167092743180\ 9734739*c_0110_6^17 - 5309447074757651133132449018799/8768652266673\ 616432593053013863*c_0110_6^16 - 1065891031616907122778855952934317\ 6/464738570133701670927431809734739*c_0110_6^15 - 53845849907225567543271904917396539/4647385701337016709274318097347\ 39*c_0110_6^14 - 165686220533555155808371584834225159/4647385701337\ 01670927431809734739*c_0110_6^13 - 333638427776101599352971056470193005/464738570133701670927431809734\ 739*c_0110_6^12 - 306579879382707189402362124928961607/464738570133\ 701670927431809734739*c_0110_6^11 - 130642172904238418745285676801838842/464738570133701670927431809734\ 739*c_0110_6^10 + 634116705733370979803827989543646102/464738570133\ 701670927431809734739*c_0110_6^9 + 1449166276350746466010638287818631292/46473857013370167092743180973\ 4739*c_0110_6^8 + 1201295689175982993142196652744951670/46473857013\ 3701670927431809734739*c_0110_6^7 + 410459523175180482378398706458878427/464738570133701670927431809734\ 739*c_0110_6^6 + 14485310683575823354018845777658783/46473857013370\ 1670927431809734739*c_0110_6^5 - 7585269019851407860025796156314798\ 9/464738570133701670927431809734739*c_0110_6^4 - 45779078831788038709749641743473714/4647385701337016709274318097347\ 39*c_0110_6^3 - 2947794820165810332561849319750815/4647385701337016\ 70927431809734739*c_0110_6^2 + 3465162092456677727960794524286596/4\ 64738570133701670927431809734739*c_0110_6 + 901362142578820317542197401609207/464738570133701670927431809734739\ , c_0101_0 + 2086302033774078395313513448922744/5112124271470718380201749\ 907082129*c_0110_6^17 - 101743954556582488239903495654695/964551749\ 33409780758523583152493*c_0110_6^16 - 182647070859518836855480604809783246/511212427147071838020174990708\ 2129*c_0110_6^15 - 881849082615548361953846398144385434/51121242714\ 70718380201749907082129*c_0110_6^14 - 2622085970759289438984696367540464943/51121242714707183802017499070\ 82129*c_0110_6^13 - 5032944143289142588758265528586040030/511212427\ 1470718380201749907082129*c_0110_6^12 - 3845596421704505983701003460470111464/51121242714707183802017499070\ 82129*c_0110_6^11 - 970288574350359266284606984005932763/5112124271\ 470718380201749907082129*c_0110_6^10 + 11441349008751507514904510204472799172/5112124271470718380201749907\ 082129*c_0110_6^9 + 22146650390056762701003994757150603622/51121242\ 71470718380201749907082129*c_0110_6^8 + 14425060402173944921986659283867249543/5112124271470718380201749907\ 082129*c_0110_6^7 + 2085117667249718238137788346751120650/511212427\ 1470718380201749907082129*c_0110_6^6 - 1241447907636118986427630065766611658/51121242714707183802017499070\ 82129*c_0110_6^5 - 1213175107774472765387863037905262500/5112124271\ 470718380201749907082129*c_0110_6^4 - 472262858994054254835912473818917390/511212427147071838020174990708\ 2129*c_0110_6^3 + 107127218024649753409341891810267984/511212427147\ 0718380201749907082129*c_0110_6^2 + 54557213955443526558840301913642009/5112124271470718380201749907082\ 129*c_0110_6 + 1470127588804088637078897908482404/51121242714707183\ 80201749907082129, c_0101_2 + 1596726751988987173220275501735854/5112124271470718380201749\ 907082129*c_0110_6^17 - 76062995692473482229089352538440/9645517493\ 3409780758523583152493*c_0110_6^16 - 140023103956255080495156971604119969/511212427147071838020174990708\ 2129*c_0110_6^15 - 683311359638721963520529617293126891/51121242714\ 70718380201749907082129*c_0110_6^14 - 2048233632743527820778640462529456184/51121242714707183802017499070\ 82129*c_0110_6^13 - 3977433148469983779056814143096307579/511212427\ 1470718380201749907082129*c_0110_6^12 - 3189581535877702694274458333433812073/51121242714707183802017499070\ 82129*c_0110_6^11 - 948999055907065342904800767876553267/5112124271\ 470718380201749907082129*c_0110_6^10 + 8689789521720712364452535324496475579/51121242714707183802017499070\ 82129*c_0110_6^9 + 17481911452714491953686864101273520180/511212427\ 1470718380201749907082129*c_0110_6^8 + 12117974774349534076124052068476189507/5112124271470718380201749907\ 082129*c_0110_6^7 + 2415588465502771605636823885364475368/511212427\ 1470718380201749907082129*c_0110_6^6 - 795868748455558643629926185261780370/511212427147071838020174990708\ 2129*c_0110_6^5 - 1019707558959149138733365856360621041/51121242714\ 70718380201749907082129*c_0110_6^4 - 430386136194735793241706508811798060/511212427147071838020174990708\ 2129*c_0110_6^3 + 55094601159161423434713559587813066/5112124271470\ 718380201749907082129*c_0110_6^2 + 49625776054099803905376475970814330/5112124271470718380201749907082\ 129*c_0110_6 + 6209675975969652414389709450697942/51121242714707183\ 80201749907082129, c_0101_3 - 599037669750129196115594098032684/51121242714707183802017499\ 07082129*c_0110_6^17 + 24545795111095127858253637140577/96455174933\ 409780758523583152493*c_0110_6^16 + 53029761453749690578081220409198014/5112124271470718380201749907082\ 129*c_0110_6^15 + 275011220582991041701212218088320621/511212427147\ 0718380201749907082129*c_0110_6^14 + 862038450055716762478008086410367777/511212427147071838020174990708\ 2129*c_0110_6^13 + 1777435908071431140922686504293567531/5112124271\ 470718380201749907082129*c_0110_6^12 + 1763737711143326516235187721690410433/51121242714707183802017499070\ 82129*c_0110_6^11 + 852576834559879326083142619689961581/5112124271\ 470718380201749907082129*c_0110_6^10 - 3086843896086660761520051856437314758/51121242714707183802017499070\ 82129*c_0110_6^9 - 7688386278464088517262742090656031457/5112124271\ 470718380201749907082129*c_0110_6^8 - 7051601666555192425727738074015505913/51121242714707183802017499070\ 82129*c_0110_6^7 - 2803814436781399794685641556663430194/5112124271\ 470718380201749907082129*c_0110_6^6 - 205043227038706068616938475090393555/511212427147071838020174990708\ 2129*c_0110_6^5 + 428754559037743787891886344421134594/511212427147\ 0718380201749907082129*c_0110_6^4 + 273990077383332248307834704639920951/511212427147071838020174990708\ 2129*c_0110_6^3 + 43172188131684216891286178660010810/5112124271470\ 718380201749907082129*c_0110_6^2 - 20494700694595689498842432885561776/5112124271470718380201749907082\ 129*c_0110_6 - 6625570416902801945233016393833055/51121242714707183\ 80201749907082129, c_0110_6^18 - 2*c_0110_6^17 - 89*c_0110_6^16 - 474*c_0110_6^15 - 1509*c_0110_6^14 - 3173*c_0110_6^13 - 3333*c_0110_6^12 - 1702*c_0110_6^11 + 5068*c_0110_6^10 + 13773*c_0110_6^9 + 13431*c_0110_6^8 + 5753*c_0110_6^7 + 549*c_0110_6^6 - 796*c_0110_6^5 - 601*c_0110_6^4 - 119*c_0110_6^3 + 38*c_0110_6^2 + 16*c_0110_6 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB