Magma V2.19-8 Tue Aug 20 2013 16:18:04 on localhost [Seed = 1048552183] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2299 geometric_solution 5.70295498 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 -1 0 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 1 0 -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.277657028445 0.766086610974 0 3 2 4 0132 0132 1302 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -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.493714030188 0.612251204185 1 4 0 3 2031 2310 0132 2310 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 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.493714030188 0.612251204185 2 1 5 5 3201 0132 0132 2310 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 0 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.097575390487 1.531411123564 6 6 1 2 0132 2310 0132 3201 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 1 0 -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.050987040820 0.787966620692 3 5 5 3 3201 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.648050374642 0.332841847207 4 6 6 4 0132 1230 3012 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 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.349460990587 0.743882162617 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_0011_4']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : 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_2, c_0011_4, c_0011_5, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 871604778444129059321762419/3115421949065894849573425*c_0101_5^27 + 10363189744781726912320926222/3115421949065894849573425*c_0101_5^26 + 33727087084067130477087432462/3115421949065894849573425*c_0101_5^\ 25 - 48126355027236889087173053622/3115421949065894849573425*c_0101\ _5^24 - 489766398883265424457981249584/3115421949065894849573425*c_\ 0101_5^23 - 703362792018906511837265393221/311542194906589484957342\ 5*c_0101_5^22 + 1285959265577310587795606739141/3115421949065894849\ 573425*c_0101_5^21 + 4720447305719121357885648330943/31154219490658\ 94849573425*c_0101_5^20 + 500555000581584713476067301021/6230843898\ 13178969914685*c_0101_5^19 - 1738770539022307514862873160003/623084\ 389813178969914685*c_0101_5^18 - 15360932112390162351742935453792/3\ 115421949065894849573425*c_0101_5^17 - 1660667279645683718305945506228/3115421949065894849573425*c_0101_5^\ 16 + 4226641796073700083429167755177/623084389813178969914685*c_010\ 1_5^15 + 4621270046695130887835327264593/623084389813178969914685*c\ _0101_5^14 - 1561603992969942497408048707128/3115421949065894849573\ 425*c_0101_5^13 - 23832678798323692846262069093107/3115421949065894\ 849573425*c_0101_5^12 - 19375767654808893245353463744921/3115421949\ 065894849573425*c_0101_5^11 + 1516124366013723550312440228412/31154\ 21949065894849573425*c_0101_5^10 + 13648504325979908523929212032544/3115421949065894849573425*c_0101_5\ ^9 + 1892305743244752044108306182769/623084389813178969914685*c_010\ 1_5^8 + 50096655407910887894226252469/623084389813178969914685*c_01\ 01_5^7 - 740602113815244144505485868862/623084389813178969914685*c_\ 0101_5^6 - 2450258430418310884642113975611/311542194906589484957342\ 5*c_0101_5^5 - 409311952920460610682492529486/311542194906589484957\ 3425*c_0101_5^4 + 324750343535883439770138641389/311542194906589484\ 9573425*c_0101_5^3 + 225978530388578240701232273017/311542194906589\ 4849573425*c_0101_5^2 + 58645622736622774449720190387/3115421949065\ 894849573425*c_0101_5 + 5578199526573908280616118061/31154219490658\ 94849573425, c_0011_0 - 1, c_0011_2 + 6315092640305706359351365116/373726017009944746154828063*c_0\ 101_5^27 + 74166727601364456591354589926/37372601700994474615482806\ 3*c_0101_5^26 + 233673443222905770923471307908/37372601700994474615\ 4828063*c_0101_5^25 - 381480748272555580366180297167/37372601700994\ 4746154828063*c_0101_5^24 - 3488620565777541682637148908938/3737260\ 17009944746154828063*c_0101_5^23 - 4592274982376961735578319151678/373726017009944746154828063*c_0101_\ 5^22 + 9924309172065462440000079343639/373726017009944746154828063*\ c_0101_5^21 + 32647178854734314083958246089681/37372601700994474615\ 4828063*c_0101_5^20 + 13521731301538817004410217304807/373726017009\ 944746154828063*c_0101_5^19 - 64274603920218543853041827573283/3737\ 26017009944746154828063*c_0101_5^18 - 101463481019533511328404968603853/373726017009944746154828063*c_010\ 1_5^17 + 1503983363530218209950160914656/37372601700994474615482806\ 3*c_0101_5^16 + 150444743879164858939803226629925/37372601700994474\ 6154828063*c_0101_5^15 + 145160463026782780231888665691315/37372601\ 7009944746154828063*c_0101_5^14 - 28999491560553131421048447154788/\ 373726017009944746154828063*c_0101_5^13 - 164707922900470539619653551347248/373726017009944746154828063*c_010\ 1_5^12 - 116923120840918675554731513455110/373726017009944746154828\ 063*c_0101_5^11 + 23851016264990180866683517629897/3737260170099447\ 46154828063*c_0101_5^10 + 92398330735897182948563592785345/37372601\ 7009944746154828063*c_0101_5^9 + 55815867664010610368416601777429/3\ 73726017009944746154828063*c_0101_5^8 - 3819447948307036333617921098245/373726017009944746154828063*c_0101_\ 5^7 - 24884880136174192207986881722042/373726017009944746154828063*\ c_0101_5^6 - 14369880531396405253100518996975/373726017009944746154\ 828063*c_0101_5^5 - 1586005731427328436777574996338/373726017009944\ 746154828063*c_0101_5^4 + 2237575466830764368478447374756/373726017\ 009944746154828063*c_0101_5^3 + 1314314452749497412971467712624/373\ 726017009944746154828063*c_0101_5^2 + 306419216101552824522356188859/373726017009944746154828063*c_0101_5 + 26155313674400948283027298202/373726017009944746154828063, c_0011_4 + 6114629024329437663724916562/373726017009944746154828063*c_0\ 101_5^27 + 72164048727081440291496122878/37372601700994474615482806\ 3*c_0101_5^26 + 230154353617966969798285699463/37372601700994474615\ 4828063*c_0101_5^25 - 359017606642969641487016963087/37372601700994\ 4746154828063*c_0101_5^24 - 3407072353774937033085780322934/3737260\ 17009944746154828063*c_0101_5^23 - 4625536677614003943806173816200/373726017009944746154828063*c_0101_\ 5^22 + 9474741755276075807360737882699/373726017009944746154828063*\ c_0101_5^21 + 32302366885837483650049907096319/37372601700994474615\ 4828063*c_0101_5^20 + 14543967790598493274064581030359/373726017009\ 944746154828063*c_0101_5^19 - 62517020722411509066039877568870/3737\ 26017009944746154828063*c_0101_5^18 - 102078753667905129448126740696856/373726017009944746154828063*c_010\ 1_5^17 - 2064279723253114974769405682769/37372601700994474615482806\ 3*c_0101_5^16 + 148554330280711651667259200860834/37372601700994474\ 6154828063*c_0101_5^15 + 148324944969905233805396354616851/37372601\ 7009944746154828063*c_0101_5^14 - 24414832179004874219769065280940/\ 373726017009944746154828063*c_0101_5^13 - 164429525568511707679272126507929/373726017009944746154828063*c_010\ 1_5^12 - 120806816085874584699182318899867/373726017009944746154828\ 063*c_0101_5^11 + 20847053730750648562918031488200/3737260170099447\ 46154828063*c_0101_5^10 + 92966725846519716967268825663186/37372601\ 7009944746154828063*c_0101_5^9 + 57991262987007707615930363445679/3\ 73726017009944746154828063*c_0101_5^8 - 2697363053787833409505562202824/373726017009944746154828063*c_0101_\ 5^7 - 25145035495483994242520614903517/373726017009944746154828063*\ c_0101_5^6 - 14949988272829350907665601570308/373726017009944746154\ 828063*c_0101_5^5 - 1826085398368674835424369387745/373726017009944\ 746154828063*c_0101_5^4 + 2259399589955148320935999535871/373726017\ 009944746154828063*c_0101_5^3 + 1369093479585163125224153639117/373\ 726017009944746154828063*c_0101_5^2 + 325069064367671936529221437542/373726017009944746154828063*c_0101_5 + 28147225453555541689837749282/373726017009944746154828063, c_0011_5 + 53486460926925344139304/124616877962635793982937*c_0101_5^27 + 489441679307579107835511/124616877962635793982937*c_0101_5^26 + 428889033134292548807151/124616877962635793982937*c_0101_5^25 - 7432993380656769381173787/124616877962635793982937*c_0101_5^24 - 18210814295862568784887485/124616877962635793982937*c_0101_5^23 + 33053003044833340134147111/124616877962635793982937*c_0101_5^22 + 141308512250567322582262872/124616877962635793982937*c_0101_5^21 + 1189934951959029613486695/124616877962635793982937*c_0101_5^20 - 479081978774108715737835173/124616877962635793982937*c_0101_5^19 - 444254072215983315434970527/124616877962635793982937*c_0101_5^18 + 696323161303314459564360601/124616877962635793982937*c_0101_5^17 + 1456646074982895189035469672/124616877962635793982937*c_0101_5^16 + 105469923299417067848748278/124616877962635793982937*c_0101_5^15 - 1930737277738284860479545552/124616877962635793982937*c_0101_5^14 - 1709593487285691694686623153/124616877962635793982937*c_0101_5^13 + 641846430580005125336353094/124616877962635793982937*c_0101_5^12 + 2066073852597746219598924457/124616877962635793982937*c_0101_5^11 + 1044557057799464891920336778/124616877962635793982937*c_0101_5^10 - 668748786404292647186054749/124616877962635793982937*c_0101_5^9 - 1084914205764451580657915431/124616877962635793982937*c_0101_5^8 - 379955864461989295670382577/124616877962635793982937*c_0101_5^7 + 230961200498464619229324291/124616877962635793982937*c_0101_5^6 + 277100578953954103864089019/124616877962635793982937*c_0101_5^5 + 83328899559965861231478331/124616877962635793982937*c_0101_5^4 - 23772172406105646740255033/124616877962635793982937*c_0101_5^3 - 24814291892095046763073242/124616877962635793982937*c_0101_5^2 - 6492405474030235635260686/124616877962635793982937*c_0101_5 - 505471413356345032913167/124616877962635793982937, c_0101_0 - 5813035108600112555287341705/373726017009944746154828063*c_0\ 101_5^27 - 68083131843223068056511646043/37372601700994474615482806\ 3*c_0101_5^26 - 213113790530300228894706933682/37372601700994474615\ 4828063*c_0101_5^25 + 355718874512453703083037861973/37372601700994\ 4746154828063*c_0101_5^24 + 3194034282958287608624337812960/3737260\ 17009944746154828063*c_0101_5^23 + 4142933216866081405627736433084/373726017009944746154828063*c_0101_\ 5^22 - 9164792219346727792275725416370/373726017009944746154828063*\ c_0101_5^21 - 29696074491371223871931238572258/37372601700994474615\ 4828063*c_0101_5^20 - 11918463945615803809345499514040/373726017009\ 944746154828063*c_0101_5^19 + 58761922905428257264164321972893/3737\ 26017009944746154828063*c_0101_5^18 + 91836451474585266652476051725832/373726017009944746154828063*c_0101\ _5^17 - 2100163798373763487110334976477/373726017009944746154828063\ *c_0101_5^16 - 136758201395318663882066363885872/373726017009944746\ 154828063*c_0101_5^15 - 131297529761375007012569789300290/373726017\ 009944746154828063*c_0101_5^14 + 26654442508920240324425264777440/3\ 73726017009944746154828063*c_0101_5^13 + 149402307216866132315146948930825/373726017009944746154828063*c_010\ 1_5^12 + 106085483655588211966923603280899/373726017009944746154828\ 063*c_0101_5^11 - 21399264164157790581275506708749/3737260170099447\ 46154828063*c_0101_5^10 - 83762920745774088054306286441390/37372601\ 7009944746154828063*c_0101_5^9 - 50928953709961556597432644905513/3\ 73726017009944746154828063*c_0101_5^8 + 3160088281991688641020374240257/373726017009944746154828063*c_0101_\ 5^7 + 22546041180125321467868953754153/373726017009944746154828063*\ c_0101_5^6 + 13185301953869626221239796186765/373726017009944746154\ 828063*c_0101_5^5 + 1551925713428574790442648378541/373726017009944\ 746154828063*c_0101_5^4 - 2013607307749799353444667586581/373726017\ 009944746154828063*c_0101_5^3 - 1212599110612967307017424069720/373\ 726017009944746154828063*c_0101_5^2 - 289610267701984416741857776059/373726017009944746154828063*c_0101_5 - 25298859612656317042084312595/373726017009944746154828063, c_0101_3 - 494726447703136445010866/124616877962635793982937*c_0101_5^2\ 7 - 5752063726621939149045803/124616877962635793982937*c_0101_5^26 - 17646064222011480604811903/124616877962635793982937*c_0101_5^25 + 31771601286415962224885714/124616877962635793982937*c_0101_5^24 + 268983523321183324023743126/124616877962635793982937*c_0101_5^23 + 329017233000613213749833791/124616877962635793982937*c_0101_5^22 - 808203803822517612531186938/124616877962635793982937*c_0101_5^21 - 2451800672318765746499873066/124616877962635793982937*c_0101_5^20 - 788068632789275711198360180/124616877962635793982937*c_0101_5^19 + 5066345942883702086807998018/124616877962635793982937*c_0101_5^18 + 7311890639988464432911634500/124616877962635793982937*c_0101_5^17 - 899695283948641321598396036/124616877962635793982937*c_0101_5^16 - 11510565608559092387050344131/124616877962635793982937*c_0101_5^15 - 9937767788085677720069660293/124616877962635793982937*c_0101_5^14 + 3306587897486519099356883849/124616877962635793982937*c_0101_5^13 + 12275897618364922636339858091/124616877962635793982937*c_0101_5^12 + 7612161251019661521255819421/124616877962635793982937*c_0101_5^11 - 2648301170678580526187233565/124616877962635793982937*c_0101_5^10 - 6743691855185681125488452399/124616877962635793982937*c_0101_5^9 - 3503965607917136502125246131/124616877962635793982937*c_0101_5^8 + 661607911372780058179312436/124616877962635793982937*c_0101_5^7 + 1798029082725920722060964881/124616877962635793982937*c_0101_5^6 + 887574071614265465690971912/124616877962635793982937*c_0101_5^5 + 29976086726378165871464709/124616877962635793982937*c_0101_5^4 - 165643291557143488606561628/124616877962635793982937*c_0101_5^3 - 79790959336807608299770378/124616877962635793982937*c_0101_5^2 - 15686185361808632747407487/124616877962635793982937*c_0101_5 - 1050502865226236092145904/124616877962635793982937, c_0101_5^28 + 12*c_0101_5^27 + 40*c_0101_5^26 - 51*c_0101_5^25 - 568*c_0101_5^24 - 868*c_0101_5^23 + 1388*c_0101_5^22 + 5573*c_0101_5^21 + 3453*c_0101_5^20 - 9650*c_0101_5^19 - 18663*c_0101_5^18 - 3814*c_0101_5^17 + 23932*c_0101_5^16 + 29030*c_0101_5^15 + 1168*c_0101_5^14 - 27306*c_0101_5^13 - 25101*c_0101_5^12 - 838*c_0101_5^11 + 15628*c_0101_5^10 + 12519*c_0101_5^9 + 1590*c_0101_5^8 - 4110*c_0101_5^7 - 3264*c_0101_5^6 - 815*c_0101_5^5 + 295*c_0101_5^4 + 297*c_0101_5^3 + 100*c_0101_5^2 + 16*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB