Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 795784186] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1384 geometric_solution 5.23807202 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.544275677352 0.083625551240 2 0 2 0 0132 2310 1023 0132 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 -1 1 1 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 0 0.660792979673 0.192157713087 1 3 1 4 0132 0132 1023 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 -1 1 0 -1 0 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.505765787798 1.410902218464 5 2 5 6 0132 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 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.871054626423 1.613153468877 6 5 2 5 1023 2310 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 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 0.871054626423 1.613153468877 3 4 3 4 0132 2310 1023 3201 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 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.291206841231 0.416106338789 6 4 3 6 3012 1023 0132 1230 0 0 0 0 0 1 0 -1 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484817280148 0.579474032909 ==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' : negation(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' : 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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_5'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], '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_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 14379617082890832290052825341204644596067/1495954833628620493146544\ 058421011310000000*c_0101_5^20 + 7241136483981296204372173861849556\ 973527/29919096672572409862930881168420226200000*c_0101_5^18 + 1620656847817179096476351008139128579318321/99730322241908032876436\ 270561400754000000*c_0101_5^16 + 1807770175701444329122991261795987\ 30995630787/747977416814310246573272029210505655000000*c_0101_5^14 + 1713183792656685242753471787318333475272683/10879671517299058131974\ 86587942553680000*c_0101_5^12 + 45135811623257349506466235647965593\ 20515186209/747977416814310246573272029210505655000000*c_0101_5^10 + 10349421264787980173283355138083232691442199313/7479774168143102465\ 73272029210505655000000*c_0101_5^8 + 5744423485132931790734327724337605454747883217/49865161120954016438\ 2181352807003770000000*c_0101_5^6 - 2001515679066338095214560480121191426587901233/24932580560477008219\ 1090676403501885000000*c_0101_5^4 + 32585366111067610111972741688622271313877787/1359958939662382266496\ 85823492819210000000*c_0101_5^2 + 605408403668419050429982984047696\ 64695005041/299190966725724098629308811684202262000000, c_0011_0 - 1, c_0011_1 + 1891858910107043684925205610017/1769052279235619208451197703\ 9716320*c_0101_5^20 - 23621383838892726898638641034603/884526139617\ 8096042255988519858160*c_0101_5^18 - 641619012870552366016456287367453/353810455847123841690239540794326\ 4*c_0101_5^16 - 4823179808989967755978588811795697/1769052279235619\ 208451197703971632*c_0101_5^14 - 6398355956663090826856578176434994\ 7/3538104558471238416902395407943264*c_0101_5^12 - 627131156431638825820717274300558689/884526139617809604225598851985\ 8160*c_0101_5^10 - 1493114489126387909062378344390942081/8845261396\ 178096042255988519858160*c_0101_5^8 - 2900288385824851692350065633428444893/17690522792356192084511977039\ 716320*c_0101_5^6 + 93544137210410247475155373174273897/17690522792\ 35619208451197703971632*c_0101_5^4 + 17468616081401301838256017692977449/3538104558471238416902395407943\ 264*c_0101_5^2 - 110681071597146085150267569259639/3538104558471238\ 416902395407943264, c_0011_4 + 539740101386266803202730428701/70762091169424768338047908158\ 86528*c_0101_5^20 - 33627504435587265038597322295213/17690522792356\ 192084511977039716320*c_0101_5^18 - 4579246017101084812927895279984053/35381045584712384169023954079432\ 640*c_0101_5^16 - 34522093335384078099166833567135841/1769052279235\ 6192084511977039716320*c_0101_5^14 - 92104549870761908843811884622707979/7076209116942476833804790815886\ 528*c_0101_5^12 - 182134083080640209400367113136562695/353810455847\ 1238416902395407943264*c_0101_5^10 - 2200026521063602050949826006043246163/17690522792356192084511977039\ 716320*c_0101_5^8 - 905131711600088919844783497630754333/7076209116\ 942476833804790815886528*c_0101_5^6 + 79454800793889725030300347363475421/3538104558471238416902395407943\ 264*c_0101_5^4 + 39098872764512752003293363449685069/35381045584712\ 384169023954079432640*c_0101_5^2 - 793290605257950069433224554969755/707620911694247683380479081588652\ 8, c_0101_0 - 10564123773535005488989677196131/353810455847123841690239540\ 79432640*c_0101_5^21 + 130257471032794746191854068873107/1769052279\ 2356192084511977039716320*c_0101_5^19 + 17995536407188848301155542642441767/3538104558471238416902395407943\ 2640*c_0101_5^17 + 27491620941948147557671671734772415/353810455847\ 1238416902395407943264*c_0101_5^15 + 374234486267007606628488945610887793/707620911694247683380479081588\ 6528*c_0101_5^13 + 3786609356829595325050570453605149557/1769052279\ 2356192084511977039716320*c_0101_5^11 + 9470471471124214124873060296286678661/17690522792356192084511977039\ 716320*c_0101_5^9 + 21722860059323917286250309712979442843/35381045\ 584712384169023954079432640*c_0101_5^7 + 304175046548705703319897447854552453/176905227923561920845119770397\ 16320*c_0101_5^5 - 260672612950060902905760424663700107/70762091169\ 42476833804790815886528*c_0101_5^3 - 8972805187955469958038240838345543/70762091169424768338047908158865\ 28*c_0101_5, c_0101_1 + 3148565424284837504849053050701/3538104558471238416902395407\ 9432640*c_0101_5^20 - 39277732750920118688389384631781/176905227923\ 56192084511977039716320*c_0101_5^18 - 5340905337984990969079853274920793/35381045584712384169023954079432\ 640*c_0101_5^16 - 8038703937885136386279338901293089/35381045584712\ 38416902395407943264*c_0101_5^14 - 106828732467483132746076674485346719/707620911694247683380479081588\ 6528*c_0101_5^12 - 1049373880419185029492126218722601987/1769052279\ 2356192084511977039716320*c_0101_5^10 - 501653450935546738447964298911009783/353810455847123841690239540794\ 3264*c_0101_5^8 - 989563669425121598906685797214182817/707620911694\ 2476833804790815886528*c_0101_5^6 + 700779716783307967464245128865722053/176905227923561920845119770397\ 16320*c_0101_5^4 + 16239409009326753479631735387508197/707620911694\ 2476833804790815886528*c_0101_5^2 + 4222543558279274507887311257710297/70762091169424768338047908158865\ 28, c_0101_3 - 11469517527567598015969842871/176905227923561920845119770397\ 16320*c_0101_5^20 - 13579319976174260158669191981/88452613961780960\ 42255988519858160*c_0101_5^18 + 27378876240259463799428435482403/17\ 690522792356192084511977039716320*c_0101_5^16 + 410580017855065673259888810155383/884526139617809604225598851985816\ 0*c_0101_5^14 + 1956000309654867787716238146137261/3538104558471238\ 416902395407943264*c_0101_5^12 + 2945180561442431454050783384628959\ 7/8845261396178096042255988519858160*c_0101_5^10 + 109593546993632479385898355524809293/884526139617809604225598851985\ 8160*c_0101_5^8 + 496196720467678960125448125855065127/176905227923\ 56192084511977039716320*c_0101_5^6 + 237590128492905845177107485240327721/884526139617809604225598851985\ 8160*c_0101_5^4 - 61464387261406089233389719451830587/1769052279235\ 6192084511977039716320*c_0101_5^2 - 496919437309908410279464532085235/353810455847123841690239540794326\ 4, c_0101_5^22 - 25*c_0101_5^20 - 1695*c_0101_5^18 - 25447*c_0101_5^16 - 168425*c_0101_5^14 - 658829*c_0101_5^12 - 1563628*c_0101_5^10 - 1503303*c_0101_5^8 + 505569*c_0101_5^6 + 6079*c_0101_5^4 - 890*c_0101_5^2 - 375 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB