Magma V2.19-8 Tue Aug 20 2013 16:19:18 on localhost [Seed = 4139215864] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3421 geometric_solution 6.58821525 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 -1 2 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 -1 0 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.728509983750 0.989271520876 3 4 5 0 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 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 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751980396719 0.714433011392 4 3 0 6 2310 3201 0132 0132 0 0 0 0 0 1 -2 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 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.751980396719 0.714433011392 1 6 2 5 0132 1302 2310 1302 0 0 0 0 0 0 1 -1 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 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.907680046097 0.496627277123 4 1 2 4 3012 0132 3201 1230 0 0 0 0 0 1 0 -1 1 0 -1 0 0 -1 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 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.845041272191 0.728776916559 6 6 3 1 1230 3012 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.212281318924 0.580596424068 5 5 2 3 1230 3012 0132 2031 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 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.212281318924 0.580596424068 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : 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' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_1010_3']), 'c_1100_5' : negation(d['c_1010_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_1010_3']), 'c_1100_0' : negation(d['c_1010_3']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_1010_3']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), '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_1'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], '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_0011_6'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_1010_3'], 'c_1010_2' : negation(d['c_0011_5']), '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_5, c_0011_6, c_0101_0, c_0101_4, c_1010_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 5372246297721740356939/276798964090774443006*c_1010_3^18 + 49747824407647613269979/276798964090774443006*c_1010_3^17 + 158135082502978566513763/276798964090774443006*c_1010_3^16 + 174345889641429809477599/138399482045387221503*c_1010_3^15 + 772056674139118464847381/276798964090774443006*c_1010_3^14 + 135535833504519790195887/46133160681795740501*c_1010_3^13 - 174630543029896498928858/138399482045387221503*c_1010_3^12 - 510315276369905986090343/276798964090774443006*c_1010_3^11 + 285922813015936677433435/138399482045387221503*c_1010_3^10 - 76576828305539539533819/46133160681795740501*c_1010_3^9 - 649342313570093262077971/276798964090774443006*c_1010_3^8 + 152586546954317399194394/46133160681795740501*c_1010_3^7 + 2517107038447613054198/3548704667830441577*c_1010_3^6 - 36341280346121331568925/16282292005339673118*c_1010_3^5 - 85647728137817878986392/138399482045387221503*c_1010_3^4 + 66477025007748398174149/92266321363591481002*c_1010_3^3 + 37631969482529065611529/92266321363591481002*c_1010_3^2 - 5130351570388880192985/46133160681795740501*c_1010_3 + 20571952171511304700493/276798964090774443006, c_0011_0 - 1, c_0011_1 - 5243321009819293348/74522798024439273117*c_1010_3^18 - 46874272425136334756/74522798024439273117*c_1010_3^17 - 140662155657446888863/74522798024439273117*c_1010_3^16 - 306323583175013967800/74522798024439273117*c_1010_3^15 - 684691416234691792468/74522798024439273117*c_1010_3^14 - 213620782731558714509/24840932674813091039*c_1010_3^13 + 389553176322966990865/74522798024439273117*c_1010_3^12 + 255300832054785545612/74522798024439273117*c_1010_3^11 - 594403175303162174996/74522798024439273117*c_1010_3^10 + 24683253949628228434/3548704667830441577*c_1010_3^9 + 421546816723502385784/74522798024439273117*c_1010_3^8 - 264874212758799954108/24840932674813091039*c_1010_3^7 - 41991081773260850207/24840932674813091039*c_1010_3^6 + 31912654097188307900/4383694001437604301*c_1010_3^5 + 125038943779967314687/74522798024439273117*c_1010_3^4 - 18616900734505582379/3548704667830441577*c_1010_3^3 + 10539238273192051439/24840932674813091039*c_1010_3^2 + 36475527469373711081/24840932674813091039*c_1010_3 - 46281086630333360315/74522798024439273117, c_0011_5 + 5945524580139126007/74522798024439273117*c_1010_3^18 + 63348086698609212188/74522798024439273117*c_1010_3^17 + 249627171579302410195/74522798024439273117*c_1010_3^16 + 611069176939517907794/74522798024439273117*c_1010_3^15 + 1337707159055226326182/74522798024439273117*c_1010_3^14 + 656844733189087932646/24840932674813091039*c_1010_3^13 + 596783026687191869426/74522798024439273117*c_1010_3^12 - 1344582826595861328032/74522798024439273117*c_1010_3^11 - 19752166209486475363/74522798024439273117*c_1010_3^10 + 19712949433292954392/3548704667830441577*c_1010_3^9 - 1647209651763237662218/74522798024439273117*c_1010_3^8 + 64973154230263424200/24840932674813091039*c_1010_3^7 + 584947550016924822205/24840932674813091039*c_1010_3^6 - 37406586783043032875/4383694001437604301*c_1010_3^5 - 1179574790702318239318/74522798024439273117*c_1010_3^4 + 8638793041728920139/3548704667830441577*c_1010_3^3 + 137848673326352429996/24840932674813091039*c_1010_3^2 + 15481922471621211955/24840932674813091039*c_1010_3 - 2593416794034023278/74522798024439273117, c_0011_6 - 5945524580139126007/74522798024439273117*c_1010_3^18 - 63348086698609212188/74522798024439273117*c_1010_3^17 - 249627171579302410195/74522798024439273117*c_1010_3^16 - 611069176939517907794/74522798024439273117*c_1010_3^15 - 1337707159055226326182/74522798024439273117*c_1010_3^14 - 656844733189087932646/24840932674813091039*c_1010_3^13 - 596783026687191869426/74522798024439273117*c_1010_3^12 + 1344582826595861328032/74522798024439273117*c_1010_3^11 + 19752166209486475363/74522798024439273117*c_1010_3^10 - 19712949433292954392/3548704667830441577*c_1010_3^9 + 1647209651763237662218/74522798024439273117*c_1010_3^8 - 64973154230263424200/24840932674813091039*c_1010_3^7 - 584947550016924822205/24840932674813091039*c_1010_3^6 + 37406586783043032875/4383694001437604301*c_1010_3^5 + 1179574790702318239318/74522798024439273117*c_1010_3^4 - 8638793041728920139/3548704667830441577*c_1010_3^3 - 137848673326352429996/24840932674813091039*c_1010_3^2 - 15481922471621211955/24840932674813091039*c_1010_3 + 2593416794034023278/74522798024439273117, c_0101_0 + 951407886772/3399388781847*c_1010_3^18 + 9075248819939/3399388781847*c_1010_3^17 + 30242963613043/3399388781847*c_1010_3^16 + 67648117150676/3399388781847*c_1010_3^15 + 148271637955801/3399388781847*c_1010_3^14 + 56419490639378/1133129593949*c_1010_3^13 - 50795457174115/3399388781847*c_1010_3^12 - 135839618402909/3399388781847*c_1010_3^11 + 82684589789234/3399388781847*c_1010_3^10 - 17717082636159/1133129593949*c_1010_3^9 - 157010579126857/3399388781847*c_1010_3^8 + 49003597449884/1133129593949*c_1010_3^7 + 28887448712319/1133129593949*c_1010_3^6 - 6980434127486/199964045991*c_1010_3^5 - 61117013246917/3399388781847*c_1010_3^4 + 14102816701454/1133129593949*c_1010_3^3 + 12136675539957/1133129593949*c_1010_3^2 - 2470078622878/1133129593949*c_1010_3 + 1499409303035/3399388781847, c_0101_4 + 1449706253720772104/24840932674813091039*c_1010_3^18 + 12701105981475111605/24840932674813091039*c_1010_3^17 + 36363562569272083658/24840932674813091039*c_1010_3^16 + 75605750828658640956/24840932674813091039*c_1010_3^15 + 166475788316533222514/24840932674813091039*c_1010_3^14 + 125299058480657198568/24840932674813091039*c_1010_3^13 - 181593502697179101265/24840932674813091039*c_1010_3^12 - 110495694399972042589/24840932674813091039*c_1010_3^11 + 157337919125230083491/24840932674813091039*c_1010_3^10 - 26071379226631569921/3548704667830441577*c_1010_3^9 - 145622391418707959355/24840932674813091039*c_1010_3^8 + 242094392624727975634/24840932674813091039*c_1010_3^7 + 23613412413446214070/24840932674813091039*c_1010_3^6 - 11654246320055389823/1461231333812534767*c_1010_3^5 - 40204364189615951181/24840932674813091039*c_1010_3^4 + 18214361000188328494/3548704667830441577*c_1010_3^3 - 15557232960350519531/24840932674813091039*c_1010_3^2 - 41986714393775521719/24840932674813091039*c_1010_3 + 25347485420628565140/24840932674813091039, c_1010_3^19 + 9*c_1010_3^18 + 27*c_1010_3^17 + 57*c_1010_3^16 + 126*c_1010_3^15 + 112*c_1010_3^14 - 109*c_1010_3^13 - 84*c_1010_3^12 + 129*c_1010_3^11 - 115*c_1010_3^10 - 103*c_1010_3^9 + 203*c_1010_3^8 - 6*c_1010_3^7 - 127*c_1010_3^6 - 2*c_1010_3^5 + 47*c_1010_3^4 + 12*c_1010_3^3 - 12*c_1010_3^2 + 5*c_1010_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB