Magma V2.19-8 Tue Aug 20 2013 16:16:38 on localhost [Seed = 2749513593] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0927 geometric_solution 4.82613985 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558096902909 0.106642773400 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 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.578131377855 0.481401228898 1 4 3 3 0132 0132 3012 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 -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.507718628270 1.322147098980 2 2 4 1 3201 1230 3201 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 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.507718628270 1.322147098980 3 2 5 5 2310 0132 3201 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 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 -1.029847255408 1.158741170315 4 6 4 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.092102342029 1.393487254263 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425389792657 0.112796306226 ==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' : 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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), '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' : d['c_0011_5'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_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' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0110_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0110_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0110_0']), 'c_1010_0' : d['c_0011_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_1, c_0110_0, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 51454547864004140511924242161172159284310451984465903/6508029806680\ 31153577279293503399692738566947634449*c_0110_6^20 + 31674491963776312389821290090625187368231883842005518/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^19 + 1488262307827690567526527163565422344369369959119076188/65080298066\ 8031153577279293503399692738566947634449*c_0110_6^18 + 893851047710415495566442303500785191034487752234566050/650802980668\ 031153577279293503399692738566947634449*c_0110_6^17 + 5843282421240393993438757013484333175804148889361212028/65080298066\ 8031153577279293503399692738566947634449*c_0110_6^16 - 124332455229829279706948913047829404312766315996372947888/650802980\ 668031153577279293503399692738566947634449*c_0110_6^15 - 9972464178843432171124167931175289102728390862755715971/50061767743\ 694704121329176423338437902966688279573*c_0110_6^14 + 605563590896458245338775876354845346844404096135567848532/650802980\ 668031153577279293503399692738566947634449*c_0110_6^13 + 13779134760862242746115097625004550015467220704192499545/6508029806\ 68031153577279293503399692738566947634449*c_0110_6^12 - 32219694387041870801055920637281754749864377530371375336/6508029806\ 68031153577279293503399692738566947634449*c_0110_6^11 + 836648117868481549970660634471550876278482412627048276486/650802980\ 668031153577279293503399692738566947634449*c_0110_6^10 - 1811481531194481999362423770910061797922503699026613658179/65080298\ 0668031153577279293503399692738566947634449*c_0110_6^9 + 728239278059008570697885792674511942709571027534883666891/650802980\ 668031153577279293503399692738566947634449*c_0110_6^8 + 108477582733184091293391153561204754966842299292061115335/650802980\ 668031153577279293503399692738566947634449*c_0110_6^7 - 16895349190146021648978974284592011785601282252432668316/5006176774\ 3694704121329176423338437902966688279573*c_0110_6^6 + 90231134807178301879528765604619168487971032451887139731/6508029806\ 68031153577279293503399692738566947634449*c_0110_6^5 - 4651037697450124117466727396155261021286682667875700293/65080298066\ 8031153577279293503399692738566947634449*c_0110_6^4 + 20149640089852704487489364485470982899653963307419957713/6508029806\ 68031153577279293503399692738566947634449*c_0110_6^3 - 8124709701291510866501083504336338128373151322918777027/65080298066\ 8031153577279293503399692738566947634449*c_0110_6^2 + 1518227480397648836363804333699138727311155708031219338/65080298066\ 8031153577279293503399692738566947634449*c_0110_6 - 118492101847558255120516752778083031167656222224235359/650802980668\ 031153577279293503399692738566947634449, c_0011_0 - 1, c_0011_1 - 985007277829561781836996309230000206536146338429/50061767743\ 694704121329176423338437902966688279573*c_0110_6^20 + 6866680407358882261248747545824417114245251576226/50061767743694704\ 121329176423338437902966688279573*c_0110_6^19 + 36675249064427579795622498821660846319724653986409/5006176774369470\ 4121329176423338437902966688279573*c_0110_6^18 + 46146646727300115251104715412508750746302374647360/5006176774369470\ 4121329176423338437902966688279573*c_0110_6^17 + 127134812064996899290612804168982814160821556541705/500617677436947\ 04121329176423338437902966688279573*c_0110_6^16 - 2268244658342161777707991735448515223613528431722852/50061767743694\ 704121329176423338437902966688279573*c_0110_6^15 - 4943403706326973120732417682240494399405454499305568/50061767743694\ 704121329176423338437902966688279573*c_0110_6^14 + 9157276903683873358313657521722828138143635464872969/50061767743694\ 704121329176423338437902966688279573*c_0110_6^13 + 12589154245859128141025237490690923129471187274991961/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^12 - 819194381807743494678713266497241405846957157817593/500617677436947\ 04121329176423338437902966688279573*c_0110_6^11 + 14112175064676637627606695913882925508285286402918818/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^10 - 17958707646633867268401747080627356888539625807999295/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^9 - 22292471648304368279608650083747694435810305903735320/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^8 + 16999695559822859088336612564450988576000103424349469/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^7 + 943310826372667955120605997019475254681933443972337/500617677436947\ 04121329176423338437902966688279573*c_0110_6^6 - 4339590603451960334806667083205113486170159746521148/50061767743694\ 704121329176423338437902966688279573*c_0110_6^5 + 1129107024912783062812961377729248017084919205961006/50061767743694\ 704121329176423338437902966688279573*c_0110_6^4 + 852620574992035396668252902861485512055121671925246/500617677436947\ 04121329176423338437902966688279573*c_0110_6^3 + 87397386353289124571548451198398898433385494831092/5006176774369470\ 4121329176423338437902966688279573*c_0110_6^2 - 241337382349824273672475173147627975606739060308020/500617677436947\ 04121329176423338437902966688279573*c_0110_6 - 1998118903409753120200827063997527380158288867046/50061767743694704\ 121329176423338437902966688279573, c_0011_3 + 15214801488615702317753874065697343668659941480678/500617677\ 43694704121329176423338437902966688279573*c_0110_6^20 - 119789826920384462958727927470898310393256954597489/500617677436947\ 04121329176423338437902966688279573*c_0110_6^19 - 456451552897276721438472443653611484331115617543990/500617677436947\ 04121329176423338437902966688279573*c_0110_6^18 - 316258408839598879721199900006104468931649576719656/500617677436947\ 04121329176423338437902966688279573*c_0110_6^17 - 1742681280876536679933512763312304256645057437125921/50061767743694\ 704121329176423338437902966688279573*c_0110_6^16 + 36555946039969454803091193073375744939158380451981626/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^15 + 43164864779335561727389829555813855940721351128112549/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^14 - 175623006485671246520394360969960013357850896695069797/500617677436\ 94704121329176423338437902966688279573*c_0110_6^13 - 29126493590042310665225508522759863700900355874394211/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^12 + 16041982572594134012089933220770105206741934431882124/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^11 - 244719007709926276590885627556021236956317982251182955/500617677436\ 94704121329176423338437902966688279573*c_0110_6^10 + 503765340072405832274731645200487171164885849286936436/500617677436\ 94704121329176423338437902966688279573*c_0110_6^9 - 135530269002768235537705578352653433121086602380705947/500617677436\ 94704121329176423338437902966688279573*c_0110_6^8 - 80065169533506303731969426637517927544082060263674899/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^7 + 66333510923058227097864600035022350626430632044220922/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^6 - 16458840599780340854764368483283285742284010895108788/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^5 - 4466060056005987687478734814007084522986773877734357/50061767743694\ 704121329176423338437902966688279573*c_0110_6^4 - 5232200809867561988028606164747579065070349850892695/50061767743694\ 704121329176423338437902966688279573*c_0110_6^3 + 1640497707391208743769726534345108757152677787102967/50061767743694\ 704121329176423338437902966688279573*c_0110_6^2 + 109054112083551586601487542175317901420639396916434/500617677436947\ 04121329176423338437902966688279573*c_0110_6 - 80982785867789638763176541772714428175277247834041/5006176774369470\ 4121329176423338437902966688279573, c_0011_5 + 10819983269974082450480215477222517491510195867242/500617677\ 43694704121329176423338437902966688279573*c_0110_6^20 - 84906768565342905919814952310142561982358040463654/5006176774369470\ 4121329176423338437902966688279573*c_0110_6^19 - 326800871578037359946573696509013750437345513423668/500617677436947\ 04121329176423338437902966688279573*c_0110_6^18 - 233520443567701907805003205940282850035518791782783/500617677436947\ 04121329176423338437902966688279573*c_0110_6^17 - 1245798329570736278502728007141228776705810698907298/50061767743694\ 704121329176423338437902966688279573*c_0110_6^16 + 25964181864315725518893123774000325550872050028094545/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^15 + 31371351749093175535516732534502547642709962128123187/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^14 - 124044175027813304575656349379220886479463874297597144/500617677436\ 94704121329176423338437902966688279573*c_0110_6^13 - 23903845725645046314122350622231508324527029464905499/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^12 + 10582539153000203862835311887937651491919448320192164/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^11 - 173820431164839629590874211022724004782381921417918108/500617677436\ 94704121329176423338437902966688279573*c_0110_6^10 + 353927971014277462728486185338291245490119087938821643/500617677436\ 94704121329176423338437902966688279573*c_0110_6^9 - 87370763674396851977005823869122037985117001009702418/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^8 - 58707368664528680305172414250500569612578018163954892/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^7 + 45828305291203155544775414757232078750996562385040802/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^6 - 11046910192794005211600385745255575052586953419641490/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^5 - 3137069754315729465945638717828513358506600751688554/50061767743694\ 704121329176423338437902966688279573*c_0110_6^4 - 3815008160501627395576408355875924735524417014756875/50061767743694\ 704121329176423338437902966688279573*c_0110_6^3 + 967750674955936981970558886158621818329921390033182/500617677436947\ 04121329176423338437902966688279573*c_0110_6^2 + 79034649276160091253271507825113595620302491517448/5006176774369470\ 4121329176423338437902966688279573*c_0110_6 - 65865867448917690060191733149841660292906305320425/5006176774369470\ 4121329176423338437902966688279573, c_0101_1 - 4556497780127799598509393770440553206988479412147/5006176774\ 3694704121329176423338437902966688279573*c_0110_6^20 + 35836555032003333215314294149432779789316101510778/5006176774369470\ 4121329176423338437902966688279573*c_0110_6^19 + 137255440679944963602980275362010426873876967187004/500617677436947\ 04121329176423338437902966688279573*c_0110_6^18 + 93817173729076116254758865987398329951122015247352/5006176774369470\ 4121329176423338437902966688279573*c_0110_6^17 + 514753146995359850168149068871225479653548107630461/500617677436947\ 04121329176423338437902966688279573*c_0110_6^16 - 10949399829320619507706696847977912460569176935043347/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^15 - 13048641550557263443583903084753597647682843172345801/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^14 + 53110022535655150088344080463376075159983035805921111/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^13 + 9937522968894130186156007095163197711082133619927340/50061767743694\ 704121329176423338437902966688279573*c_0110_6^12 - 7651191149211255302499248567522699387936844138746706/50061767743694\ 704121329176423338437902966688279573*c_0110_6^11 + 72632922420965577465260545947511019629761570064292449/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^10 - 150118085253711602852121018888165502807307956383903546/500617677436\ 94704121329176423338437902966688279573*c_0110_6^9 + 34969830406973181314091178287456301546387118578877665/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^8 + 32532419149828131331188966768321781457340940514694200/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^7 - 21680667641658690837208117549158548570701698998786480/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^6 + 3430322103372848891176262883335626227671090389277246/50061767743694\ 704121329176423338437902966688279573*c_0110_6^5 + 2695584084680899914947765521725609032863725245057712/50061767743694\ 704121329176423338437902966688279573*c_0110_6^4 + 1385996681387740345711719651622691216358942881248558/50061767743694\ 704121329176423338437902966688279573*c_0110_6^3 - 653153793616484191269440373897835040381579009757943/500617677436947\ 04121329176423338437902966688279573*c_0110_6^2 - 86480428376266617409226274868259025245899632589963/5006176774369470\ 4121329176423338437902966688279573*c_0110_6 + 42787322871850662166611657953944497907280731897864/5006176774369470\ 4121329176423338437902966688279573, c_0110_0 + 530781460906392724323881400187312918666501170733/50061767743\ 694704121329176423338437902966688279573*c_0110_6^20 - 4671229429884163711070398943320037904061991720682/50061767743694704\ 121329176423338437902966688279573*c_0110_6^19 - 11926074701712288192529501198847566697055213647205/5006176774369470\ 4121329176423338437902966688279573*c_0110_6^18 + 2981522266500761750257457307522432562067755424061/50061767743694704\ 121329176423338437902966688279573*c_0110_6^17 - 55753916602275495997676215500714493718196182424496/5006176774369470\ 4121329176423338437902966688279573*c_0110_6^16 + 1322214177811187525110461533541112954830755335059101/50061767743694\ 704121329176423338437902966688279573*c_0110_6^15 + 301721873400398764028174561908815182019719974310172/500617677436947\ 04121329176423338437902966688279573*c_0110_6^14 - 7257046792381309151893419852420050492370414220420087/50061767743694\ 704121329176423338437902966688279573*c_0110_6^13 + 5496729309744658237124498854065703043887124054961110/50061767743694\ 704121329176423338437902966688279573*c_0110_6^12 + 905643058084618475009930270766900781282955541573244/500617677436947\ 04121329176423338437902966688279573*c_0110_6^11 - 11323170793547963250806673786281967392848080327209252/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^10 + 24242867846100476642264712088720154710004345407211612/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^9 - 23313782318392921834051803154424399379241099649603134/5006176774369\ 4704121329176423338437902966688279573*c_0110_6^8 + 2258453192233163080051001319006695203579591389931992/50061767743694\ 704121329176423338437902966688279573*c_0110_6^7 + 9103614425009068320781091489244353743409201651762255/50061767743694\ 704121329176423338437902966688279573*c_0110_6^6 - 2633360305430102354863998449397739115311860946972536/50061767743694\ 704121329176423338437902966688279573*c_0110_6^5 - 95291077099844265946287097071186053154105105446702/5006176774369470\ 4121329176423338437902966688279573*c_0110_6^4 + 101722714735486854717646052223612313173034233685299/500617677436947\ 04121329176423338437902966688279573*c_0110_6^3 + 238827114574420507202431974480248317741165138434857/500617677436947\ 04121329176423338437902966688279573*c_0110_6^2 - 134628253197075370769441162645095918042318164993693/500617677436947\ 04121329176423338437902966688279573*c_0110_6 - 49881402006257231950208117736330765177944411539321/5006176774369470\ 4121329176423338437902966688279573, c_0110_6^21 - 8*c_0110_6^20 - 29*c_0110_6^19 - 17*c_0110_6^18 - 112*c_0110_6^17 + 2417*c_0110_6^16 + 2532*c_0110_6^15 - 11897*c_0110_6^14 - 437*c_0110_6^13 + 1286*c_0110_6^12 - 16245*c_0110_6^11 + 35109*c_0110_6^10 - 13162*c_0110_6^9 - 4112*c_0110_6^8 + 5043*c_0110_6^7 - 1577*c_0110_6^6 - 166*c_0110_6^5 - 299*c_0110_6^4 + 157*c_0110_6^3 - 9*c_0110_6^2 - 7*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB