Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 2395935669] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2356 geometric_solution 5.72951758 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.875936660011 1.667813023441 0 3 5 2 0132 1230 0132 0132 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 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.197464587169 0.662919519128 4 0 1 5 3012 0132 0132 2310 0 0 0 0 0 0 0 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 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.197464587169 0.662919519128 4 4 1 0 1023 2031 3012 0132 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 1 0 -1 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 0.549278795863 0.535939451375 3 3 0 2 1302 1023 0132 1230 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 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.549278795863 0.535939451375 2 6 6 1 3201 0132 1023 0132 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 0 0 0 -0.003563075242 0.802011564378 6 5 5 6 3201 0132 1023 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 0 0 0 0 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.729837288944 0.506912668789 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : 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' : 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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0101_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0101_3']})} 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_3, c_0011_5, c_0101_0, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 249060766585682434154549811845800761373/212018261609994509933087649\ 79749972*c_0101_6^14 + 530171922727559756644739181692250103233/7067\ 275386999816997769588326583324*c_0101_6^13 - 7640039153776599539521885819752022537991/21201826160999450993308764\ 979749972*c_0101_6^12 + 16443177163553997068618908545177926974925/2\ 1201826160999450993308764979749972*c_0101_6^11 - 13463133784357789680208524443032271284135/7067275386999816997769588\ 326583324*c_0101_6^10 + 19651623098860125832478891000094427768493/1\ 0600913080499725496654382489874986*c_0101_6^9 + 3981913115504938325507572823909448914289/17668188467499542494423970\ 81645831*c_0101_6^8 - 14839268759953001584458115157360153835843/353\ 3637693499908498884794163291662*c_0101_6^7 + 21788555369969099547309346660987248771997/7067275386999816997769588\ 326583324*c_0101_6^6 - 28886209283965268347528572739272073931645/21\ 201826160999450993308764979749972*c_0101_6^5 + 7677228792427203702782530488321726268027/21201826160999450993308764\ 979749972*c_0101_6^4 - 74734891433261925933112309532368318661/21201\ 826160999450993308764979749972*c_0101_6^3 + 30050552613230384026026666819406179407/2120182616099945099330876497\ 9749972*c_0101_6^2 - 35679716421866448398610307931973806291/2120182\ 6160999450993308764979749972*c_0101_6 + 131847930295949023657517240599393033349/212018261609994509933087649\ 79749972, c_0011_0 - 1, c_0011_3 - 60946698377026140389127408260838/176681884674995424944239708\ 1645831*c_0101_6^14 - 49023288488165086556833010311526/176681884674\ 9954249442397081645831*c_0101_6^13 + 4009422513010720668059589223582302/17668188467499542494423970816458\ 31*c_0101_6^12 - 14906996570434784747848123567754104/17668188467499\ 54249442397081645831*c_0101_6^11 + 31693838419566715301162047434918875/1766818846749954249442397081645\ 831*c_0101_6^10 - 60361299146113070689362586250421559/1766818846749\ 954249442397081645831*c_0101_6^9 + 34801197528655032010218303198572237/1766818846749954249442397081645\ 831*c_0101_6^8 + 113999769098650098845024372057027083/1766818846749\ 954249442397081645831*c_0101_6^7 - 164476649700957783707723319027661216/176681884674995424944239708164\ 5831*c_0101_6^6 + 48144335823058089425892603770657078/1766818846749\ 954249442397081645831*c_0101_6^5 + 10323223463399104177876154797448966/1766818846749954249442397081645\ 831*c_0101_6^4 - 15027173536680696072522317577305712/17668188467499\ 54249442397081645831*c_0101_6^3 + 410542692145157415145592064137470\ 9/1766818846749954249442397081645831*c_0101_6^2 + 682461769705447599620670904124583/176681884674995424944239708164583\ 1*c_0101_6 - 1049627546173414759927763740638331/1766818846749954249\ 442397081645831, c_0011_5 + 2996649448155302579536082638822651/3533637693499908498884794\ 163291662*c_0101_6^14 + 17755691992239200594028095067015965/3533637\ 693499908498884794163291662*c_0101_6^13 - 101718242501452043961080655310508591/353363769349990849888479416329\ 1662*c_0101_6^12 + 233697585612997087292336806063215079/35336376934\ 99908498884794163291662*c_0101_6^11 - 548999623528346714887891001242428789/353363769349990849888479416329\ 1662*c_0101_6^10 + 320639101163210698604138192024107415/17668188467\ 49954249442397081645831*c_0101_6^9 + 248308718610049434868233044397074045/176681884674995424944239708164\ 5831*c_0101_6^8 - 722757424549737258916880908490435787/176681884674\ 9954249442397081645831*c_0101_6^7 + 1049979713275877691627625686219017649/35336376934999084988847941632\ 91662*c_0101_6^6 - 423193964818547858727497944342814089/35336376934\ 99908498884794163291662*c_0101_6^5 + 106378967768609231435641795581997523/353363769349990849888479416329\ 1662*c_0101_6^4 + 7700247709390085265862339146109565/35336376934999\ 08498884794163291662*c_0101_6^3 - 764370551823524459734086458008131\ 9/3533637693499908498884794163291662*c_0101_6^2 - 617590600164309749566748224766447/353363769349990849888479416329166\ 2*c_0101_6 + 468518068399278894680309681794883/35336376934999084988\ 84794163291662, c_0101_0 - 3607013931725265163838879251385951/3533637693499908498884794\ 163291662*c_0101_6^14 - 23460781009900879421004960363711579/3533637\ 693499908498884794163291662*c_0101_6^13 + 108722414636295612175511826723075477/353363769349990849888479416329\ 1662*c_0101_6^12 - 219593947681732522630319516496240795/35336376934\ 99908498884794163291662*c_0101_6^11 + 534908115182088040969232778344255445/353363769349990849888479416329\ 1662*c_0101_6^10 - 228984898699974265187184428095405271/17668188467\ 49954249442397081645831*c_0101_6^9 - 434256802846154371653740085288832152/176681884674995424944239708164\ 5831*c_0101_6^8 + 641136812945471671114661324540111969/176681884674\ 9954249442397081645831*c_0101_6^7 - 606084662582038283446108789702015887/353363769349990849888479416329\ 1662*c_0101_6^6 + 115127757810557550588445881835181433/353363769349\ 9908498884794163291662*c_0101_6^5 + 49057318939723735937941973200397021/3533637693499908498884794163291\ 662*c_0101_6^4 - 61134272464093813618355937971157009/35336376934999\ 08498884794163291662*c_0101_6^3 + 117172350153363875051925104205094\ 63/3533637693499908498884794163291662*c_0101_6^2 + 1991800604913634631950892036470067/35336376934999084988847941632916\ 62*c_0101_6 - 1223639029308741358500668796345763/353363769349990849\ 8884794163291662, c_0101_3 - 3607013931725265163838879251385951/3533637693499908498884794\ 163291662*c_0101_6^14 - 23460781009900879421004960363711579/3533637\ 693499908498884794163291662*c_0101_6^13 + 108722414636295612175511826723075477/353363769349990849888479416329\ 1662*c_0101_6^12 - 219593947681732522630319516496240795/35336376934\ 99908498884794163291662*c_0101_6^11 + 534908115182088040969232778344255445/353363769349990849888479416329\ 1662*c_0101_6^10 - 228984898699974265187184428095405271/17668188467\ 49954249442397081645831*c_0101_6^9 - 434256802846154371653740085288832152/176681884674995424944239708164\ 5831*c_0101_6^8 + 641136812945471671114661324540111969/176681884674\ 9954249442397081645831*c_0101_6^7 - 606084662582038283446108789702015887/353363769349990849888479416329\ 1662*c_0101_6^6 + 115127757810557550588445881835181433/353363769349\ 9908498884794163291662*c_0101_6^5 + 49057318939723735937941973200397021/3533637693499908498884794163291\ 662*c_0101_6^4 - 61134272464093813618355937971157009/35336376934999\ 08498884794163291662*c_0101_6^3 + 117172350153363875051925104205094\ 63/3533637693499908498884794163291662*c_0101_6^2 + 1991800604913634631950892036470067/35336376934999084988847941632916\ 62*c_0101_6 - 1223639029308741358500668796345763/353363769349990849\ 8884794163291662, c_0101_5 + 739892725854248238636517810796171/17668188467499542494423970\ 81645831*c_0101_6^14 + 4925321985110865277424073311414893/176681884\ 6749954249442397081645831*c_0101_6^13 - 21600147558701084334964451386665978/1766818846749954249442397081645\ 831*c_0101_6^12 + 41517180273640419426201052823460786/1766818846749\ 954249442397081645831*c_0101_6^11 - 101180201714032773948986295233393234/176681884674995424944239708164\ 5831*c_0101_6^10 + 73306522418909649088397939881922272/176681884674\ 9954249442397081645831*c_0101_6^9 + 199806305667763610559785780450066421/176681884674995424944239708164\ 5831*c_0101_6^8 - 248007398659271872112981222552818835/176681884674\ 9954249442397081645831*c_0101_6^7 + 74194429303757117648785867160623239/1766818846749954249442397081645\ 831*c_0101_6^6 + 34979773199664387668146378583178964/17668188467499\ 54249442397081645831*c_0101_6^5 - 196028284162962748152163827125536\ 77/1766818846749954249442397081645831*c_0101_6^4 + 2997231367304702465881180146710257/17668188467499542494423970816458\ 31*c_0101_6^3 + 1089996329970453703745132162864705/1766818846749954\ 249442397081645831*c_0101_6^2 - 2873429379355705414752329604753875/\ 1766818846749954249442397081645831*c_0101_6 + 236824271266836487438709255550577/176681884674995424944239708164583\ 1, c_0101_6^15 + 200/31*c_0101_6^14 - 938/31*c_0101_6^13 + 64*c_0101_6^12 - 4892/31*c_0101_6^11 + 4561/31*c_0101_6^10 + 6272/31*c_0101_6^9 - 10692/31*c_0101_6^8 + 7395/31*c_0101_6^7 - 3056/31*c_0101_6^6 + 726/31*c_0101_6^5 + 48/31*c_0101_6^4 + 4/31*c_0101_6^3 - 4/31*c_0101_6^2 + 16/31*c_0101_6 + 1/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB