Magma V2.19-8 Tue Aug 20 2013 16:14:18 on localhost [Seed = 3398129385] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s276 geometric_solution 4.44550961 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.550512192973 0.096347157924 2 0 2 0 0132 2310 1023 0132 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 1 -1 -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.686982761944 0.212115314093 1 3 1 4 0132 0132 1023 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 1 -1 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.736115611434 1.281910131749 4 2 4 5 3201 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 -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 0 0 -1 1 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.169580851399 1.247100418147 5 3 2 3 0132 3201 0132 2310 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 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.169580851399 1.247100418147 4 5 3 5 0132 1302 0132 2031 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384791822030 0.643347662744 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 48712526647554085867170491645982567190124644/5749232743780384830060\ 8211234812532492795*c_0101_3^23 + 114741575617930641880353094613028\ 94289932700/3832821829186923220040547415654168832853*c_0101_3^22 - 175466229578192790243258877615857825937336253/574923274378038483006\ 08211234812532492795*c_0101_3^21 + 25830396030961117789271191698930299925882298/1277607276395641073346\ 849138551389610951*c_0101_3^20 - 2033827772104237645962590422507968\ 425475760457/19164109145934616100202737078270844164265*c_0101_3^19 - 111495914160047709480258887417785514904069046/114984654875607696601\ 21642246962506498559*c_0101_3^18 - 1619322062927523050855951835514338062688045157/57492327437803848300\ 608211234812532492795*c_0101_3^17 + 22277830577158935704017717278785906739279536614/5749232743780384830\ 0608211234812532492795*c_0101_3^16 + 3832017362575669849945290327162270570085888612/11498465487560769660\ 121642246962506498559*c_0101_3^15 - 79823407783420668907608430805374771795498809464/5749232743780384830\ 0608211234812532492795*c_0101_3^14 + 99256092194386412019227954468860720194651615593/5749232743780384830\ 0608211234812532492795*c_0101_3^13 - 22880680766815663682977059367490147780271591338/1916410914593461610\ 0202737078270844164265*c_0101_3^12 - 4512614231422041076499593256550484585891566971/19164109145934616100\ 202737078270844164265*c_0101_3^11 + 66179922067419885452178422192759695956850476499/5749232743780384830\ 0608211234812532492795*c_0101_3^10 + 61660268283868255363856752663413656786901880013/5749232743780384830\ 0608211234812532492795*c_0101_3^9 - 116453300000633638283094396568111364183492820541/574923274378038483\ 00608211234812532492795*c_0101_3^8 + 24518958088870644039857517186022130055533418053/5749232743780384830\ 0608211234812532492795*c_0101_3^7 + 59903524407683580477572446791214314240872438738/5749232743780384830\ 0608211234812532492795*c_0101_3^6 - 20323058980032645639776375549012969269096899532/5749232743780384830\ 0608211234812532492795*c_0101_3^5 - 6290977150217439969460153748515500967980924086/57492327437803848300\ 608211234812532492795*c_0101_3^4 + 200529060853320792738642994947198574329053225/383282182918692322004\ 0547415654168832853*c_0101_3^3 - 8219122516859616092330566588869018\ 91215491174/57492327437803848300608211234812532492795*c_0101_3^2 - 13221899723242792825631722119663189354211362/6388036381978205366734\ 245692756948054755*c_0101_3 + 7950133613507295552292540449973273403\ 3820406/57492327437803848300608211234812532492795, c_0011_0 - 1, c_0011_1 + 128165025417052561207694488051032595730723/11498465487560769\ 660121642246962506498559*c_0101_3^23 + 49441369756971679915791399194355127156513/1277607276395641073346849\ 138551389610951*c_0101_3^22 - 4915628287720365923512299529277176769\ 62354/11498465487560769660121642246962506498559*c_0101_3^21 + 1026128067127153386973172414824786277743865/38328218291869232200405\ 47415654168832853*c_0101_3^20 - 18039987546960723284914347204917470\ 18782979/1277607276395641073346849138551389610951*c_0101_3^19 - 530577152491238526121337538737415609246064/114984654875607696601216\ 42246962506498559*c_0101_3^18 - 39214674155885266294683717620252926\ 68369236/11498465487560769660121642246962506498559*c_0101_3^17 + 58982991560263221103980569410224838452403985/1149846548756076966012\ 1642246962506498559*c_0101_3^16 + 469167728133193636646619263128382\ 03072991118/11498465487560769660121642246962506498559*c_0101_3^15 - 214048970880607205986457557402536277570349842/114984654875607696601\ 21642246962506498559*c_0101_3^14 + 272891772187269947675552445139564498057568485/114984654875607696601\ 21642246962506498559*c_0101_3^13 - 64505120890172146905655463921266238262393452/3832821829186923220040\ 547415654168832853*c_0101_3^12 - 3089635481922400723853399214969381\ 808379656/1277607276395641073346849138551389610951*c_0101_3^11 + 178142779683279910210967531263029495002490581/114984654875607696601\ 21642246962506498559*c_0101_3^10 + 152800574830534377237380907716377397042174395/114984654875607696601\ 21642246962506498559*c_0101_3^9 - 318810713329010773144827110215480\ 984332610292/11498465487560769660121642246962506498559*c_0101_3^8 + 79736817411755489065201044672232329335326675/1149846548756076966012\ 1642246962506498559*c_0101_3^7 + 1576364299417597748263562569783649\ 01851339170/11498465487560769660121642246962506498559*c_0101_3^6 - 62863232421777263738333495980638284986867565/1149846548756076966012\ 1642246962506498559*c_0101_3^5 - 1587043979357003909516128322218886\ 1484470928/11498465487560769660121642246962506498559*c_0101_3^4 + 990948086141261050341727340185959026075501/127760727639564107334684\ 9138551389610951*c_0101_3^3 - 2269408091731283683384034253828024646\ 535977/11498465487560769660121642246962506498559*c_0101_3^2 - 73062004242389138106614252330020553007847/3832821829186923220040547\ 415654168832853*c_0101_3 + 2388553430145982013430607633247835260616\ 17/11498465487560769660121642246962506498559, c_0011_4 + 64876592996599576507784628717352028264983/114984654875607696\ 60121642246962506498559*c_0101_3^23 + 74647575461433451563804283138178086865374/3832821829186923220040547\ 415654168832853*c_0101_3^22 - 2529292488865901185238384306583791127\ 74423/11498465487560769660121642246962506498559*c_0101_3^21 + 173826908807508013480525526385895018063498/127760727639564107334684\ 9138551389610951*c_0101_3^20 - 275073604816281460384072495233730081\ 9639067/3832821829186923220040547415654168832853*c_0101_3^19 - 92912352411853893547073103756273246006614/1149846548756076966012164\ 2246962506498559*c_0101_3^18 - 203800764084270172939826983363039489\ 2232858/11498465487560769660121642246962506498559*c_0101_3^17 + 29926917106657859095304359639367383436764627/1149846548756076966012\ 1642246962506498559*c_0101_3^16 + 231330059509754208037250107261379\ 40975260459/11498465487560769660121642246962506498559*c_0101_3^15 - 108623677771514896869046964783149855811382137/114984654875607696601\ 21642246962506498559*c_0101_3^14 + 140344115252506607265878672679611502002683445/114984654875607696601\ 21642246962506498559*c_0101_3^13 - 33828007550455768755855560623438109137136195/3832821829186923220040\ 547415654168832853*c_0101_3^12 - 3612006525162574464089642657659843\ 514804588/3832821829186923220040547415654168832853*c_0101_3^11 + 89247523155496689341151754909923463907827951/1149846548756076966012\ 1642246962506498559*c_0101_3^10 + 759772976858333467795518826888923\ 45435190925/11498465487560769660121642246962506498559*c_0101_3^9 - 162484182461439989254123110969928788678043447/114984654875607696601\ 21642246962506498559*c_0101_3^8 + 438535904136195189432877338359884\ 64774023292/11498465487560769660121642246962506498559*c_0101_3^7 + 77687495192688680840063078905322432324888135/1149846548756076966012\ 1642246962506498559*c_0101_3^6 - 3255306406596710173523916969419024\ 1465394954/11498465487560769660121642246962506498559*c_0101_3^5 - 7177840420573130076993977150634628467423092/11498465487560769660121\ 642246962506498559*c_0101_3^4 + 14449376629212016104161715155144173\ 41784111/3832821829186923220040547415654168832853*c_0101_3^3 - 1194530998405970287513045534847552544828458/11498465487560769660121\ 642246962506498559*c_0101_3^2 - 88128252073948150345063964387047153\ 01427/1277607276395641073346849138551389610951*c_0101_3 + 118100308553280138734223121169214614677729/114984654875607696601216\ 42246962506498559, c_0101_0 - 119673749455363237790414400566495594332700/11498465487560769\ 660121642246962506498559*c_0101_3^23 - 139498717913709636341599149108026693177938/383282182918692322004054\ 7415654168832853*c_0101_3^22 + 449614818146265380612771333457585526\ 448614/11498465487560769660121642246962506498559*c_0101_3^21 - 953327765977186862578402474546902263421739/383282182918692322004054\ 7415654168832853*c_0101_3^20 + 502728184712657442132877772519432835\ 1744109/3832821829186923220040547415654168832853*c_0101_3^19 + 904602170656512414551528701655177571931342/114984654875607696601216\ 42246962506498559*c_0101_3^18 + 35222115494489248084155740599225353\ 62217260/11498465487560769660121642246962506498559*c_0101_3^17 - 54890118600001679812062903350806145195819780/1149846548756076966012\ 1642246962506498559*c_0101_3^16 - 452540508604560556605320135478686\ 23313776369/11498465487560769660121642246962506498559*c_0101_3^15 + 199298970814139907295934362258381695680431630/114984654875607696601\ 21642246962506498559*c_0101_3^14 - 249753111216276634207580426366054056738630519/114984654875607696601\ 21642246962506498559*c_0101_3^13 + 19155158091370302009944470258737657297207316/1277607276395641073346\ 849138551389610951*c_0101_3^12 + 1130901420961364358292775662505959\ 2186191213/3832821829186923220040547415654168832853*c_0101_3^11 - 169241549863913913668895187831149207059341535/114984654875607696601\ 21642246962506498559*c_0101_3^10 - 145187106438004832861824278563718014433331279/114984654875607696601\ 21642246962506498559*c_0101_3^9 + 294880061418964324627237776425836\ 729653254084/11498465487560769660121642246962506498559*c_0101_3^8 - 66304796663969999370190041619152740082639322/1149846548756076966012\ 1642246962506498559*c_0101_3^7 - 1523518187472562252295350643155057\ 36750641781/11498465487560769660121642246962506498559*c_0101_3^6 + 57541069116143335345542422862954822651160457/1149846548756076966012\ 1642246962506498559*c_0101_3^5 + 1635386298673595672186955345800868\ 4335289219/11498465487560769660121642246962506498559*c_0101_3^4 - 2909268123114585150015912805923244460525638/38328218291869232200405\ 47415654168832853*c_0101_3^3 + 213914355386850638857156068001758374\ 5810960/11498465487560769660121642246962506498559*c_0101_3^2 + 76927434918691141418039062359066872461997/3832821829186923220040547\ 415654168832853*c_0101_3 - 2270958658628444022861365457139373352682\ 16/11498465487560769660121642246962506498559, c_0101_1 + 41039130133671820083650127808368254562982/114984654875607696\ 60121642246962506498559*c_0101_3^23 + 47199508581948779066598233336825040976709/3832821829186923220040547\ 415654168832853*c_0101_3^22 - 1604892196208745837636845214076344582\ 60224/11498465487560769660121642246962506498559*c_0101_3^21 + 329605782021575982559723313199995130188747/383282182918692322004054\ 7415654168832853*c_0101_3^20 - 174026197606043969964263035384297157\ 0921920/3832821829186923220040547415654168832853*c_0101_3^19 - 57582978145578674847889111577603305727684/1149846548756076966012164\ 2246962506498559*c_0101_3^18 - 125515162866910648480475692776814605\ 4358818/11498465487560769660121642246962506498559*c_0101_3^17 + 18942089699728354351883119425937978680904069/1149846548756076966012\ 1642246962506498559*c_0101_3^16 + 146165562863280260319413843074308\ 92729219870/11498465487560769660121642246962506498559*c_0101_3^15 - 68857516759548511850183401172470299442569581/1149846548756076966012\ 1642246962506498559*c_0101_3^14 + 887489622069459737736385368015425\ 03514991076/11498465487560769660121642246962506498559*c_0101_3^13 - 7099329289561136324435789357375617396507466/12776072763956410733468\ 49138551389610951*c_0101_3^12 - 24221479946170197228904294715857430\ 23147255/3832821829186923220040547415654168832853*c_0101_3^11 + 56771686194863864552275565519066244890861563/1149846548756076966012\ 1642246962506498559*c_0101_3^10 + 481243652530361631500537784029532\ 49892023568/11498465487560769660121642246962506498559*c_0101_3^9 - 103244631726660991078892079902965707317968456/114984654875607696601\ 21642246962506498559*c_0101_3^8 + 275072835305974939383753148052615\ 57524348394/11498465487560769660121642246962506498559*c_0101_3^7 + 49691770913338039639361854199390932683167747/1149846548756076966012\ 1642246962506498559*c_0101_3^6 - 2074014271519751973988622522972292\ 6211774798/11498465487560769660121642246962506498559*c_0101_3^5 - 4873996342323844826939370922181430900633383/11498465487560769660121\ 642246962506498559*c_0101_3^4 + 94186788177229462644242808486441858\ 2913734/3832821829186923220040547415654168832853*c_0101_3^3 - 734558354829712647708839683620519978674828/114984654875607696601216\ 42246962506498559*c_0101_3^2 - 230745417097708184038840474418697902\ 94235/3832821829186923220040547415654168832853*c_0101_3 + 82953231266196099897100707887925612348646/1149846548756076966012164\ 2246962506498559, c_0101_3^24 + 4*c_0101_3^23 - 2*c_0101_3^22 + 22*c_0101_3^21 - 114*c_0101_3^20 - 71*c_0101_3^19 - 33*c_0101_3^18 + 444*c_0101_3^17 + 609*c_0101_3^16 - 1476*c_0101_3^15 + 1248*c_0101_3^14 - 388*c_0101_3^13 - 1011*c_0101_3^12 + 1273*c_0101_3^11 + 1926*c_0101_3^10 - 1856*c_0101_3^9 - 689*c_0101_3^8 + 1555*c_0101_3^7 + 160*c_0101_3^6 - 381*c_0101_3^5 + 4*c_0101_3^4 + 19*c_0101_3^3 - 11*c_0101_3^2 + c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB