Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 2227509743] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3190 geometric_solution 6.34050624 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 -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 0 0 0 0 0 0 0 0 0 0 0.989728067393 0.751395468197 0 5 2 6 0132 0132 1230 0132 0 0 0 0 0 1 0 -1 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 -1 -1 2 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.512938021726 0.739742525722 5 0 6 1 2310 0132 0132 3012 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 -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.512938021726 0.739742525722 6 4 4 0 0132 3012 1230 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.764058974843 0.640719423859 3 6 0 3 1230 0132 0132 3012 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 -2 1 1 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.764058974843 0.640719423859 5 1 2 5 3012 0132 3201 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 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.181162698092 0.831489477774 3 4 1 2 0132 0132 0132 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 2 -2 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 1.605113672728 0.661515083040 ==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' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 21886039401391618468996/354531483424172266963*c_1001_2^18 + 26403825830442727596964/354531483424172266963*c_1001_2^17 - 299508251898367852948004/354531483424172266963*c_1001_2^16 + 247230744057340968649864/354531483424172266963*c_1001_2^15 + 1915108727303984156696954/354531483424172266963*c_1001_2^14 - 4173868597064035065632210/354531483424172266963*c_1001_2^13 - 1913678638159866203513771/354531483424172266963*c_1001_2^12 + 16240682154879224999586444/354531483424172266963*c_1001_2^11 - 18694807566652375766554444/354531483424172266963*c_1001_2^10 - 5347023825197580369934279/354531483424172266963*c_1001_2^9 + 30518087218826171182358946/354531483424172266963*c_1001_2^8 - 21087288060949300750209828/354531483424172266963*c_1001_2^7 - 10184911457994952752261337/354531483424172266963*c_1001_2^6 + 20666990066417361683755934/354531483424172266963*c_1001_2^5 - 5791776525694988762466874/354531483424172266963*c_1001_2^4 - 5713629880796496710839518/354531483424172266963*c_1001_2^3 + 4268852051102795191817131/354531483424172266963*c_1001_2^2 - 443618176185496675936644/354531483424172266963*c_1001_2 - 225839427150177899348762/354531483424172266963, c_0011_0 - 1, c_0011_3 + 16844667407620437765/354531483424172266963*c_1001_2^18 + 24881507294214632592/354531483424172266963*c_1001_2^17 - 234617261825753489656/354531483424172266963*c_1001_2^16 + 109337303719469150872/354531483424172266963*c_1001_2^15 + 1643391890978055387121/354531483424172266963*c_1001_2^14 - 2832198042451435931742/354531483424172266963*c_1001_2^13 - 3188802574635138474312/354531483424172266963*c_1001_2^12 + 13264318432803993643770/354531483424172266963*c_1001_2^11 - 9303559508042818221594/354531483424172266963*c_1001_2^10 - 13530989613637252418566/354531483424172266963*c_1001_2^9 + 25985600432923354169952/354531483424172266963*c_1001_2^8 - 5529848870346087876967/354531483424172266963*c_1001_2^7 - 19951286285194922822523/354531483424172266963*c_1001_2^6 + 15325458962220035698853/354531483424172266963*c_1001_2^5 + 4212052221406951057644/354531483424172266963*c_1001_2^4 - 8021679961523315488461/354531483424172266963*c_1001_2^3 + 1342821320615669534593/354531483424172266963*c_1001_2^2 + 1359407336150530600404/354531483424172266963*c_1001_2 - 363140690157703007959/354531483424172266963, c_0101_0 + c_1001_2, c_0101_1 - 66252325059627495649/354531483424172266963*c_1001_2^18 - 79800949742915530445/354531483424172266963*c_1001_2^17 + 911142236670822971843/354531483424172266963*c_1001_2^16 - 736386345732410966712/354531483424172266963*c_1001_2^15 - 5842728070187267028713/354531483424172266963*c_1001_2^14 + 12577303551405385188043/354531483424172266963*c_1001_2^13 + 6200349630453524064834/354531483424172266963*c_1001_2^12 - 49205055924858309348122/354531483424172266963*c_1001_2^11 + 54944484093649923970823/354531483424172266963*c_1001_2^10 + 17845441306882406964561/354531483424172266963*c_1001_2^9 - 90192014959100982902535/354531483424172266963*c_1001_2^8 + 58532841971578955447733/354531483424172266963*c_1001_2^7 + 32260630081976225476542/354531483424172266963*c_1001_2^6 - 57753816009651080526411/354531483424172266963*c_1001_2^5 + 13850879825723554256109/354531483424172266963*c_1001_2^4 + 15770599547820699435879/354531483424172266963*c_1001_2^3 - 10856748037399909652939/354531483424172266963*c_1001_2^2 + 1630530599360114292724/354531483424172266963*c_1001_2 + 227947055726166875081/354531483424172266963, c_0101_2 + 10213770437295513170/354531483424172266963*c_1001_2^18 - 14451745796277849749/354531483424172266963*c_1001_2^17 - 184790857387932207717/354531483424172266963*c_1001_2^16 + 458120920200648799205/354531483424172266963*c_1001_2^15 + 752767868005952079835/354531483424172266963*c_1001_2^14 - 4323293106118704980892/354531483424172266963*c_1001_2^13 + 3043197588075123120023/354531483424172266963*c_1001_2^12 + 11592424299579872185271/354531483424172266963*c_1001_2^11 - 26125242298810606105595/354531483424172266963*c_1001_2^10 + 12165112245479791259169/354531483424172266963*c_1001_2^9 + 25792240112854561286580/354531483424172266963*c_1001_2^8 - 38946200557866420476416/354531483424172266963*c_1001_2^7 + 7451672284179662227683/354531483424172266963*c_1001_2^6 + 23974558013116939821636/354531483424172266963*c_1001_2^5 - 18087717285152094490835/354531483424172266963*c_1001_2^4 - 1732983444043742396934/354531483424172266963*c_1001_2^3 + 6665401860146465807397/354531483424172266963*c_1001_2^2 - 2480592755331575973587/354531483424172266963*c_1001_2 - 70424197716258994601/354531483424172266963, c_0101_5 + 12159096103091460628/354531483424172266963*c_1001_2^18 + 29911066687144231953/354531483424172266963*c_1001_2^17 - 132215579722614247209/354531483424172266963*c_1001_2^16 - 27590474018124513364/354531483424172266963*c_1001_2^15 + 1078707688630900956069/354531483424172266963*c_1001_2^14 - 1080915952043764256762/354531483424172266963*c_1001_2^13 - 2651324651716396015967/354531483424172266963*c_1001_2^12 + 6828728745648344348888/354531483424172266963*c_1001_2^11 - 2576855910492946202979/354531483424172266963*c_1001_2^10 - 9498518990249667265145/354531483424172266963*c_1001_2^9 + 12282017612519286802310/354531483424172266963*c_1001_2^8 + 919322720177978130189/354531483424172266963*c_1001_2^7 - 12803060084968260926150/354531483424172266963*c_1001_2^6 + 7176408340871713614519/354531483424172266963*c_1001_2^5 + 4405968800920354417615/354531483424172266963*c_1001_2^4 - 5927897960844875111868/354531483424172266963*c_1001_2^3 + 478218423680420827531/354531483424172266963*c_1001_2^2 + 1579967388105588249122/354531483424172266963*c_1001_2 - 339090276903842775823/354531483424172266963, c_1001_2^19 + c_1001_2^18 - 14*c_1001_2^17 + 14*c_1001_2^16 + 86*c_1001_2^15 - 209*c_1001_2^14 - 54*c_1001_2^13 + 769*c_1001_2^12 - 996*c_1001_2^11 - 110*c_1001_2^10 + 1475*c_1001_2^9 - 1216*c_1001_2^8 - 337*c_1001_2^7 + 1060*c_1001_2^6 - 416*c_1001_2^5 - 242*c_1001_2^4 + 244*c_1001_2^3 - 46*c_1001_2^2 - 10*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB