Magma V2.19-8 Tue Aug 20 2013 16:18:10 on localhost [Seed = 930523660] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2391 geometric_solution 5.75842880 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 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.533981566597 0.208739821848 2 0 3 0 0132 2310 0132 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 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.841535462044 0.426290125342 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 -1 1 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.713657624799 0.899658907261 5 2 4 1 3201 1230 0132 0132 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 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.713657624799 0.899658907261 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.018781715054 1.218994929837 6 6 2 3 0132 3201 0132 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 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.142223263158 1.776576365494 5 6 5 6 0132 1302 2310 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 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.445506100826 0.863942588008 ==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' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_3']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : 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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 219549379216535675760693058947964946441289206906/486683278100053657\ 3407410246230368823701127*c_0101_3^41 - 6984395960031289723632956512079635144299368554981/48668327810005365\ 73407410246230368823701127*c_0101_3^39 + 86948571597037857051799180585522463427499100219233/4866832781000536\ 573407410246230368823701127*c_0101_3^37 - 581738747172213018775523491705666644987585008866853/486683278100053\ 6573407410246230368823701127*c_0101_3^35 + 2614999732684085406729377454584946504199243644454274/48668327810005\ 36573407410246230368823701127*c_0101_3^33 - 9114022669980260354904720884904771861132043084673747/48668327810005\ 36573407410246230368823701127*c_0101_3^31 + 25494080018959019358491161582459299315512957717435747/4866832781000\ 536573407410246230368823701127*c_0101_3^29 - 58429622941539991758083746021670209627804265599150939/4866832781000\ 536573407410246230368823701127*c_0101_3^27 + 113515326629736215234558637865356578005711208004156444/486683278100\ 0536573407410246230368823701127*c_0101_3^25 - 187416845273232465498562166886704125334681025778486750/486683278100\ 0536573407410246230368823701127*c_0101_3^23 + 259399612358431742929534832506367359628358220040939741/486683278100\ 0536573407410246230368823701127*c_0101_3^21 - 299167055665161563991709053999543098705621801419830419/486683278100\ 0536573407410246230368823701127*c_0101_3^19 + 282588132446911516540897375954559389869016565088068767/486683278100\ 0536573407410246230368823701127*c_0101_3^17 - 211199549434070181349346442278776476429196490561832792/486683278100\ 0536573407410246230368823701127*c_0101_3^15 + 121388243642527235895352007243821108241849269959109886/486683278100\ 0536573407410246230368823701127*c_0101_3^13 - 52667191039680591208569959135762230339698687942027397/4866832781000\ 536573407410246230368823701127*c_0101_3^11 + 16714713567951885653736131486327882503506164962827560/4866832781000\ 536573407410246230368823701127*c_0101_3^9 - 3656810042220108669829904123931228518943837118555710/48668327810005\ 36573407410246230368823701127*c_0101_3^7 + 502997364033982031196093371269480749087892866599050/486683278100053\ 6573407410246230368823701127*c_0101_3^5 - 37695721187036649250708202882098479666911349870344/4866832781000536\ 573407410246230368823701127*c_0101_3^3 + 1137535997152245565559947356263342334757904000777/48668327810005365\ 73407410246230368823701127*c_0101_3, c_0011_0 - 1, c_0011_1 + 97558862196898584765971285181759759784002906/486683278100053\ 6573407410246230368823701127*c_0101_3^40 - 3105006012106238972061304207813371519982507437/48668327810005365734\ 07410246230368823701127*c_0101_3^38 + 38681802663259660783021821309164252602554056249/4866832781000536573\ 407410246230368823701127*c_0101_3^36 - 259067994255259767499974802012687251069044504044/486683278100053657\ 3407410246230368823701127*c_0101_3^34 + 1165809640736225970337591246733731972480119258833/48668327810005365\ 73407410246230368823701127*c_0101_3^32 - 4067097108445047823269117378370810425708326459164/48668327810005365\ 73407410246230368823701127*c_0101_3^30 + 11388639519083686642162142307592123713397458181571/4866832781000536\ 573407410246230368823701127*c_0101_3^28 - 26132378164434948355961063288792433369454798591519/4866832781000536\ 573407410246230368823701127*c_0101_3^26 + 50829150832786531169797892971896699485021359804844/4866832781000536\ 573407410246230368823701127*c_0101_3^24 - 84034889103739865765037115921195961135981538422683/4866832781000536\ 573407410246230368823701127*c_0101_3^22 + 116514932926945764954299020788408286903792711029155/486683278100053\ 6573407410246230368823701127*c_0101_3^20 - 134669125370663264714831996896957129790255731484095/486683278100053\ 6573407410246230368823701127*c_0101_3^18 + 127570207649866309829965002207295340634081628511078/486683278100053\ 6573407410246230368823701127*c_0101_3^16 - 95738083542394301714966646395746650508321108995323/4866832781000536\ 573407410246230368823701127*c_0101_3^14 + 55349965405063023398842240402250391053299824344614/4866832781000536\ 573407410246230368823701127*c_0101_3^12 - 24207013646821982808140530533450353377302673369487/4866832781000536\ 573407410246230368823701127*c_0101_3^10 + 7769174951618696925527360750527110454168303264653/48668327810005365\ 73407410246230368823701127*c_0101_3^8 - 1729203495873426796863799937650085298896316909209/48668327810005365\ 73407410246230368823701127*c_0101_3^6 + 244481362591610154945353495412157557951172606043/486683278100053657\ 3407410246230368823701127*c_0101_3^4 - 19105581405869060097371392585776614147041260370/4866832781000536573\ 407410246230368823701127*c_0101_3^2 + 609485415491163612726751118079885526596064309/486683278100053657340\ 7410246230368823701127, c_0011_3 - 22077364609272646635071028191657447144061094/486683278100053\ 6573407410246230368823701127*c_0101_3^41 + 714883154232730809414177667099052589448573854/486683278100053657340\ 7410246230368823701127*c_0101_3^39 - 9139885892568003237233389671575753783954315676/48668327810005365734\ 07410246230368823701127*c_0101_3^37 + 63383861543642940072722329949201356875088270307/4866832781000536573\ 407410246230368823701127*c_0101_3^35 - 295173582728458485565943735989502191236858439336/486683278100053657\ 3407410246230368823701127*c_0101_3^33 + 1059139731490015740843123837547319244411910171459/48668327810005365\ 73407410246230368823701127*c_0101_3^31 - 3054464723225207413019300072629566521771497500197/48668327810005365\ 73407410246230368823701127*c_0101_3^29 + 7229375122393307533059219024304658982851593949988/48668327810005365\ 73407410246230368823701127*c_0101_3^27 - 14470075706909612565532641343317325078646530290013/4866832781000536\ 573407410246230368823701127*c_0101_3^25 + 24694009271206045086939599192620796705463784092999/4866832781000536\ 573407410246230368823701127*c_0101_3^23 - 35573775250518067756832255129802938814682846494898/4866832781000536\ 573407410246230368823701127*c_0101_3^21 + 42930553825177673854401770738444237103888361015801/4866832781000536\ 573407410246230368823701127*c_0101_3^19 - 42844754061895613194154287175114107723669402933333/4866832781000536\ 573407410246230368823701127*c_0101_3^17 + 34401428424112527874341367964361301879283674286126/4866832781000536\ 573407410246230368823701127*c_0101_3^15 - 21565754868583797768857588559703678900568877571124/4866832781000536\ 573407410246230368823701127*c_0101_3^13 + 10320158464773288217889523098937583537281291923254/4866832781000536\ 573407410246230368823701127*c_0101_3^11 - 3673750843510019015964216225885128717866314372012/48668327810005365\ 73407410246230368823701127*c_0101_3^9 + 924532082065450936265500322809854766761617590938/486683278100053657\ 3407410246230368823701127*c_0101_3^7 - 150161019478690924329458156348184670000989708882/486683278100053657\ 3407410246230368823701127*c_0101_3^5 + 13458930155834600522895831587572199986353038067/4866832781000536573\ 407410246230368823701127*c_0101_3^3 - 474167432339946702236741974744525340829980523/486683278100053657340\ 7410246230368823701127*c_0101_3, c_0011_5 + 88804385617638179539969353537986941496665410/486683278100053\ 6573407410246230368823701127*c_0101_3^41 - 2839532691546768793645457336572495756235272844/48668327810005365734\ 07410246230368823701127*c_0101_3^39 + 35625971359762061839685701673545049260782677362/4866832781000536573\ 407410246230368823701127*c_0101_3^37 - 240929040183739122271640184777046430668605350289/486683278100053657\ 3407410246230368823701127*c_0101_3^35 + 1094807118881660778974309107108820212459954523532/48668327810005365\ 73407410246230368823701127*c_0101_3^33 - 3850635854014312758548395317559468013028738455050/48668327810005365\ 73407410246230368823701127*c_0101_3^31 + 10876642835664888463858760902822750845968840336079/4866832781000536\ 573407410246230368823701127*c_0101_3^29 - 25190968815766275264976030158172199873384556855026/4866832781000536\ 573407410246230368823701127*c_0101_3^27 + 49428085378034320617189757624222893191109745710078/4866832781000536\ 573407410246230368823701127*c_0101_3^25 - 82528924101074258934795341574455763963751221885000/4866832781000536\ 573407410246230368823701127*c_0101_3^23 + 115826394427372041783914492843073252112281364666048/486683278100053\ 6573407410246230368823701127*c_0101_3^21 - 135762876639279409682349910033218764749735651505813/486683278100053\ 6573407410246230368823701127*c_0101_3^19 + 130862902143028053845474716776293191844897827729273/486683278100053\ 6573407410246230368823701127*c_0101_3^17 - 100523052210910377427150560643153283298077734099415/486683278100053\ 6573407410246230368823701127*c_0101_3^15 + 59818914403148191330064486975261148640004051983158/4866832781000536\ 573407410246230368823701127*c_0101_3^13 - 27045853484460982958394331122047985957667560700409/4866832781000536\ 573407410246230368823701127*c_0101_3^11 + 9032404723895589103382526873778446649400399488537/48668327810005365\ 73407410246230368823701127*c_0101_3^9 - 2110980723222009599878278677629991219817783948112/48668327810005365\ 73407410246230368823701127*c_0101_3^7 + 315562350485343391749795769489022345286130419031/486683278100053657\ 3407410246230368823701127*c_0101_3^5 - 25981119952889482008606017875291158670589585872/4866832781000536573\ 407410246230368823701127*c_0101_3^3 + 855737424664767155655068042814146804697835508/486683278100053657340\ 7410246230368823701127*c_0101_3, c_0101_0 + 38443637274222708081540432504742793690749058/486683278100053\ 6573407410246230368823701127*c_0101_3^40 - 1217960735946427357080648337098734562565845191/48668327810005365734\ 07410246230368823701127*c_0101_3^38 + 15066046017202702052953830105113364624905976526/4866832781000536573\ 407410246230368823701127*c_0101_3^36 - 99904795065524550868006477462096745964582400660/4866832781000536573\ 407410246230368823701127*c_0101_3^34 + 444958541160282603733215060320865061984480093414/486683278100053657\ 3407410246230368823701127*c_0101_3^32 - 1538545083941510438118206674903829299539793402850/48668327810005365\ 73407410246230368823701127*c_0101_3^30 + 4266597807498125728797571709677707372557444807687/48668327810005365\ 73407410246230368823701127*c_0101_3^28 - 9685965403316674491826461060950675898208933068359/48668327810005365\ 73407410246230368823701127*c_0101_3^26 + 18645233466315727993287034294807652628531245550911/4866832781000536\ 573407410246230368823701127*c_0101_3^24 - 30457954631353549522505964293874573833064477390106/4866832781000536\ 573407410246230368823701127*c_0101_3^22 + 41589674424518835031723657304738149656652947392805/4866832781000536\ 573407410246230368823701127*c_0101_3^20 - 47191385655096052139318920754465854626041867658301/4866832781000536\ 573407410246230368823701127*c_0101_3^18 + 43642666582007423378849150183777239818138976953724/4866832781000536\ 573407410246230368823701127*c_0101_3^16 - 31647320000441728936378823505004619478438503641545/4866832781000536\ 573407410246230368823701127*c_0101_3^14 + 17457216742201213300292117649636404118668178421852/4866832781000536\ 573407410246230368823701127*c_0101_3^12 - 7181367340425556365047273707489441309249943704672/48668327810005365\ 73407410246230368823701127*c_0101_3^10 + 2117435249711675036436264185424333262985349470069/48668327810005365\ 73407410246230368823701127*c_0101_3^8 - 414685839863486423114241510411771711609657331143/486683278100053657\ 3407410246230368823701127*c_0101_3^6 + 48083615434384870438048861804127300364391384657/4866832781000536573\ 407410246230368823701127*c_0101_3^4 - 2821155247007040614353443660445328495234089437/48668327810005365734\ 07410246230368823701127*c_0101_3^2 + 66022576959030899027879344130591124569976345/4866832781000536573407\ 410246230368823701127, c_0101_1 - 105966348932904701857876050147774040622621752/48668327810005\ 36573407410246230368823701127*c_0101_3^40 + 3369791331746638261996140546342831552024263325/48668327810005365734\ 07410246230368823701127*c_0101_3^38 - 41926923011243911421810670464290723457219906500/4866832781000536573\ 407410246230368823701127*c_0101_3^36 + 280305636911863253617957220200103838142392889028/486683278100053657\ 3407410246230368823701127*c_0101_3^34 - 1259108825299781966189627742952421219233644689980/48668327810005365\ 73407410246230368823701127*c_0101_3^32 + 4385889350841453773796861134687527699517781618539/48668327810005365\ 73407410246230368823701127*c_0101_3^30 - 12261124507976856121058914687475512337929532908481/4866832781000536\ 573407410246230368823701127*c_0101_3^28 + 28084212822688612644415635439960727740817239544934/4866832781000536\ 573407410246230368823701127*c_0101_3^26 - 54532884928080514741977361401017261743797618166403/4866832781000536\ 573407410246230368823701127*c_0101_3^24 + 89983335790814889546673814243980263174861675673203/4866832781000536\ 573407410246230368823701127*c_0101_3^22 - 124459950680465870411683069643124992324877481666130/486683278100053\ 6573407410246230368823701127*c_0101_3^20 + 143442059249985276538254246832111832596072800535980/486683278100053\ 6573407410246230368823701127*c_0101_3^18 - 135389539757736372431875544174688834881688550994162/486683278100053\ 6573407410246230368823701127*c_0101_3^16 + 101100576125930016666299920163718987569002083785933/486683278100053\ 6573407410246230368823701127*c_0101_3^14 - 58074914355402070812808182885496638021951210282330/4866832781000536\ 573407410246230368823701127*c_0101_3^12 + 25201323057163017792592716351826784365082869007095/4866832781000536\ 573407410246230368823701127*c_0101_3^10 - 8008558100399980546120066784437068006261128864395/48668327810005365\ 73407410246230368823701127*c_0101_3^8 + 1759175342419237432911931416522886826645038022355/48668327810005365\ 73407410246230368823701127*c_0101_3^6 - 244539332429616258960761212887393687521080560052/486683278100053657\ 3407410246230368823701127*c_0101_3^4 + 18735942150275645690902028078991926127573218194/4866832781000536573\ 407410246230368823701127*c_0101_3^2 - 582541218100890429518272679641997710628302088/486683278100053657340\ 7410246230368823701127, c_0101_3^42 - 32*c_0101_3^40 + 402*c_0101_3^38 - 2724*c_0101_3^36 + 12408*c_0101_3^34 - 43748*c_0101_3^32 + 123913*c_0101_3^30 - 287937*c_0101_3^28 + 567017*c_0101_3^26 - 950760*c_0101_3^24 + 1341887*c_0101_3^22 - 1584679*c_0101_3^20 + 1543292*c_0101_3^18 - 1204043*c_0101_3^16 + 733931*c_0101_3^14 - 344027*c_0101_3^12 + 121366*c_0101_3^10 - 31034*c_0101_3^8 + 5444*c_0101_3^6 - 607*c_0101_3^4 + 38*c_0101_3^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB