Magma V2.19-8 Wed Aug 21 2013 01:01:57 on localhost [Seed = 2227347245] Type ? for help. Type -D to quit. Loading file "L14n13529__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13529 geometric_solution 11.47909734 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 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 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.272671367989 0.643797202164 0 5 7 6 0132 0132 0132 0132 0 1 1 1 0 -1 2 -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 2 -3 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.656169767076 0.706647470804 7 0 4 8 0132 0132 2103 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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.848609459275 1.638237110946 6 9 7 0 0132 0132 3120 0132 1 1 1 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 1 -1 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605508382532 0.428105794235 2 10 0 10 2103 0132 0132 1302 1 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 0 0 0 0 0 0 0 0 0 0 -1 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 0.703005709149 1.048000036410 11 1 11 6 0132 0132 1023 2031 0 0 1 1 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 -2 0 2 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.245861436439 0.357395069783 3 5 1 12 0132 1302 0132 0132 0 1 0 1 0 -1 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 1 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.582948353536 0.306540937645 2 11 3 1 0132 0132 3120 0132 0 1 1 1 0 1 1 -2 0 0 0 0 0 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 -2 3 1 0 0 -1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488407010641 0.775617012035 10 9 2 10 0321 0213 0132 1023 1 1 1 1 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 -1 1 3 1 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558557994840 0.658076074574 12 3 8 12 0132 0132 0213 2103 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 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.659948843276 0.545911437595 8 4 4 8 0321 0132 2031 1023 1 1 1 1 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 1 0 -1 0 0 0 0 -3 -1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558557994840 0.658076074574 5 7 5 12 0132 0132 1023 0321 0 0 1 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 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693470953072 1.899228470571 9 11 6 9 0132 0321 0132 2103 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 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.659948843276 0.545911437595 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0110_4']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_11'], 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : negation(d['c_1001_3']), 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : negation(d['c_0011_12']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_10']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_1001_3']), 'c_1010_11' : negation(d['c_1001_3']), 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_0110_4']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_12']), 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : negation(d['c_0101_12']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : negation(d['c_0110_4']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_12'], 'c_1100_10' : d['c_0110_4'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_12']), 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_11'], 'c_1010_0' : negation(d['c_0011_10']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0011_8']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_12']), 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_12' : d['c_0011_8'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0110_4, c_1001_0, c_1001_12, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 75167232114884298518681958266/4793444432303348033010625*c_1001_3^18 - 643992628725539846632677889601/4793444432303348033010625*c_1001_3\ ^17 - 5371944898385843207255101480053/9586888864606696066021250*c_1\ 001_3^16 - 1491105106195608253519007912854/958688886460669606602125\ *c_1001_3^15 - 61438394647580740464283283810059/1917377772921339213\ 2042500*c_1001_3^14 - 78278838727404404000310604367427/153390221833\ 70713705634000*c_1001_3^13 - 985284552511159906965775663300749/1533\ 90221833707137056340000*c_1001_3^12 - 246578263464995383270799439652119/38347555458426784264085000*c_1001\ _3^11 - 390103594529462129925510604110899/7669511091685356852817000\ 0*c_1001_3^10 - 97263793125648632482581410546391/306780443667414274\ 11268000*c_1001_3^9 - 120305282287756019054990809227061/76695110916\ 853568528170000*c_1001_3^8 - 101477087760829912003062393871869/1533\ 90221833707137056340000*c_1001_3^7 - 40200095374101797525639649533257/153390221833707137056340000*c_1001\ _3^6 - 13950030521706242878381267417577/153390221833707137056340000\ *c_1001_3^5 - 229363165353212016755286295619/1533902218337071370563\ 40000*c_1001_3^4 - 961940703796179214431401449341/15339022183370713\ 7056340000*c_1001_3^3 - 110822102200321595442285278739/153390221833\ 707137056340000*c_1001_3^2 + 2323138577982017699337559023/153390221\ 83370713705634000*c_1001_3 + 37729904201928879368989187603/15339022\ 1833707137056340000, c_0011_0 - 1, c_0011_10 + 8027587139011300382077696/4548020077369416613720481*c_1001_\ 3^18 + 76860541414968622826241152/4548020077369416613720481*c_1001_\ 3^17 + 358376179162091246435532608/4548020077369416613720481*c_1001\ _3^16 + 1104391085312298483352376896/4548020077369416613720481*c_10\ 01_3^15 + 2521203990933011450250919584/4548020077369416613720481*c_\ 1001_3^14 + 4477037982113145444131780712/4548020077369416613720481*\ c_1001_3^13 + 6338711219735088937716711748/454802007736941661372048\ 1*c_1001_3^12 + 7230490543904555220810855556/4548020077369416613720\ 481*c_1001_3^11 + 6634934524776889265947608520/45480200773694166137\ 20481*c_1001_3^10 + 4855061811359511484007873772/454802007736941661\ 3720481*c_1001_3^9 + 2788804878082284211204658180/45480200773694166\ 13720481*c_1001_3^8 + 1237817105752115096087224916/4548020077369416\ 613720481*c_1001_3^7 + 425248261872589776384858288/4548020077369416\ 613720481*c_1001_3^6 + 116568033223389996205025520/4548020077369416\ 613720481*c_1001_3^5 + 21117238862479583844788344/45480200773694166\ 13720481*c_1001_3^4 + 3765864478196518173879047/4548020077369416613\ 720481*c_1001_3^3 + 6900972722935659322550854/454802007736941661372\ 0481*c_1001_3^2 + 7320765736109000181900128/45480200773694166137204\ 81*c_1001_3 - 104263784198790237132564/4548020077369416613720481, c_0011_12 + 1, c_0011_8 - 17195638510440168075934336/4548020077369416613720481*c_1001_\ 3^18 - 159153338769409875826211456/4548020077369416613720481*c_1001\ _3^17 - 711720215979549282235291584/4548020077369416613720481*c_100\ 1_3^16 - 2095869847241727087960455248/4548020077369416613720481*c_1\ 001_3^15 - 4561112995768715889497564112/4548020077369416613720481*c\ _1001_3^14 - 7681299399720481424618242260/4548020077369416613720481\ *c_1001_3^13 - 10231276388846377981940732416/4548020077369416613720\ 481*c_1001_3^12 - 10852667360012179724754901517/4548020077369416613\ 720481*c_1001_3^11 - 9077034506718632327577944962/45480200773694166\ 13720481*c_1001_3^10 - 5841024662772177098553781476/454802007736941\ 6613720481*c_1001_3^9 - 2730631589964071795847706616/45480200773694\ 16613720481*c_1001_3^8 - 766837359853693707346736052/45480200773694\ 16613720481*c_1001_3^7 + 39186395802993831319141768/454802007736941\ 6613720481*c_1001_3^6 + 210380222520215987265622344/454802007736941\ 6613720481*c_1001_3^5 + 172094475403917712317614416/454802007736941\ 6613720481*c_1001_3^4 + 73868865342947510811325943/4548020077369416\ 613720481*c_1001_3^3 + 10225683251090446506259370/45480200773694166\ 13720481*c_1001_3^2 + 7776103196283530314852372/4548020077369416613\ 720481*c_1001_3 + 53995513978875713878152/4548020077369416613720481\ , c_0101_0 - 64451044114806318413054272/4548020077369416613720481*c_1001_\ 3^18 - 583698876932093662526070560/4548020077369416613720481*c_1001\ _3^17 - 2558332415399797887528197648/4548020077369416613720481*c_10\ 01_3^16 - 7401895638237737167809600032/4548020077369416613720481*c_\ 1001_3^15 - 15850393130632148529321260424/4548020077369416613720481\ *c_1001_3^14 - 26296178983277220117327328094/4548020077369416613720\ 481*c_1001_3^13 - 34606674257651089658527160461/4548020077369416613\ 720481*c_1001_3^12 - 36527164752570444126835611482/4548020077369416\ 613720481*c_1001_3^11 - 30942891167532951550131636901/4548020077369\ 416613720481*c_1001_3^10 - 21126433659326662982025066492/4548020077\ 369416613720481*c_1001_3^9 - 11852373164578442257758372499/45480200\ 77369416613720481*c_1001_3^8 - 5750915523115539586304329708/4548020\ 077369416613720481*c_1001_3^7 - 2540765150671814095887939988/454802\ 0077369416613720481*c_1001_3^6 - 937842324478213277481863292/454802\ 0077369416613720481*c_1001_3^5 - 158722708247074499400764742/454802\ 0077369416613720481*c_1001_3^4 - 28649626735837507815695956/4548020\ 077369416613720481*c_1001_3^3 - 52459317535715974796923163/45480200\ 77369416613720481*c_1001_3^2 + 8849632566505882376682484/4548020077\ 369416613720481*c_1001_3 + 899032271751799058430913/454802007736941\ 6613720481, c_0101_1 + 17195638510440168075934336/4548020077369416613720481*c_1001_\ 3^18 + 159153338769409875826211456/4548020077369416613720481*c_1001\ _3^17 + 711720215979549282235291584/4548020077369416613720481*c_100\ 1_3^16 + 2095869847241727087960455248/4548020077369416613720481*c_1\ 001_3^15 + 4561112995768715889497564112/4548020077369416613720481*c\ _1001_3^14 + 7681299399720481424618242260/4548020077369416613720481\ *c_1001_3^13 + 10231276388846377981940732416/4548020077369416613720\ 481*c_1001_3^12 + 10852667360012179724754901517/4548020077369416613\ 720481*c_1001_3^11 + 9077034506718632327577944962/45480200773694166\ 13720481*c_1001_3^10 + 5841024662772177098553781476/454802007736941\ 6613720481*c_1001_3^9 + 2730631589964071795847706616/45480200773694\ 16613720481*c_1001_3^8 + 766837359853693707346736052/45480200773694\ 16613720481*c_1001_3^7 - 39186395802993831319141768/454802007736941\ 6613720481*c_1001_3^6 - 210380222520215987265622344/454802007736941\ 6613720481*c_1001_3^5 - 172094475403917712317614416/454802007736941\ 6613720481*c_1001_3^4 - 73868865342947510811325943/4548020077369416\ 613720481*c_1001_3^3 - 10225683251090446506259370/45480200773694166\ 13720481*c_1001_3^2 - 7776103196283530314852372/4548020077369416613\ 720481*c_1001_3 - 53995513978875713878152/4548020077369416613720481\ , c_0101_10 + 41576453589234809578714624/4548020077369416613720481*c_1001\ _3^18 + 379965134540180347782302592/4548020077369416613720481*c_100\ 1_3^17 + 1678849518963145659638818304/4548020077369416613720481*c_1\ 001_3^16 + 4882793656778861479806359872/4548020077369416613720481*c\ _1001_3^15 + 10470312189452872779555690064/454802007736941661372048\ 1*c_1001_3^14 + 17302474034694373810094520672/454802007736941661372\ 0481*c_1001_3^13 + 22475550165229108119903683596/454802007736941661\ 3720481*c_1001_3^12 + 23023993317167716724709878480/454802007736941\ 6613720481*c_1001_3^11 + 18306105533141655152586644245/454802007736\ 9416613720481*c_1001_3^10 + 10909933718006447938660428874/454802007\ 7369416613720481*c_1001_3^9 + 4515151913815108731583526293/45480200\ 77369416613720481*c_1001_3^8 + 1031070538191673453555060444/4548020\ 077369416613720481*c_1001_3^7 - 88720762499910100728588892/45480200\ 77369416613720481*c_1001_3^6 - 244374389718783317178966904/45480200\ 77369416613720481*c_1001_3^5 - 237694681854291675993761365/45480200\ 77369416613720481*c_1001_3^4 - 114402894752707299143983506/45480200\ 77369416613720481*c_1001_3^3 - 6937056743163431147376761/4548020077\ 369416613720481*c_1001_3^2 - 7669432151078828069317110/454802007736\ 9416613720481*c_1001_3 - 792361226547096812895651/45480200773694166\ 13720481, c_0101_11 - 124487913452778495996800/7669511091685356852817*c_1001_3^18 - 1227239673142654592973888/7669511091685356852817*c_1001_3^17 - 5850274422826090001311392/7669511091685356852817*c_1001_3^16 - 18296265929040590900767584/7669511091685356852817*c_1001_3^15 - 42199627737715842604631440/7669511091685356852817*c_1001_3^14 - 75525948505970328873173572/7669511091685356852817*c_1001_3^13 - 107528198443514688450461954/7669511091685356852817*c_1001_3^12 - 123150433473650220801960470/7669511091685356852817*c_1001_3^11 - 113434215640646619070000156/7669511091685356852817*c_1001_3^10 - 83473224576013935412077506/7669511091685356852817*c_1001_3^9 - 48730272204453367399923438/7669511091685356852817*c_1001_3^8 - 22714667674313531827325322/7669511091685356852817*c_1001_3^7 - 8892547455273772240333560/7669511091685356852817*c_1001_3^6 - 3175333133708686802099292/7669511091685356852817*c_1001_3^5 - 845012248888848783200204/7669511091685356852817*c_1001_3^4 - 55442105556784714143428/7669511091685356852817*c_1001_3^3 - 44733845693119019566436/7669511091685356852817*c_1001_3^2 - 27563987998704154453162/7669511091685356852817*c_1001_3 + 3351805746287422854130/7669511091685356852817, c_0101_12 + 77203508716705784947520/7669511091685356852817*c_1001_3^18 + 709197476209761245985056/7669511091685356852817*c_1001_3^17 + 3146206886985414643775120/7669511091685356852817*c_1001_3^16 + 9180154270333070246083872/7669511091685356852817*c_1001_3^15 + 19752127846454278804544680/7669511091685356852817*c_1001_3^14 + 32786030598399778449675566/7669511091685356852817*c_1001_3^13 + 42868531704193145257934493/7669511091685356852817*c_1001_3^12 + 44405825988696571178880290/7669511091685356852817*c_1001_3^11 + 36063384535433458467200651/7669511091685356852817*c_1001_3^10 + 22501009504818235228483248/7669511091685356852817*c_1001_3^9 + 10474403185042569095258343/7669511091685356852817*c_1001_3^8 + 3550117077304864925707420/7669511091685356852817*c_1001_3^7 + 879355911278313312483148/7669511091685356852817*c_1001_3^6 + 60253271633788702977420/7669511091685356852817*c_1001_3^5 - 253611676096227291522954/7669511091685356852817*c_1001_3^4 - 162085591820991608519612/7669511091685356852817*c_1001_3^3 + 2774185511462027059081/7669511091685356852817*c_1001_3^2 - 13295309424663709918424/7669511091685356852817*c_1001_3 - 1789280064540850656125/7669511091685356852817, c_0110_4 - 34279823407286643589306368/4548020077369416613720481*c_1001_\ 3^18 - 327021295776242077692134400/4548020077369416613720481*c_1001\ _3^17 - 1517200543239498736539518976/4548020077369416613720481*c_10\ 01_3^16 - 4648146344688111690681203200/4548020077369416613720481*c_\ 1001_3^15 - 10543381341544237206429324928/4548020077369416613720481\ *c_1001_3^14 - 18589212143019095228834395136/4548020077369416613720\ 481*c_1001_3^13 - 26104890778767239434185857312/4548020077369416613\ 720481*c_1001_3^12 - 29498223593070978715202650944/4548020077369416\ 613720481*c_1001_3^11 - 26770973605071131310074254848/4548020077369\ 416613720481*c_1001_3^10 - 19336908805613911159429684544/4548020077\ 369416613720481*c_1001_3^9 - 10953127096723291350663933760/45480200\ 77369416613720481*c_1001_3^8 - 4810477813247915823758683391/4548020\ 077369416613720481*c_1001_3^7 - 1661037052420851104122611516/454802\ 0077369416613720481*c_1001_3^6 - 474876797225731930845430486/454802\ 0077369416613720481*c_1001_3^5 - 71311389370689487513718824/4548020\ 077369416613720481*c_1001_3^4 + 24457835510776800523599588/45480200\ 77369416613720481*c_1001_3^3 + 8578646555309656144188192/4548020077\ 369416613720481*c_1001_3^2 + 6786202879573366765785808/454802007736\ 9416613720481*c_1001_3 + 453072035931715485354592/45480200773694166\ 13720481, c_1001_0 - 6672882188722575176484096/4548020077369416613720481*c_1001_3\ ^18 - 55364793653853163794521216/4548020077369416613720481*c_1001_3\ ^17 - 215078054341644041144938048/4548020077369416613720481*c_1001_\ 3^16 - 527448931390830608242731136/4548020077369416613720481*c_1001\ _3^15 - 883293696653438597342823200/4548020077369416613720481*c_100\ 1_3^14 - 941813337445607485870061112/4548020077369416613720481*c_10\ 01_3^13 - 323579433751753444162863540/4548020077369416613720481*c_1\ 001_3^12 + 984244582206216309773887528/4548020077369416613720481*c_\ 1001_3^11 + 2424138619908722869473920284/4548020077369416613720481*\ c_1001_3^10 + 3173272625592854602909351156/454802007736941661372048\ 1*c_1001_3^9 + 2851216142842961916557126256/45480200773694166137204\ 81*c_1001_3^8 + 1833018768331974107410443992/4548020077369416613720\ 481*c_1001_3^7 + 836193009018375102652588388/4548020077369416613720\ 481*c_1001_3^6 + 270103750984789903531603056/4548020077369416613720\ 481*c_1001_3^5 + 74653991975476320877734792/45480200773694166137204\ 81*c_1001_3^4 + 15904049652540071988160144/454802007736941661372048\ 1*c_1001_3^3 + 637950952232811059902127/4548020077369416613720481*c\ _1001_3^2 + 6588181370339288611153162/4548020077369416613720481*c_1\ 001_3 + 2877009442938373805312211/4548020077369416613720481, c_1001_12 - 44604495341258881004288/7669511091685356852817*c_1001_3^18 - 403928209267030801451392/7669511091685356852817*c_1001_3^17 - 1770495418184245557192384/7669511091685356852817*c_1001_3^16 - 5117790517969448109584640/7669511091685356852817*c_1001_3^15 - 10920611671273688778834272/7669511091685356852817*c_1001_3^14 - 17968870332479058900764104/7669511091685356852817*c_1001_3^13 - 23258608546033976084528220/7669511091685356852817*c_1001_3^12 - 23767905728987508000305056/7669511091685356852817*c_1001_3^11 - 18893174348737390949737556/7669511091685356852817*c_1001_3^10 - 11346940819313524984884388/7669511091685356852817*c_1001_3^9 - 4883719195850711939783672/7669511091685356852817*c_1001_3^8 - 1399931164334666512526160/7669511091685356852817*c_1001_3^7 - 280989145931586770173692/7669511091685356852817*c_1001_3^6 - 63072542513583855220304/7669511091685356852817*c_1001_3^5 + 41814076828198485854072/7669511091685356852817*c_1001_3^4 + 13619863737870900432064/7669511091685356852817*c_1001_3^3 - 21728617055605162453312/7669511091685356852817*c_1001_3^2 + 1406682098587758854180/7669511091685356852817*c_1001_3 - 9614634739385020852767/7669511091685356852817, c_1001_3^19 + 19/2*c_1001_3^18 + 175/4*c_1001_3^17 + 531/4*c_1001_3^16 + 2383/8*c_1001_3^15 + 16607/32*c_1001_3^14 + 46043/64*c_1001_3^13 + 51355/64*c_1001_3^12 + 23049/32*c_1001_3^11 + 33201/64*c_1001_3^10 + 19219/64*c_1001_3^9 + 9167/64*c_1001_3^8 + 963/16*c_1001_3^7 + 93/4*c_1001_3^6 + 201/32*c_1001_3^5 + 25/32*c_1001_3^4 + 15/32*c_1001_3^3 + 3/64*c_1001_3^2 - 1/64*c_1001_3 - 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.360 seconds, Total memory usage: 32.09MB