Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 1629552003] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0599 geometric_solution 4.60986228 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.729706127952 0.289050421640 0 0 3 2 2310 0132 0132 0132 0 0 0 0 0 1 -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 -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.182983056687 1.111630127342 4 3 1 3 0132 2031 0132 3012 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 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.684991100300 0.622334105759 2 4 2 1 1302 2310 1230 0132 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 -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.684991100300 0.622334105759 2 5 5 3 0132 0132 1023 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399329641133 0.237254064403 6 4 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.267857957408 0.722637727884 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.682925230393 0.248430750554 ==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' : negation(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' : negation(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' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : 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' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 305515172719409979200347/41727759915615992570511*c_0101_6^16 + 648544404173010832590151/41727759915615992570511*c_0101_6^15 + 11307555584226171428510299/41727759915615992570511*c_0101_6^14 - 425476611226243460384452/13909253305205330856837*c_0101_6^13 - 5838675464216006528085784/4636417768401776952279*c_0101_6^12 + 13918865204420194933374628/41727759915615992570511*c_0101_6^11 - 55269582522754244501105389/41727759915615992570511*c_0101_6^10 + 228119263725700462410800615/41727759915615992570511*c_0101_6^9 + 16773413926107458838815945/13909253305205330856837*c_0101_6^8 - 473652848767146652476459280/41727759915615992570511*c_0101_6^7 + 300111207109442960919800044/41727759915615992570511*c_0101_6^6 + 24665938838027799536471650/4636417768401776952279*c_0101_6^5 - 347349238971739509044677148/41727759915615992570511*c_0101_6^4 + 51678002998542605002789229/41727759915615992570511*c_0101_6^3 + 64942503893714646482713201/41727759915615992570511*c_0101_6^2 - 13313646356420178967737665/41727759915615992570511*c_0101_6 - 2317219859780699670307969/41727759915615992570511, c_0011_0 - 1, c_0011_2 - 2931653113708365476371/4636417768401776952279*c_0101_6^16 + 987405321571896667651/4636417768401776952279*c_0101_6^15 + 36970143114767327361933/1545472589467258984093*c_0101_6^14 + 185479436876493023550304/4636417768401776952279*c_0101_6^13 - 197171191849100223168322/4636417768401776952279*c_0101_6^12 - 84605496573947776064516/1545472589467258984093*c_0101_6^11 - 311265806528216076755180/1545472589467258984093*c_0101_6^10 + 559201254530249193878851/4636417768401776952279*c_0101_6^9 + 1670668225920465202197064/4636417768401776952279*c_0101_6^8 - 1716140072544070354671175/4636417768401776952279*c_0101_6^7 - 166871618989707116199124/1545472589467258984093*c_0101_6^6 + 1725448339712584545349097/4636417768401776952279*c_0101_6^5 - 95103599233520736366949/1545472589467258984093*c_0101_6^4 - 141827245179699880408834/1545472589467258984093*c_0101_6^3 + 26197993124519822937600/1545472589467258984093*c_0101_6^2 + 43947562802043602729921/4636417768401776952279*c_0101_6 - 3677992987741071868274/4636417768401776952279, c_0101_0 + 3947612080539074987536/4636417768401776952279*c_0101_6^16 - 474211342983511242282/1545472589467258984093*c_0101_6^15 - 49765740350166379573639/1545472589467258984093*c_0101_6^14 - 246281699817625046441092/4636417768401776952279*c_0101_6^13 + 90225509006489544681419/1545472589467258984093*c_0101_6^12 + 111952354405124682071885/1545472589467258984093*c_0101_6^11 + 418359049517866744091399/1545472589467258984093*c_0101_6^10 - 779045705417991030938542/4636417768401776952279*c_0101_6^9 - 2230772147001303756643625/4636417768401776952279*c_0101_6^8 + 2342619171802190236729184/4636417768401776952279*c_0101_6^7 + 595738432285177663800347/4636417768401776952279*c_0101_6^6 - 769771309392508697383734/1545472589467258984093*c_0101_6^5 + 150281674675601744800312/1545472589467258984093*c_0101_6^4 + 177037785778896862075154/1545472589467258984093*c_0101_6^3 - 35829778778374042976902/1545472589467258984093*c_0101_6^2 - 41675881718210076234602/4636417768401776952279*c_0101_6 + 1341848695757534895632/1545472589467258984093, c_0101_1 + 2832587345409966866882/4636417768401776952279*c_0101_6^16 - 706716181432294510864/4636417768401776952279*c_0101_6^15 - 35763858630504035785598/1545472589467258984093*c_0101_6^14 - 188525930978506952723771/4636417768401776952279*c_0101_6^13 + 176500497241464920363971/4636417768401776952279*c_0101_6^12 + 87933519339064954859527/1545472589467258984093*c_0101_6^11 + 307283752818083583801592/1545472589467258984093*c_0101_6^10 - 459846885816969741508448/4636417768401776952279*c_0101_6^9 - 559935503178648478994755/1545472589467258984093*c_0101_6^8 + 509978528104631938030037/1545472589467258984093*c_0101_6^7 + 619891546613432733956651/4636417768401776952279*c_0101_6^6 - 1642177956705264350754476/4636417768401776952279*c_0101_6^5 + 54501724532837124264487/1545472589467258984093*c_0101_6^4 + 143585977447833218144082/1545472589467258984093*c_0101_6^3 - 15414079913834148481775/1545472589467258984093*c_0101_6^2 - 34612376127078071794984/4636417768401776952279*c_0101_6 + 965165181681858978860/4636417768401776952279, c_0101_4 - 2385753113463590425111/4636417768401776952279*c_0101_6^16 + 230253039445089946551/1545472589467258984093*c_0101_6^15 + 30113494040721576780063/1545472589467258984093*c_0101_6^14 + 155101518334949068422148/4636417768401776952279*c_0101_6^13 - 51659742595853906302857/1545472589467258984093*c_0101_6^12 - 71181425014236231344447/1545472589467258984093*c_0101_6^11 - 253586746716553078216478/1545472589467258984093*c_0101_6^10 + 419157649446068007978277/4636417768401776952279*c_0101_6^9 + 1391353791426383603622680/4636417768401776952279*c_0101_6^8 - 1371156127551434253008609/4636417768401776952279*c_0101_6^7 - 483286854484532098875086/4636417768401776952279*c_0101_6^6 + 481743479225566449057209/1545472589467258984093*c_0101_6^5 - 68349662954781646711631/1545472589467258984093*c_0101_6^4 - 127662735493417846401251/1545472589467258984093*c_0101_6^3 + 25994699350777205096636/1545472589467258984093*c_0101_6^2 + 39836286883683306336092/4636417768401776952279*c_0101_6 - 1759798304660796607788/1545472589467258984093, c_0101_5 + 1447795629032897975761/1545472589467258984093*c_0101_6^16 - 467398224279784831527/1545472589467258984093*c_0101_6^15 - 54785434985935861711556/1545472589467258984093*c_0101_6^14 - 92353272171788974636813/1545472589467258984093*c_0101_6^13 + 96294057510298205906483/1545472589467258984093*c_0101_6^12 + 126719740370912009937091/1545472589467258984093*c_0101_6^11 + 462177631680448721196349/1545472589467258984093*c_0101_6^10 - 269445608859388751854628/1545472589467258984093*c_0101_6^9 - 830958650535421809608174/1545472589467258984093*c_0101_6^8 + 838990564348305443518167/1545472589467258984093*c_0101_6^7 + 258411893933229170135793/1545472589467258984093*c_0101_6^6 - 853893564196739867573344/1545472589467258984093*c_0101_6^5 + 138149768826767568755955/1545472589467258984093*c_0101_6^4 + 213084652984056841909360/1545472589467258984093*c_0101_6^3 - 40846163888065519052838/1545472589467258984093*c_0101_6^2 - 19542648051916567371308/1545472589467258984093*c_0101_6 + 2129629140736856609486/1545472589467258984093, c_0101_6^17 - 38*c_0101_6^15 - 76*c_0101_6^14 + 48*c_0101_6^13 + 113*c_0101_6^12 + 345*c_0101_6^11 - 88*c_0101_6^10 - 653*c_0101_6^9 + 400*c_0101_6^8 + 396*c_0101_6^7 - 556*c_0101_6^6 - 109*c_0101_6^5 + 204*c_0101_6^4 + 21*c_0101_6^3 - 29*c_0101_6^2 - 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB