Magma V2.19-8 Tue Aug 20 2013 17:55:55 on localhost [Seed = 3330765090] Type ? for help. Type -D to quit. Loading file "10_21__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_21 geometric_solution 9.67514114 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 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 -1 0 1 1 0 -1 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.448284740901 1.148258538948 0 5 6 4 0132 0132 0132 3120 0 0 0 0 0 0 1 -1 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 13 -13 -1 0 1 0 0 0 0 0 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565756396322 0.469314261771 5 0 7 6 2310 0132 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.076747520414 1.571783233911 8 9 7 0 0132 0132 0321 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 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.781419731836 0.437800331003 1 7 0 10 3120 3012 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213003953241 1.533635365935 5 1 2 5 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442527453378 0.710975321002 9 2 9 1 3120 2310 2103 0132 0 0 0 0 0 0 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 0 13 -13 0 0 1 -1 -12 0 0 12 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335485890867 1.223006059742 4 10 3 2 1230 0321 0321 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 13 -1 0 -12 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622446099446 0.368297632993 3 9 10 10 0132 1230 2103 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678572879389 0.427692337254 6 3 8 6 2103 0132 3012 3120 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 -1 0 1 0 -13 1 0 12 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.791402713286 0.760436586578 8 8 4 7 2103 1302 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.678572879389 0.427692337254 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : d['c_0101_3'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_8' : d['c_0011_7'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_1001_7'], 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_1001_7'], 'c_1100_3' : d['c_1001_7'], 'c_1100_2' : negation(d['c_0011_6']), 'c_1100_10' : d['c_1001_7'], 'c_1010_7' : negation(d['c_0011_7']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_0011_10'], 's_3_1' : negation(d['1']), 's_3_0' : negation(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'], '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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0011_7']), 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_0'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_3'], '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' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 45140162748407546293413609622560420628207405666/3295838217731380336\ 818467576670241568675963*c_1001_7^15 + 120832053079767490581164345752680403843073294355/131833528709255213\ 47273870306680966274703852*c_1001_7^14 - 583022579842033770288290890026944532890306986607/263667057418510426\ 94547740613361932549407704*c_1001_7^13 + 503451284121715434622015886737994224071233190035/263667057418510426\ 94547740613361932549407704*c_1001_7^12 - 82839755978874014828568919310295037783529282051/6591676435462760673\ 636935153340483137351926*c_1001_7^11 + 95622302230765720642633848576207003996293163261/1318335287092552134\ 7273870306680966274703852*c_1001_7^10 - 9707234778277698064555941445842363931465610979/32958382177313803368\ 18467576670241568675963*c_1001_7^9 - 161624893845497420062320043586205731133015501263/263667057418510426\ 94547740613361932549407704*c_1001_7^8 - 59442952526361571996720668396792814881619755441/2636670574185104269\ 4547740613361932549407704*c_1001_7^7 + 9543825091803617369549355435086322153080213957/26366705741851042694\ 547740613361932549407704*c_1001_7^6 + 50739910702568890486024660541199879562406475601/2636670574185104269\ 4547740613361932549407704*c_1001_7^5 - 7470551882858736269137879456394780309525669545/65916764354627606736\ 36935153340483137351926*c_1001_7^4 + 101621837428710172459410070415989930905651741/794177883790694057064\ 69098233017869124722*c_1001_7^3 - 141311714317712149994293854335962\ 76669322036747/26366705741851042694547740613361932549407704*c_1001_\ 7^2 - 767618835653094106268782282026980359388914367/659167643546276\ 0673636935153340483137351926*c_1001_7 + 1479511320316472026727679861060409571399312835/26366705741851042694\ 547740613361932549407704, c_0011_0 - 1, c_0011_10 + 812325532674388425931534588127064/2063367957550032611014940\ 50183*c_1001_7^15 - 837449813988877101023882268948021/2063367957550\ 03261101494050183*c_1001_7^14 + 1730642396967081681988739233533152/\ 206336795755003261101494050183*c_1001_7^13 - 1910164775287286778466449259749882/206336795755003261101494050183*c\ _1001_7^12 + 1733909205639693709569703119942327/2063367957550032611\ 01494050183*c_1001_7^11 - 1420796364199606069434359580112415/206336\ 795755003261101494050183*c_1001_7^10 + 1050566037781644701728465308364595/206336795755003261101494050183*c\ _1001_7^9 - 336299050254689582508785702487779/206336795755003261101\ 494050183*c_1001_7^8 + 504521301536052101796179167630283/2063367957\ 55003261101494050183*c_1001_7^7 - 329328196192253244044993753152728\ /206336795755003261101494050183*c_1001_7^6 + 116535600599738575667378697802012/206336795755003261101494050183*c_\ 1001_7^5 - 52280650079227688917617251946166/20633679575500326110149\ 4050183*c_1001_7^4 - 17404040204229948443411485137888/2063367957550\ 03261101494050183*c_1001_7^3 + 16916614488480297436312205010114/206\ 336795755003261101494050183*c_1001_7^2 + 2946566702716735439918480376362/206336795755003261101494050183*c_10\ 01_7 - 1956303593802789862782240133975/2063367957550032611014940501\ 83, c_0011_3 + 196577544959108093494428620302552/20633679575500326110149405\ 0183*c_1001_7^15 - 164404287828088710910462705414813/20633679575500\ 3261101494050183*c_1001_7^14 + 393254673103057554132637029455917/20\ 6336795755003261101494050183*c_1001_7^13 - 386011278114316264855313706967402/206336795755003261101494050183*c_\ 1001_7^12 + 354696916828490709289236204002329/206336795755003261101\ 494050183*c_1001_7^11 - 277321353093497619946466244869866/206336795\ 755003261101494050183*c_1001_7^10 + 204490669691825842620543380716038/206336795755003261101494050183*c_\ 1001_7^9 - 42586254379269941535052817401757/20633679575500326110149\ 4050183*c_1001_7^8 + 114716492545850763492916050204149/206336795755\ 003261101494050183*c_1001_7^7 - 54610720520710686506334685024081/20\ 6336795755003261101494050183*c_1001_7^6 + 21172901586122746783959370700431/206336795755003261101494050183*c_1\ 001_7^5 - 7312304615858190572284037238931/2063367957550032611014940\ 50183*c_1001_7^4 - 5074572833721299534582593135785/2063367957550032\ 61101494050183*c_1001_7^3 + 3445578152829881476029084323150/2063367\ 95755003261101494050183*c_1001_7^2 + 1141908376275248052537338249053/206336795755003261101494050183*c_10\ 01_7 - 382236650036243223131305554744/20633679575500326110149405018\ 3, c_0011_4 - 582879544185677342304351133516584/20633679575500326110149405\ 0183*c_1001_7^15 + 614409430478950090506477165816755/20633679575500\ 3261101494050183*c_1001_7^14 - 1251061544032888172949031029489785/2\ 06336795755003261101494050183*c_1001_7^13 + 1396710968084013054885309146795746/206336795755003261101494050183*c\ _1001_7^12 - 1269088881844888271978241325066064/2063367957550032611\ 01494050183*c_1001_7^11 + 1041818718677255885773367148099848/206336\ 795755003261101494050183*c_1001_7^10 - 773181864652131797699214350671931/206336795755003261101494050183*c_\ 1001_7^9 + 254698065783013775798305201581381/2063367957550032611014\ 94050183*c_1001_7^8 - 364792295602671773037889732127139/20633679575\ 5003261101494050183*c_1001_7^7 + 244448180412580633680403028443692/\ 206336795755003261101494050183*c_1001_7^6 - 86708561812708242657618394048871/206336795755003261101494050183*c_1\ 001_7^5 + 38001903076406163221899855387901/206336795755003261101494\ 050183*c_1001_7^4 + 10941367192651086800631088217114/20633679575500\ 3261101494050183*c_1001_7^3 - 12333301796269636760264925676630/2063\ 36795755003261101494050183*c_1001_7^2 - 1948927035534264295474860988257/206336795755003261101494050183*c_10\ 01_7 + 1544074885972075950733112368552/2063367957550032611014940501\ 83, c_0011_6 + 251747725101307209240006178855232/20633679575500326110149405\ 0183*c_1001_7^15 - 344788416024501541183628381814496/20633679575500\ 3261101494050183*c_1001_7^14 + 583447059971960916590146917500799/20\ 6336795755003261101494050183*c_1001_7^13 - 747537493223469868544612724659824/206336795755003261101494050183*c_\ 1001_7^12 + 658630600089882342481263990152084/206336795755003261101\ 494050183*c_1001_7^11 - 555477909846488572126836753478537/206336795\ 755003261101494050183*c_1001_7^10 + 408637441941564263142284077180023/206336795755003261101494050183*c_\ 1001_7^9 - 163690804770901209546850606798945/2063367957550032611014\ 94050183*c_1001_7^8 + 153693642548350556423730006941025/20633679575\ 5003261101494050183*c_1001_7^7 - 148354654620300181001492741935915/\ 206336795755003261101494050183*c_1001_7^6 + 44214750401772054062365782969934/206336795755003261101494050183*c_1\ 001_7^5 - 20750437204579872297089593023816/206336795755003261101494\ 050183*c_1001_7^4 - 4827415088652148395646922716224/206336795755003\ 261101494050183*c_1001_7^3 + 8766507775462350683920291722076/206336\ 795755003261101494050183*c_1001_7^2 + 360537117239450272468814906307/206336795755003261101494050183*c_100\ 1_7 - 1040372985659937902529738136972/20633679575500326110149405018\ 3, c_0011_7 + 146191488598510592631625657390768/20633679575500326110149405\ 0183*c_1001_7^15 - 135580127689324050176663146298922/20633679575500\ 3261101494050183*c_1001_7^14 + 296021145467229461005333382564688/20\ 6336795755003261101494050183*c_1001_7^13 - 313175927936650223831097278771319/206336795755003261101494050183*c_\ 1001_7^12 + 276712039370106395934125892487418/206336795755003261101\ 494050183*c_1001_7^11 - 226305690154167605434327555617526/206336795\ 755003261101494050183*c_1001_7^10 + 163070605618812708256242793194478/206336795755003261101494050183*c_\ 1001_7^9 - 42166313739969053625918340632281/20633679575500326110149\ 4050183*c_1001_7^8 + 84700671818673437062525004209116/2063367957550\ 03261101494050183*c_1001_7^7 - 49780390656858769181260018850606/206\ 336795755003261101494050183*c_1001_7^6 + 14225892010408718699813792893608/206336795755003261101494050183*c_1\ 001_7^5 - 8096502112338886196564281473779/2063367957550032611014940\ 50183*c_1001_7^4 - 4549996760634978360346820648625/2063367957550032\ 61101494050183*c_1001_7^3 + 2489526424484691725264442480457/2063367\ 95755003261101494050183*c_1001_7^2 + 696108652882914382594814679685/206336795755003261101494050183*c_100\ 1_7 - 167022945247807566501694046740/206336795755003261101494050183\ , c_0101_0 + 295890592089118912410471207805112/20633679575500326110149405\ 0183*c_1001_7^15 - 298352111296234863218210358791081/20633679575500\ 3261101494050183*c_1001_7^14 + 621371600533782220014845104051268/20\ 6336795755003261101494050183*c_1001_7^13 - 675586875615445962169355978512981/206336795755003261101494050183*c_\ 1001_7^12 + 611353465746346899587641483068163/206336795755003261101\ 494050183*c_1001_7^11 - 492000148819423517528440439687443/206336795\ 755003261101494050183*c_1001_7^10 + 364383918537890237345860162529954/206336795755003261101494050183*c_\ 1001_7^9 - 106896809399804400147156333881136/2063367957550032611014\ 94050183*c_1001_7^8 + 176464102231238913952425728935467/20633679575\ 5003261101494050183*c_1001_7^7 - 113150198562849471908288486225878/\ 206336795755003261101494050183*c_1001_7^6 + 39344680172342249877837380593976/206336795755003261101494050183*c_1\ 001_7^5 - 14287971101552676217127542647568/206336795755003261101494\ 050183*c_1001_7^4 - 6486754213405508465608212302139/206336795755003\ 261101494050183*c_1001_7^3 + 6676274078815117503640814497222/206336\ 795755003261101494050183*c_1001_7^2 + 1274966994835373681068704990220/206336795755003261101494050183*c_10\ 01_7 - 762824552101272325495476579862/20633679575500326110149405018\ 3, c_0101_1 + 211961814774878807314859529350152/20633679575500326110149405\ 0183*c_1001_7^15 - 194670824316005426795309042157767/20633679575500\ 3261101494050183*c_1001_7^14 + 431523752836951794937952118892211/20\ 6336795755003261101494050183*c_1001_7^13 - 453142965267791116401162624860156/206336795755003261101494050183*c_\ 1001_7^12 + 405401463118485988122850949888778/206336795755003261101\ 494050183*c_1001_7^11 - 331045978182026555511030662630802/206336795\ 755003261101494050183*c_1001_7^10 + 240939863676680040031639133960835/206336795755003261101494050183*c_\ 1001_7^9 - 63742365935293464296502490446631/20633679575500326110149\ 4050183*c_1001_7^8 + 126053225014117658639192338591367/206336795755\ 003261101494050183*c_1001_7^7 - 71726068971593310685841404953572/20\ 6336795755003261101494050183*c_1001_7^6 + 22062883247570396817817374285737/206336795755003261101494050183*c_1\ 001_7^5 - 11952703851521281637637552028121/206336795755003261101494\ 050183*c_1001_7^4 - 6197603807329810528213439436436/206336795755003\ 261101494050183*c_1001_7^3 + 3869253852536595484455664814204/206336\ 795755003261101494050183*c_1001_7^2 + 911572620180285821176238535361/206336795755003261101494050183*c_100\ 1_7 - 265801530631934955633311939403/206336795755003261101494050183\ , c_0101_3 - 17833125025289895009831024463528/206336795755003261101494050\ 183*c_1001_7^15 + 62211912498532034355944527215091/2063367957550032\ 61101494050183*c_1001_7^14 - 62669151304896489253188493746947/20633\ 6795755003261101494050183*c_1001_7^13 + 125465463514385668983414636492074/206336795755003261101494050183*c_\ 1001_7^12 - 101949217216804806390167476447383/206336795755003261101\ 494050183*c_1001_7^11 + 95881845122855550871598837267050/2063367957\ 55003261101494050183*c_1001_7^10 - 69360580358704671708490496792436/206336795755003261101494050183*c_1\ 001_7^9 + 40713745124246971175824602195695/206336795755003261101494\ 050183*c_1001_7^8 - 11928077529873182578234014393553/20633679575500\ 3261101494050183*c_1001_7^7 + 32766850586574958952573419301829/2063\ 36795755003261101494050183*c_1001_7^6 - 6585292053274510219367157381707/206336795755003261101494050183*c_10\ 01_7^5 + 6081306768131230728195637187737/20633679575500326110149405\ 0183*c_1001_7^4 - 275566647556658016297768373469/206336795755003261\ 101494050183*c_1001_7^3 - 2021465021340977148039188535100/206336795\ 755003261101494050183*c_1001_7^2 + 240013662395556803922611984518/206336795755003261101494050183*c_100\ 1_7 + 247401191712655567638556138968/206336795755003261101494050183\ , c_0101_5 - 156543950059912733648141334829160/20633679575500326110149405\ 0183*c_1001_7^15 + 151327639316402647528865318200267/20633679575500\ 3261101494050183*c_1001_7^14 - 320734102699895064453380251330417/20\ 6336795755003261101494050183*c_1001_7^13 + 346612110111220013854197832819956/206336795755003261101494050183*c_\ 1001_7^12 - 307454746560004465926642770735854/206336795755003261101\ 494050183*c_1001_7^11 + 251105552914891274414866108563985/206336795\ 755003261101494050183*c_1001_7^10 - 184586418482204128020055975569785/206336795755003261101494050183*c_\ 1001_7^9 + 51504522825280918051978169700502/20633679575500326110149\ 4050183*c_1001_7^8 - 93532234852262602105856386239210/2063367957550\ 03261101494050183*c_1001_7^7 + 58914255529092822511697654372733/206\ 336795755003261101494050183*c_1001_7^6 - 17744068746187620605182448033650/206336795755003261101494050183*c_1\ 001_7^5 + 9383607072509042483732399504537/2063367957550032611014940\ 50183*c_1001_7^4 + 3086590813471180815258375205910/2063367957550032\ 61101494050183*c_1001_7^3 - 3027686366814840279158035294100/2063367\ 95755003261101494050183*c_1001_7^2 - 1081145218449019332637583773322/206336795755003261101494050183*c_10\ 01_7 + 394843204282438388587131999345/20633679575500326110149405018\ 3, c_1001_7^16 - 1457/1016*c_1001_7^15 + 1291/508*c_1001_7^14 - 3253/1016*c_1001_7^13 + 3119/1016*c_1001_7^12 - 329/127*c_1001_7^11 + 2013/1016*c_1001_7^10 - 467/508*c_1001_7^9 + 197/254*c_1001_7^8 - 659/1016*c_1001_7^7 + 307/1016*c_1001_7^6 - 119/1016*c_1001_7^5 + 3/1016*c_1001_7^4 + 31/1016*c_1001_7^3 - 5/1016*c_1001_7^2 - 1/254*c_1001_7 + 1/1016 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.490 seconds, Total memory usage: 32.09MB