Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 1579139940] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2421 geometric_solution 5.77043568 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 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 1 0 -1 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.203347567503 1.192500518928 0 2 4 3 0132 3201 0132 0132 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 -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.138954827561 0.814879204159 3 4 1 0 3201 0132 2310 0132 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 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.138954827561 0.814879204159 5 5 1 2 0132 3201 0132 2310 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 -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.455891752015 2.009749644092 6 2 6 1 0132 0132 2310 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.859412961377 0.850549523275 3 5 3 5 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.580838488907 0.709540788214 4 4 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408593976594 0.262603636220 ==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' : 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_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 2843343394968469677456804120897243654794995272/22107446872028067321\ 088831865829598796910103*c_0101_4^38 + 50466428139194011794036644244294941862565101762/2210744687202806732\ 1088831865829598796910103*c_0101_4^36 - 132358832457367738381707730224679089542951077084/221074468720280673\ 21088831865829598796910103*c_0101_4^34 + 439061871196221574149404900476258124091790179771/221074468720280673\ 21088831865829598796910103*c_0101_4^32 - 2389789099875198727879672600058900829993405670351/22107446872028067\ 321088831865829598796910103*c_0101_4^30 + 3636247288750281380364131007171938598452275774746/22107446872028067\ 321088831865829598796910103*c_0101_4^28 - 7150165038062375709038885021011904017616672375498/22107446872028067\ 321088831865829598796910103*c_0101_4^26 + 17856494028056559676204494560341755376767536582142/2210744687202806\ 7321088831865829598796910103*c_0101_4^24 - 10505499675495146626180741159115139320493950465492/2210744687202806\ 7321088831865829598796910103*c_0101_4^22 + 33600326924594083063275659473865744003724438850813/2210744687202806\ 7321088831865829598796910103*c_0101_4^20 - 94368052816648193499288395522757338748604714690115/2210744687202806\ 7321088831865829598796910103*c_0101_4^18 + 39621714215987277390083302380094093947945521354070/2210744687202806\ 7321088831865829598796910103*c_0101_4^16 + 2241936456021120531399958514599073174614318669825/13004380512957686\ 65946401874460564635112359*c_0101_4^14 - 15290423421192405401925501900873588593445619620251/2210744687202806\ 7321088831865829598796910103*c_0101_4^12 - 8266596564994791986446499031502541562808851201609/22107446872028067\ 321088831865829598796910103*c_0101_4^10 + 8395701584911556222396399423131513309570364492425/22107446872028067\ 321088831865829598796910103*c_0101_4^8 - 3739573264882531052734068598482200536656424181251/22107446872028067\ 321088831865829598796910103*c_0101_4^6 + 65314979416467830325040462798521924316847390294/1300438051295768665\ 946401874460564635112359*c_0101_4^4 - 189543491607294244580668123493490615907927880339/221074468720280673\ 21088831865829598796910103*c_0101_4^2 + 12612528982336296584136156722878176085685686178/2210744687202806732\ 1088831865829598796910103, c_0011_0 - 1, c_0011_2 - 34790420386797914295748155631930508145215230/221074468720280\ 67321088831865829598796910103*c_0101_4^39 + 621587677614649086874015474351314505101614926/221074468720280673210\ 88831865829598796910103*c_0101_4^37 - 1690904242183926489172087263787742849158998236/22107446872028067321\ 088831865829598796910103*c_0101_4^35 + 5540815488010697815281264159541538146300872827/22107446872028067321\ 088831865829598796910103*c_0101_4^33 - 29820495728768064352154027560832087370158426450/2210744687202806732\ 1088831865829598796910103*c_0101_4^31 + 47753061530529140371733626344753720158820315241/2210744687202806732\ 1088831865829598796910103*c_0101_4^29 - 91715186064615097052091121402998582095868542514/2210744687202806732\ 1088831865829598796910103*c_0101_4^27 + 227453497586783114250735677762257207504654017374/221074468720280673\ 21088831865829598796910103*c_0101_4^25 - 151460452937717067252166141460892569708935308220/221074468720280673\ 21088831865829598796910103*c_0101_4^23 + 419129687041737503663915394463439287147328040180/221074468720280673\ 21088831865829598796910103*c_0101_4^21 - 1200385109769237082329048901649705635136078842255/22107446872028067\ 321088831865829598796910103*c_0101_4^19 + 606563555682018226020687250308534646435621991639/221074468720280673\ 21088831865829598796910103*c_0101_4^17 + 26301527786012960661054116891224290996327546584/1300438051295768665\ 946401874460564635112359*c_0101_4^15 - 248865919693679155663579234939609262684118602339/221074468720280673\ 21088831865829598796910103*c_0101_4^13 - 98109858951603426724385214436287255398768122349/2210744687202806732\ 1088831865829598796910103*c_0101_4^11 + 116120360033182624955765528288467854582803964578/221074468720280673\ 21088831865829598796910103*c_0101_4^9 - 53767841923635237810631610303804130914823353989/2210744687202806732\ 1088831865829598796910103*c_0101_4^7 + 965681009795219623278081032989827129108780615/130043805129576866594\ 6401874460564635112359*c_0101_4^5 - 2956917927035172554188198736544544806300258927/22107446872028067321\ 088831865829598796910103*c_0101_4^3 + 246632317113726239247331999536061086582409421/221074468720280673210\ 88831865829598796910103*c_0101_4, c_0011_3 - 87427599250747517375846333520880287555351910/221074468720280\ 67321088831865829598796910103*c_0101_4^39 + 1553706659447307596422890844345314502773721450/22107446872028067321\ 088831865829598796910103*c_0101_4^37 - 4102486897985087876020224231033558082541302223/22107446872028067321\ 088831865829598796910103*c_0101_4^35 + 13556234171024223240160766167908197171237439232/2210744687202806732\ 1088831865829598796910103*c_0101_4^33 - 73703963262983057287942165515393651081618337011/2210744687202806732\ 1088831865829598796910103*c_0101_4^31 + 113174007558353018220163208802504259073285995303/221074468720280673\ 21088831865829598796910103*c_0101_4^29 - 220770432710485395973105095020838184194138568551/221074468720280673\ 21088831865829598796910103*c_0101_4^27 + 552052372606806111136728536330706257390872371607/221074468720280673\ 21088831865829598796910103*c_0101_4^25 - 331096850227477783417331870077485956391498722344/221074468720280673\ 21088831865829598796910103*c_0101_4^23 + 1029488656660406930519375435805689209882335682087/22107446872028067\ 321088831865829598796910103*c_0101_4^21 - 2922027247047144355774717606696638862365379966032/22107446872028067\ 321088831865829598796910103*c_0101_4^19 + 1261014174215860812422046584324968219188112456821/22107446872028067\ 321088831865829598796910103*c_0101_4^17 + 70743557244974592002862283870481861345479634320/1300438051295768665\ 946401874460564635112359*c_0101_4^15 - 499299984688050178331541803398505020933043867720/221074468720280673\ 21088831865829598796910103*c_0101_4^13 - 275483679551191565135047081161559437612501966317/221074468720280673\ 21088831865829598796910103*c_0101_4^11 + 261719567565409903787232460322211087117910698082/221074468720280673\ 21088831865829598796910103*c_0101_4^9 - 113933829991910852941523242954194471105776376930/221074468720280673\ 21088831865829598796910103*c_0101_4^7 + 1984896702635463570570025261984646281529530806/13004380512957686659\ 46401874460564635112359*c_0101_4^5 - 5510561660600971278917323562949623278352235929/22107446872028067321\ 088831865829598796910103*c_0101_4^3 + 297370381787944738523821109743919121096174467/221074468720280673210\ 88831865829598796910103*c_0101_4, c_0101_0 + 3608086953220930239793880497164312729218678/1300438051295768\ 665946401874460564635112359*c_0101_4^38 - 64258360753781799205491437215860482338333094/1300438051295768665946\ 401874460564635112359*c_0101_4^36 + 171777005712297074494181853660992469545680287/130043805129576866594\ 6401874460564635112359*c_0101_4^34 - 566287450655052868829147755118717098880940547/130043805129576866594\ 6401874460564635112359*c_0101_4^32 + 3063849596349710159612072423106268942421688456/13004380512957686659\ 46401874460564635112359*c_0101_4^30 - 4789510126142886751963871429973442959019605156/13004380512957686659\ 46401874460564635112359*c_0101_4^28 + 9305435393733156337785266048758395378739909042/13004380512957686659\ 46401874460564635112359*c_0101_4^26 - 23147678380914700598943407005517454307623113818/1300438051295768665\ 946401874460564635112359*c_0101_4^24 + 14573456691257668809137947724200984030668754139/1300438051295768665\ 946401874460564635112359*c_0101_4^22 - 43113033572182668250838214078589426696681482384/1300438051295768665\ 946401874460564635112359*c_0101_4^20 + 122217495015830778429230502721002469726548759202/130043805129576866\ 5946401874460564635112359*c_0101_4^18 - 56866073959511622488262041855745280583654873413/1300438051295768665\ 946401874460564635112359*c_0101_4^16 - 47080635501135131751642439104692173920922546268/1300438051295768665\ 946401874460564635112359*c_0101_4^14 + 22600500365304076985899709280875887662513127432/1300438051295768665\ 946401874460564635112359*c_0101_4^12 + 10207108960638567109923083726101882816897898639/1300438051295768665\ 946401874460564635112359*c_0101_4^10 - 11326074249505029208219342436176476256066570115/1300438051295768665\ 946401874460564635112359*c_0101_4^8 + 5191105171526351495156517265986649756193529183/13004380512957686659\ 46401874460564635112359*c_0101_4^6 - 1579958294128854367456914924414183539824972464/13004380512957686659\ 46401874460564635112359*c_0101_4^4 + 287750850623355713384093373896876776695658871/130043805129576866594\ 6401874460564635112359*c_0101_4^2 - 20813353960661928834140834695058719926145723/1300438051295768665946\ 401874460564635112359, c_0101_1 + 47907548983197048626192031048430583991772354/221074468720280\ 67321088831865829598796910103*c_0101_4^38 - 855942798676714460656334895481482797098290376/221074468720280673210\ 88831865829598796910103*c_0101_4^36 + 2328355975914954416827331639444759056437074487/22107446872028067321\ 088831865829598796910103*c_0101_4^34 - 7629591861170180619303527761156975009100996517/22107446872028067321\ 088831865829598796910103*c_0101_4^32 + 41063049139661600632195204394940849865090122418/2210744687202806732\ 1088831865829598796910103*c_0101_4^30 - 65753527993890699602113821462152176895412695470/2210744687202806732\ 1088831865829598796910103*c_0101_4^28 + 126285228400396470615938453443026427905974963675/221074468720280673\ 21088831865829598796910103*c_0101_4^26 - 313199358743897640413554428521571169200992756231/221074468720280673\ 21088831865829598796910103*c_0101_4^24 + 208529510335570556613253818140036233107361375330/221074468720280673\ 21088831865829598796910103*c_0101_4^22 - 577115938682714780233194300387592399621638885524/221074468720280673\ 21088831865829598796910103*c_0101_4^20 + 1652940816854357463432483238996211714720277825259/22107446872028067\ 321088831865829598796910103*c_0101_4^18 - 835039127437042618980873926663082700050538066718/221074468720280673\ 21088831865829598796910103*c_0101_4^16 - 36227610899765023580330578077854927720606774135/1300438051295768665\ 946401874460564635112359*c_0101_4^14 + 342543846963329623480679755805556694805635013682/221074468720280673\ 21088831865829598796910103*c_0101_4^12 + 135132676508338213408334965091483474400215348790/221074468720280673\ 21088831865829598796910103*c_0101_4^10 - 159876688285525891176252923943489489490061194248/221074468720280673\ 21088831865829598796910103*c_0101_4^8 + 74020550028776928961109649075902453432002903117/2210744687202806732\ 1088831865829598796910103*c_0101_4^6 - 1329292387609591425897943663675473965159919505/13004380512957686659\ 46401874460564635112359*c_0101_4^4 + 4076978978632903625397668793397935776199141220/22107446872028067321\ 088831865829598796910103*c_0101_4^2 - 290224532323484128553509146229556963733205459/221074468720280673210\ 88831865829598796910103, c_0101_2 + 82379429421960986203140726267376599352939056/221074468720280\ 67321088831865829598796910103*c_0101_4^39 - 1472361481334604746615073641573890779344214732/22107446872028067321\ 088831865829598796910103*c_0101_4^37 + 4012910257133568972220424635386442544266670063/22107446872028067321\ 088831865829598796910103*c_0101_4^35 - 13141580892963770582353340788999392752463975404/2210744687202806732\ 1088831865829598796910103*c_0101_4^33 + 70685327360194117100222990696939825719869958867/2210744687202806732\ 1088831865829598796910103*c_0101_4^31 - 113488508162956771570377799802086327598799731665/221074468720280673\ 21088831865829598796910103*c_0101_4^29 + 217717790471482458826813954828597667298070142863/221074468720280673\ 21088831865829598796910103*c_0101_4^27 - 539734216076556421219851945974216073906642290235/221074468720280673\ 21088831865829598796910103*c_0101_4^25 + 361574335989743200859423826130368523728354720382/221074468720280673\ 21088831865829598796910103*c_0101_4^23 - 993546600712331029543121647290873081722373260186/221074468720280673\ 21088831865829598796910103*c_0101_4^21 + 2848188191789797047491543332018527945176907343618/22107446872028067\ 321088831865829598796910103*c_0101_4^19 - 1451838748010650583240114873785416479906070823763/22107446872028067\ 321088831865829598796910103*c_0101_4^17 - 62108194220640528020429203781201222799804423331/1300438051295768665\ 946401874460564635112359*c_0101_4^15 + 597021852226968709538133380775527792962745323310/221074468720280673\ 21088831865829598796910103*c_0101_4^13 + 231604080593939965110057303847381182506406336755/221074468720280673\ 21088831865829598796910103*c_0101_4^11 - 276590838538188819015708218221136707353041471685/221074468720280673\ 21088831865829598796910103*c_0101_4^9 + 128367922865370999341411107129750301545661247052/221074468720280673\ 21088831865829598796910103*c_0101_4^7 - 2311472329572711466715221585831733425308141310/13004380512957686659\ 46401874460564635112359*c_0101_4^5 + 7062285053783718962143112045939497823428062769/22107446872028067321\ 088831865829598796910103*c_0101_4^3 - 505994457845813308700078448590820535223136268/221074468720280673210\ 88831865829598796910103*c_0101_4, c_0101_4^40 - 18*c_0101_4^38 + 51*c_0101_4^36 - 166*c_0101_4^34 + 879*c_0101_4^32 - 1489*c_0101_4^30 + 2831*c_0101_4^28 - 6905*c_0101_4^26 + 5258*c_0101_4^24 - 12711*c_0101_4^22 + 36142*c_0101_4^20 - 22200*c_0101_4^18 - 10085*c_0101_4^16 + 8781*c_0101_4^14 + 1645*c_0101_4^12 - 3693*c_0101_4^10 + 2037*c_0101_4^8 - 708*c_0101_4^6 + 160*c_0101_4^4 - 20*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB