Magma V2.19-8 Tue Aug 20 2013 16:18:40 on localhost [Seed = 3684320983] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2842 geometric_solution 6.06456304 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 1 0 -1 -1 0 1 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.309055296106 0.439334677719 3 2 4 0 0132 3012 0132 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 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.439510421088 0.966414143604 1 5 0 4 1230 0132 0132 2310 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 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.439510421088 0.966414143604 1 4 5 6 0132 0213 0132 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 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.094295089383 0.939194018761 2 5 3 1 3201 2031 0213 0132 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 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.854798968377 0.617536568145 4 2 6 3 1302 0132 2310 0132 0 0 0 0 0 1 -1 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 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.094295089383 0.939194018761 6 5 3 6 3012 3201 0132 1230 0 0 0 0 0 -1 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 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.619995201335 0.929710123674 ==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' : 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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 460331180828344149113233/56584524355892461866729*c_0101_1^12 + 8623175097692752354405628/56584524355892461866729*c_0101_1^11 - 5210742984917162515593216/18861508118630820622243*c_0101_1^10 - 52772003221849646473629013/18861508118630820622243*c_0101_1^9 - 9460279335319465505437327/5144047668717496533339*c_0101_1^8 + 60759597067542119345589011/5144047668717496533339*c_0101_1^7 - 355366897933898315692777531/56584524355892461866729*c_0101_1^6 + 77358896207588052116267961/18861508118630820622243*c_0101_1^5 - 78270862401694370870951927/18861508118630820622243*c_0101_1^4 - 4478015890331411957398436/18861508118630820622243*c_0101_1^3 + 2227113821561232986659900/18861508118630820622243*c_0101_1^2 - 141026373855552784610623/5144047668717496533339*c_0101_1 + 17344296405844041966839416/56584524355892461866729, c_0011_0 - 1, c_0011_1 + 5767660505376650580/1714682556239165511113*c_0101_1^12 + 77166224701037173275/1714682556239165511113*c_0101_1^11 - 786196730350343027786/1714682556239165511113*c_0101_1^10 - 1163905775460072913427/1714682556239165511113*c_0101_1^9 + 9614735521722027935046/1714682556239165511113*c_0101_1^8 + 19503448362180237808875/1714682556239165511113*c_0101_1^7 - 44577460910412568519650/1714682556239165511113*c_0101_1^6 + 13148928957712880791393/1714682556239165511113*c_0101_1^5 - 14488767268280744276430/1714682556239165511113*c_0101_1^4 + 3211337404997863546664/1714682556239165511113*c_0101_1^3 + 4673768189936651160418/1714682556239165511113*c_0101_1^2 + 1603927346992961933125/1714682556239165511113*c_0101_1 + 1242414144515041722253/1714682556239165511113, c_0011_2 + 5767660505376650580/1714682556239165511113*c_0101_1^12 + 77166224701037173275/1714682556239165511113*c_0101_1^11 - 786196730350343027786/1714682556239165511113*c_0101_1^10 - 1163905775460072913427/1714682556239165511113*c_0101_1^9 + 9614735521722027935046/1714682556239165511113*c_0101_1^8 + 19503448362180237808875/1714682556239165511113*c_0101_1^7 - 44577460910412568519650/1714682556239165511113*c_0101_1^6 + 13148928957712880791393/1714682556239165511113*c_0101_1^5 - 14488767268280744276430/1714682556239165511113*c_0101_1^4 + 3211337404997863546664/1714682556239165511113*c_0101_1^3 + 4673768189936651160418/1714682556239165511113*c_0101_1^2 + 1603927346992961933125/1714682556239165511113*c_0101_1 + 1242414144515041722253/1714682556239165511113, c_0011_4 + 38862976805644401869/1714682556239165511113*c_0101_1^12 + 761049064122953605018/1714682556239165511113*c_0101_1^11 - 675619463913400702992/1714682556239165511113*c_0101_1^10 - 14002806814144707246433/1714682556239165511113*c_0101_1^9 - 20703393515991654788162/1714682556239165511113*c_0101_1^8 + 39980125097706528889941/1714682556239165511113*c_0101_1^7 + 6815616123863056646203/1714682556239165511113*c_0101_1^6 + 23798196511280901976737/1714682556239165511113*c_0101_1^5 - 4436026881504260247872/1714682556239165511113*c_0101_1^4 - 7315495364925299619496/1714682556239165511113*c_0101_1^3 - 3643424018373223146917/1714682556239165511113*c_0101_1^2 - 1956633835777855180757/1714682556239165511113*c_0101_1 - 949863579495263826012/1714682556239165511113, c_0011_6 - 5558279812511605485/1714682556239165511113*c_0101_1^12 - 133056954305792600274/1714682556239165511113*c_0101_1^11 - 373452386269540384623/1714682556239165511113*c_0101_1^10 + 2511916324308426091324/1714682556239165511113*c_0101_1^9 + 11798040921572727328476/1714682556239165511113*c_0101_1^8 + 5451590347849892959000/1714682556239165511113*c_0101_1^7 - 31526484200652058662958/1714682556239165511113*c_0101_1^6 - 6557140802646164643678/1714682556239165511113*c_0101_1^5 + 1543405379322273144477/1714682556239165511113*c_0101_1^4 + 4809638052759860115929/1714682556239165511113*c_0101_1^3 + 2387315093287321756330/1714682556239165511113*c_0101_1^2 - 77532334811869950857/1714682556239165511113*c_0101_1 - 333768460110891868608/1714682556239165511113, c_0101_0 - 85697893868998881300/1714682556239165511113*c_0101_1^12 - 1635482037885054948999/1714682556239165511113*c_0101_1^11 + 2344069639083466763876/1714682556239165511113*c_0101_1^10 + 30463258457708585783618/1714682556239165511113*c_0101_1^9 + 29668520923050780095693/1714682556239165511113*c_0101_1^8 - 117171224456254123218562/1714682556239165511113*c_0101_1^7 + 24984997617009575483618/1714682556239165511113*c_0101_1^6 - 15935352951498805871840/1714682556239165511113*c_0101_1^5 + 27493169885158288439515/1714682556239165511113*c_0101_1^4 + 5940750355486143474425/1714682556239165511113*c_0101_1^3 - 1176252780218645819505/1714682556239165511113*c_0101_1^2 - 785913276466907764312/1714682556239165511113*c_0101_1 - 1555716989348397725018/1714682556239165511113, c_0101_1^13 + 19*c_0101_1^12 - 29*c_0101_1^11 - 354*c_0101_1^10 - 317*c_0101_1^9 + 1410*c_0101_1^8 - 359*c_0101_1^7 + 238*c_0101_1^6 - 381*c_0101_1^5 - 186*c_0101_1^4 + 21*c_0101_1^3 + 7*c_0101_1^2 + 42*c_0101_1 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB