Magma V2.19-8 Tue Aug 20 2013 16:16:15 on localhost [Seed = 2463305296] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0511 geometric_solution 4.51742167 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2310 0132 3201 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 0.515884998193 0.032095634221 2 0 2 0 0132 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.783164419991 0.343806884531 1 1 3 3 0132 3201 0132 2310 0 0 0 0 0 0 -1 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 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 3.903196108902 3.308109432358 2 4 5 2 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -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 -1 1 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.058567249681 0.510254333506 5 3 6 5 2310 0132 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202307273268 0.836653464661 6 4 4 3 2310 1302 3201 0132 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 0 0 0 -1 0 0 1 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.202307273268 0.836653464661 6 6 5 4 1302 2031 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596940141650 0.626095764659 ==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' : negation(d['1']), 's_3_4' : negation(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' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_2']})} 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_0011_6, c_0101_0, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 3032424317612637309335/36222580880117263004*c_0101_4^15 + 511566964430814630257/18111290440058631502*c_0101_4^14 - 10678605483558546868854/9055645220029315751*c_0101_4^13 + 3606113411833562685472/9055645220029315751*c_0101_4^12 - 55225684317907053369831/36222580880117263004*c_0101_4^11 - 281711149824465866640515/18111290440058631502*c_0101_4^10 + 362660703579422788939991/18111290440058631502*c_0101_4^9 + 768257447087411135674297/18111290440058631502*c_0101_4^8 - 527901906526778781435573/36222580880117263004*c_0101_4^7 - 1476732151271180958492543/18111290440058631502*c_0101_4^6 + 457297092966360340848310/9055645220029315751*c_0101_4^5 + 414503171083755366149705/18111290440058631502*c_0101_4^4 - 232337282304666776625043/9055645220029315751*c_0101_4^3 + 159614032539394130756513/36222580880117263004*c_0101_4^2 + 67302306801981409019317/36222580880117263004*c_0101_4 - 5520412287111458270748/9055645220029315751, c_0011_0 - 1, c_0011_3 + 994095619684873604/9055645220029315751*c_0101_4^15 + 1815743559812399394/9055645220029315751*c_0101_4^14 + 15055060295665869578/9055645220029315751*c_0101_4^13 + 26373759809866794739/9055645220029315751*c_0101_4^12 + 33539678527672358412/9055645220029315751*c_0101_4^11 + 235628197908126471904/9055645220029315751*c_0101_4^10 + 203397619985975082952/9055645220029315751*c_0101_4^9 - 655504663701309272890/9055645220029315751*c_0101_4^8 - 1056641994432123253612/9055645220029315751*c_0101_4^7 + 328895650182860205082/9055645220029315751*c_0101_4^6 + 1002701632585632043459/9055645220029315751*c_0101_4^5 - 217527284082672170154/9055645220029315751*c_0101_4^4 - 283933857055652292341/9055645220029315751*c_0101_4^3 + 115796651083125601186/9055645220029315751*c_0101_4^2 + 18988039336494338250/9055645220029315751*c_0101_4 - 5752938037523161876/9055645220029315751, c_0011_5 + 3302343068152622616/9055645220029315751*c_0101_2*c_0101_4^15 + 663863796465819844/9055645220029315751*c_0101_2*c_0101_4^14 + 47259280842376453083/9055645220029315751*c_0101_2*c_0101_4^13 + 9993417269484072212/9055645220029315751*c_0101_2*c_0101_4^12 + 71141278190942863489/9055645220029315751*c_0101_2*c_0101_4^11 + 655651489489766839762/9055645220029315751*c_0101_2*c_0101_4^10 - 427041017669956882262/9055645220029315751*c_0101_2*c_0101_4^9 - 1822131830569754058168/9055645220029315751*c_0101_2*c_0101_4^8 - 418992088659988949068/9055645220029315751*c_0101_2*c_0101_4^7 + 2769048364049453127878/9055645220029315751*c_0101_2*c_0101_4^6 - 649400245814033279288/9055645220029315751*c_0101_2*c_0101_4^5 - 997072779659445932444/9055645220029315751*c_0101_2*c_0101_4^4 + 520344262446397384569/9055645220029315751*c_0101_2*c_0101_4^3 + 21540642871345877389/9055645220029315751*c_0101_2*c_0101_4^2 - 52614697744505902296/9055645220029315751*c_0101_2*c_0101_4 + 2966076084311543037/9055645220029315751*c_0101_2, c_0011_6 + 7694570581206733030/9055645220029315751*c_0101_2*c_0101_4^15 + 3323239920713475975/9055645220029315751*c_0101_2*c_0101_4^14 + 111545792361396246338/9055645220029315751*c_0101_2*c_0101_4^13 + 49306887078090660263/9055645220029315751*c_0101_2*c_0101_4^12 + 186641198425397310835/9055645220029315751*c_0101_2*c_0101_4^11 + 1574605850702822532160/9055645220029315751*c_0101_2*c_0101_4^10 - 617136999985377244352/9055645220029315751*c_0101_2*c_0101_4^9 - 4255548334159722612325/9055645220029315751*c_0101_2*c_0101_4^8 - 2019142855653773367834/9055645220029315751*c_0101_2*c_0101_4^7 + 5595110002900213478068/9055645220029315751*c_0101_2*c_0101_4^6 - 407899100458390612008/9055645220029315751*c_0101_2*c_0101_4^5 - 1865552395205726195788/9055645220029315751*c_0101_2*c_0101_4^4 + 827509521815033436522/9055645220029315751*c_0101_2*c_0101_4^3 + 36168988373078307954/9055645220029315751*c_0101_2*c_0101_4^2 - 74062266128212734810/9055645220029315751*c_0101_2*c_0101_4 + 9675440330562805375/9055645220029315751*c_0101_2, c_0101_0 - 6932522822626771243/9055645220029315751*c_0101_2*c_0101_4^15 + 447884061689339216/9055645220029315751*c_0101_2*c_0101_4^14 - 99700448059474780331/9055645220029315751*c_0101_2*c_0101_4^13 + 4530374623629085929/9055645220029315751*c_0101_2*c_0101_4^12 - 156556395679636194600/9055645220029315751*c_0101_2*c_0101_4^11 - 1349111629953865751238/9055645220029315751*c_0101_2*c_0101_4^10 + 1236657185508578670476/9055645220029315751*c_0101_2*c_0101_4^9 + 3399100392102426414465/9055645220029315751*c_0101_2*c_0101_4^8 - 166665257389673032688/9055645220029315751*c_0101_2*c_0101_4^7 - 5554192493365458398011/9055645220029315751*c_0101_2*c_0101_4^6 + 3409145205618933046540/9055645220029315751*c_0101_2*c_0101_4^5 + 1282843709959202103772/9055645220029315751*c_0101_2*c_0101_4^4 - 1924172695555655154641/9055645220029315751*c_0101_2*c_0101_4^3 + 418785485830015495644/9055645220029315751*c_0101_2*c_0101_4^2 + 130240743828632572363/9055645220029315751*c_0101_2*c_0101_4 - 59344966855749863097/9055645220029315751*c_0101_2, c_0101_2^2 - 1189927517587049293/18111290440058631502*c_0101_4^15 - 1226818923851946505/9055645220029315751*c_0101_4^14 - 9048333071188536651/9055645220029315751*c_0101_4^13 - 17752264602654631452/9055645220029315751*c_0101_4^12 - 41236074528736932425/18111290440058631502*c_0101_4^11 - 143495522984278580805/9055645220029315751*c_0101_4^10 - 149478710628414856265/9055645220029315751*c_0101_4^9 + 409501364351690904903/9055645220029315751*c_0101_4^8 + 1438075114663344636593/18111290440058631502*c_0101_4^7 - 176831408535579976253/9055645220029315751*c_0101_4^6 - 737360180167951619161/9055645220029315751*c_0101_4^5 + 135696467219490183766/9055645220029315751*c_0101_4^4 + 235876610532059505460/9055645220029315751*c_0101_4^3 - 187528820628885413489/18111290440058631502*c_0101_4^2 - 30644741950780093669/18111290440058631502*c_0101_4 + 2979725664914344572/9055645220029315751, c_0101_4^16 + 14*c_0101_4^14 + 17*c_0101_4^12 + 192*c_0101_4^11 - 176*c_0101_4^10 - 582*c_0101_4^9 - c_0101_4^8 + 1016*c_0101_4^7 - 278*c_0101_4^6 - 450*c_0101_4^5 + 212*c_0101_4^4 + 41*c_0101_4^3 - 37*c_0101_4^2 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB