Magma V2.19-8 Tue Aug 20 2013 16:16:54 on localhost [Seed = 1275973777] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1152 geometric_solution 5.02949448 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 -1 0 1 1 0 0 -1 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 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.392689847821 1.269474053569 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 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.349420960036 0.141769834669 3 1 4 5 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777609815024 0.718935238998 4 5 2 1 0132 0132 1302 0132 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 1 -1 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.777609815024 0.718935238998 3 4 4 2 0132 3201 2310 0132 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 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.222390184976 0.718935238998 6 3 2 6 0132 0132 0132 1023 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 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.015345100816 0.343426443361 5 6 6 5 0132 3201 2310 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 1 -1 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 1.147669549297 0.230770532998 ==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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0011_1'], 'c_0101_2' : d['c_0011_1'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_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_3, c_0101_0, c_0101_5, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 279081700404047913487814/1003792054970791806015625*c_1001_1^17 + 9399081888560478544017551/2007584109941583612031250*c_1001_1^15 - 7663149716345387724307042/200758410994158361203125*c_1001_1^13 + 147305084636427829430101483/2007584109941583612031250*c_1001_1^11 + 209762158283351761950320751/1003792054970791806015625*c_1001_1^9 + 134395893486242296429555854/1003792054970791806015625*c_1001_1^7 - 5836481219673964067161923671/1003792054970791806015625*c_1001_1^5 + 14349146060220647211841074713/2007584109941583612031250*c_1001_1^3 - 1075258413775550741181081713/1003792054970791806015625*c_1001_1, c_0011_0 - 1, c_0011_1 + 37969580022089/4425951878617339*c_1001_1^16 - 639091057042888/4425951878617339*c_1001_1^14 + 5207887136398194/4425951878617339*c_1001_1^12 - 9979501058864119/4425951878617339*c_1001_1^10 - 28619403778466321/4425951878617339*c_1001_1^8 - 18575022843740284/4425951878617339*c_1001_1^6 + 794068964208831069/4425951878617339*c_1001_1^4 - 970804869841691508/4425951878617339*c_1001_1^2 + 140510048833362014/4425951878617339, c_0011_3 - 667646610987709847/64242691518130675585*c_1001_1^17 + 11233931045714556099/64242691518130675585*c_1001_1^15 - 18302234911263830370/12848538303626135117*c_1001_1^13 + 174937154747965026982/64242691518130675585*c_1001_1^11 + 504531823929573334143/64242691518130675585*c_1001_1^9 + 328070442620083540842/64242691518130675585*c_1001_1^7 - 13963097560462010825038/64242691518130675585*c_1001_1^5 + 16972672736642072858662/64242691518130675585*c_1001_1^3 - 2312459637222256554064/64242691518130675585*c_1001_1, c_0101_0 + 1556485039969301/110648796965433475*c_1001_1^17 - 26204026222919042/110648796965433475*c_1001_1^15 + 42719286650180708/22129759393086695*c_1001_1^13 - 410041566073865561/110648796965433475*c_1001_1^11 - 1170577236744016459/110648796965433475*c_1001_1^9 - 756582327386271861/110648796965433475*c_1001_1^7 + 32545391859609692439/110648796965433475*c_1001_1^5 - 39895448405616761171/110648796965433475*c_1001_1^3 + 6007106585847682967/110648796965433475*c_1001_1, c_0101_5 + 1948488100392445488/64242691518130675585*c_1001_1^17 - 32793337334237343516/64242691518130675585*c_1001_1^15 + 53442997229575770553/12848538303626135117*c_1001_1^13 - 511832614352620332358/64242691518130675585*c_1001_1^11 - 1468767662797201603132/64242691518130675585*c_1001_1^9 - 952589831613443804408/64242691518130675585*c_1001_1^7 + 40737431935915036230072/64242691518130675585*c_1001_1^5 - 49729792167211105876718/64242691518130675585*c_1001_1^3 + 7145178471367476116971/64242691518130675585*c_1001_1, c_0101_6 + 1775139901583489169/64242691518130675585*c_1001_1^17 - 29863775334999422538/64242691518130675585*c_1001_1^15 + 48649066119906390951/12848538303626135117*c_1001_1^13 - 464747151990276445314/64242691518130675585*c_1001_1^11 - 1340417716129365358206/64242691518130675585*c_1001_1^9 - 878161174578042420624/64242691518130675585*c_1001_1^7 + 37101138691177481277866/64242691518130675585*c_1001_1^5 - 45045419387239463194034/64242691518130675585*c_1001_1^3 + 6320972269110446352203/64242691518130675585*c_1001_1, c_1001_1^18 - 17*c_1001_1^16 + 140*c_1001_1^14 - 286*c_1001_1^12 - 709*c_1001_1^10 - 361*c_1001_1^8 + 20989*c_1001_1^6 - 29071*c_1001_1^4 + 8017*c_1001_1^2 - 625 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB