Magma V2.19-8 Tue Aug 20 2013 16:18:39 on localhost [Seed = 3819077331] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2819 geometric_solution 6.04361515 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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.408081078414 0.780195175282 0 3 5 4 0132 0132 0132 0132 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 -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.831750158391 0.896245603969 3 0 4 5 2310 0132 3201 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 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.831750158391 0.896245603969 3 1 2 3 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.176276455003 0.853577167628 2 6 1 6 2310 0132 0132 1023 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 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.955461733596 0.508677637386 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 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.766379762638 0.620090764823 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 1 0 -1 0 1 -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 1 -1 -1 0 1 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595419429988 0.188252907055 ==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_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_4']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 24272803382207186680867289460454125746901/2844158343965854540283471\ 40294555988897*c_0110_6^20 + 51357929427000011185541006688520114713\ 8459/284415834396585454028347140294555988897*c_0110_6^19 - 2484514179057245632893500417568580758736905/28441583439658545402834\ 7140294555988897*c_0110_6^18 + 177843650932714178393461130264628476\ 2544694/284415834396585454028347140294555988897*c_0110_6^17 + 553112890517263461249334467983915129782134/218781411074296503098728\ 56945735076069*c_0110_6^16 - 13203008625217571053870153530378986926\ 156772/284415834396585454028347140294555988897*c_0110_6^15 + 12834341294190384505555001026567868909465611/2844158343965854540283\ 47140294555988897*c_0110_6^14 - 40715853931697176275412034493461079\ 7601510/25855984945144132184395194572232362627*c_0110_6^13 - 18038030555443058063912688102657648318537394/2844158343965854540283\ 47140294555988897*c_0110_6^12 + 29900339005644692038905632647314595\ 663993319/284415834396585454028347140294555988897*c_0110_6^11 + 924891583112379888989482366207644759452061/218781411074296503098728\ 56945735076069*c_0110_6^10 - 60658104117335243412028025152950378094\ 690155/284415834396585454028347140294555988897*c_0110_6^9 - 36057560811908904663250484321545663372346949/2844158343965854540283\ 47140294555988897*c_0110_6^8 + 207176406030162427173309025761291227\ 1710041/21878141107429650309872856945735076069*c_0110_6^7 + 25863588839540817220041601319771584710878279/2844158343965854540283\ 47140294555988897*c_0110_6^6 - 175176576394505251683037265247504777\ 9997433/284415834396585454028347140294555988897*c_0110_6^5 - 4918630379228133636663951565314768347197509/28441583439658545402834\ 7140294555988897*c_0110_6^4 + 2519751151275943842947707554158324560\ 4967/25855984945144132184395194572232362627*c_0110_6^3 + 903870141649251755386283585050096653631762/284415834396585454028347\ 140294555988897*c_0110_6^2 - 55250608932133225734532551341738757961\ 0502/284415834396585454028347140294555988897*c_0110_6 - 152449252632470836979240786777154405845666/284415834396585454028347\ 140294555988897, c_0011_0 - 1, c_0011_4 + 1415852679868024561805166145921171643/1988921918857240937261\ 168813248643279*c_0110_6^20 - 3007028807127050843317402938783479152\ 5/1988921918857240937261168813248643279*c_0110_6^19 + 147325622368424181177764799088039144597/198892191885724093726116881\ 3248643279*c_0110_6^18 - 115620500186446341043689526673687200444/19\ 88921918857240937261168813248643279*c_0110_6^17 - 409370539529023296045822118021334494521/198892191885724093726116881\ 3248643279*c_0110_6^16 + 801659473112860259375426674073077371858/19\ 88921918857240937261168813248643279*c_0110_6^15 - 815333247588797353465570039472233981789/198892191885724093726116881\ 3248643279*c_0110_6^14 + 333952572212108548620820209684462809687/19\ 88921918857240937261168813248643279*c_0110_6^13 + 1020568615284841842186809122681704622660/19889219188572409372611688\ 13248643279*c_0110_6^12 - 1827842485922517260759519349890591554086/\ 1988921918857240937261168813248643279*c_0110_6^11 - 540816569551462226850860397565510980440/198892191885724093726116881\ 3248643279*c_0110_6^10 + 3558473140528483592618784342030260069071/1\ 988921918857240937261168813248643279*c_0110_6^9 + 1820810391533706028301411779432227926581/19889219188572409372611688\ 13248643279*c_0110_6^8 - 1675063773171288763936472768334630950359/1\ 988921918857240937261168813248643279*c_0110_6^7 - 1391771618525500132174673358076272037322/19889219188572409372611688\ 13248643279*c_0110_6^6 + 164331856592101493116382826243790120550/19\ 88921918857240937261168813248643279*c_0110_6^5 + 266665125255607073264397621407700739905/198892191885724093726116881\ 3248643279*c_0110_6^4 - 25709159536772331482057519437445869819/1988\ 921918857240937261168813248643279*c_0110_6^3 - 50901640876554915641375444153028629260/1988921918857240937261168813\ 248643279*c_0110_6^2 + 34729352096938031525638174173892968990/19889\ 21918857240937261168813248643279*c_0110_6 + 7397282807689401677819383225771890390/19889219188572409372611688132\ 48643279, c_0101_0 + 113049715220251222754816288118885968/19889219188572409372611\ 68813248643279*c_0110_6^20 - 2378918856471509307700271680790276843/\ 1988921918857240937261168813248643279*c_0110_6^19 + 11367287005900865764032796254112702398/1988921918857240937261168813\ 248643279*c_0110_6^18 - 8470126191823394459027488865966450369/19889\ 21918857240937261168813248643279*c_0110_6^17 - 27066767928463225129606296157440662080/1988921918857240937261168813\ 248643279*c_0110_6^16 + 52015503713167579419109918694806102635/1988\ 921918857240937261168813248643279*c_0110_6^15 - 72246277178822270166816551923337631498/1988921918857240937261168813\ 248643279*c_0110_6^14 + 52280270057896300709473565542901635769/1988\ 921918857240937261168813248643279*c_0110_6^13 + 42250522808309850762803977462102806806/1988921918857240937261168813\ 248643279*c_0110_6^12 - 107361986067926698274745514043729157177/198\ 8921918857240937261168813248643279*c_0110_6^11 - 25414868299350602242564305122634038908/1988921918857240937261168813\ 248643279*c_0110_6^10 + 185352528500895322928972780150060671231/198\ 8921918857240937261168813248643279*c_0110_6^9 + 184549406832791594944990522582478388891/198892191885724093726116881\ 3248643279*c_0110_6^8 + 49135458807827405192786308396745563628/1988\ 921918857240937261168813248643279*c_0110_6^7 - 40619920012685322004820909226546164657/1988921918857240937261168813\ 248643279*c_0110_6^6 - 35910340772827681824527294430111617937/19889\ 21918857240937261168813248643279*c_0110_6^5 - 17268801208852205863659877387136380060/1988921918857240937261168813\ 248643279*c_0110_6^4 - 6010875727360459025976237948525687100/198892\ 1918857240937261168813248643279*c_0110_6^3 - 2947598014481813469025799964158543310/19889219188572409372611688132\ 48643279*c_0110_6^2 + 3308324286247529124143370389831556593/1988921\ 918857240937261168813248643279*c_0110_6 - 22568835493533432079546310548796860/1988921918857240937261168813248\ 643279, c_0101_1 - 63984068123194661463380003766709077/198892191885724093726116\ 8813248643279*c_0110_6^20 + 1440492019625998853489988888484447174/1\ 988921918857240937261168813248643279*c_0110_6^19 - 8376434171890869754788346543475453845/19889219188572409372611688132\ 48643279*c_0110_6^18 + 13436116428172424997137473107738718109/19889\ 21918857240937261168813248643279*c_0110_6^17 + 12878471524208912216946443605122813400/1988921918857240937261168813\ 248643279*c_0110_6^16 - 58965353315380800432612447177488319758/1988\ 921918857240937261168813248643279*c_0110_6^15 + 77674077365936852098015510829660832304/1988921918857240937261168813\ 248643279*c_0110_6^14 - 60080250670632795621718363866738633543/1988\ 921918857240937261168813248643279*c_0110_6^13 - 24550070575082186722454587997083200265/1988921918857240937261168813\ 248643279*c_0110_6^12 + 135103534358503886028756219131277644364/198\ 8921918857240937261168813248643279*c_0110_6^11 - 68593943559706014559045891682022499547/1988921918857240937261168813\ 248643279*c_0110_6^10 - 194657154150369575033585812194093823831/198\ 8921918857240937261168813248643279*c_0110_6^9 + 95108523523457215869201919902712817551/1988921918857240937261168813\ 248643279*c_0110_6^8 + 201129031974152857008738512962560475763/1988\ 921918857240937261168813248643279*c_0110_6^7 + 38030408546434209371935965544313235564/1988921918857240937261168813\ 248643279*c_0110_6^6 - 75498323746514462303898068421457744281/19889\ 21918857240937261168813248643279*c_0110_6^5 - 38606436883518758195031233420991220052/1988921918857240937261168813\ 248643279*c_0110_6^4 + 4073002867497324499933261267004203373/198892\ 1918857240937261168813248643279*c_0110_6^3 + 6409100649891320557916694048441172493/19889219188572409372611688132\ 48643279*c_0110_6^2 - 3591612006766245270817399955991024237/1988921\ 918857240937261168813248643279*c_0110_6 + 554705440641334879080537128544426776/198892191885724093726116881324\ 8643279, c_0101_2 + 1286434524243119968464737273718108173/1988921918857240937261\ 168813248643279*c_0110_6^20 - 2736786075016669071668536936120629572\ 5/1988921918857240937261168813248643279*c_0110_6^19 + 134821261484811787015021098733834348371/198892191885724093726116881\ 3248643279*c_0110_6^18 - 109470579853388650953336628176973672730/19\ 88921918857240937261168813248643279*c_0110_6^17 - 369862836406016874293235377102353948882/198892191885724093726116881\ 3248643279*c_0110_6^16 + 741886309868891205024211037540972290086/19\ 88921918857240937261168813248643279*c_0110_6^15 - 760186427349842969600989342353101175787/198892191885724093726116881\ 3248643279*c_0110_6^14 + 322016991265083122448199095121794767312/19\ 88921918857240937261168813248643279*c_0110_6^13 + 921051319523666633880483466919398673692/198892191885724093726116881\ 3248643279*c_0110_6^12 - 1688644841019626607346981205786930479719/1\ 988921918857240937261168813248643279*c_0110_6^11 - 455008378112411325568616539749390916954/198892191885724093726116881\ 3248643279*c_0110_6^10 + 3275125946336898751176089201247786524162/1\ 988921918857240937261168813248643279*c_0110_6^9 + 1555035556576756962582003245692715489845/19889219188572409372611688\ 13248643279*c_0110_6^8 - 1627372169861554613327210642860028973436/1\ 988921918857240937261168813248643279*c_0110_6^7 - 1252217063582199467030918950404054669880/19889219188572409372611688\ 13248643279*c_0110_6^6 + 194150540670339737595420027836017226065/19\ 88921918857240937261168813248643279*c_0110_6^5 + 253227655485224012384058356841916297897/198892191885724093726116881\ 3248643279*c_0110_6^4 - 27293192833447545807121542315604071249/1988\ 921918857240937261168813248643279*c_0110_6^3 - 46530457948273996952935389613817081975/1988921918857240937261168813\ 248643279*c_0110_6^2 + 33651799223798868293042362906094219570/19889\ 21918857240937261168813248643279*c_0110_6 + 7042486867868928772002274248447614210/19889219188572409372611688132\ 48643279, c_0101_3 - 1169065155441922082858773967111090435/1988921918857240937261\ 168813248643279*c_0110_6^20 + 2472775295023592171486760286836607319\ 6/1988921918857240937261168813248643279*c_0110_6^19 - 119495764087963658589860375911680471911/198892191885724093726116881\ 3248643279*c_0110_6^18 + 84897174217700395656139758584909442706/198\ 8921918857240937261168813248643279*c_0110_6^17 + 346623082293532477939532399486962305301/198892191885724093726116881\ 3248643279*c_0110_6^16 - 633244405705589794355402814283248094344/19\ 88921918857240937261168813248643279*c_0110_6^15 + 613101267987027731717883327728858715143/198892191885724093726116881\ 3248643279*c_0110_6^14 - 210185611173620714681088971674454374954/19\ 88921918857240937261168813248643279*c_0110_6^13 - 866613295133357068473547962015620799463/198892191885724093726116881\ 3248643279*c_0110_6^12 + 1424788167053342441498442851297953037528/1\ 988921918857240937261168813248643279*c_0110_6^11 + 600671830521508704297856246865509700676/198892191885724093726116881\ 3248643279*c_0110_6^10 - 2927061097739516956408458128152489019507/1\ 988921918857240937261168813248643279*c_0110_6^9 - 1757138192176665597674174013866294251728/19889219188572409372611688\ 13248643279*c_0110_6^8 + 1301483892973319253816907727910941912253/1\ 988921918857240937261168813248643279*c_0110_6^7 + 1236742960155242512255032645074415925211/19889219188572409372611688\ 13248643279*c_0110_6^6 - 111898640520182237663269978266591567232/19\ 88921918857240937261168813248643279*c_0110_6^5 - 237857877560637208286932713168300486328/198892191885724093726116881\ 3248643279*c_0110_6^4 + 25488095936469350433458335915175689464/1988\ 921918857240937261168813248643279*c_0110_6^3 + 43587118179471446419203105902827800392/1988921918857240937261168813\ 248643279*c_0110_6^2 - 29611293209136017374033234241540434267/19889\ 21918857240937261168813248643279*c_0110_6 - 6945655559724778264561841597498970232/19889219188572409372611688132\ 48643279, c_0110_6^21 - 21*c_0110_6^20 + 99*c_0110_6^19 - 57*c_0110_6^18 - 308*c_0110_6^17 + 497*c_0110_6^16 - 442*c_0110_6^15 + 100*c_0110_6^14 + 773*c_0110_6^13 - 1114*c_0110_6^12 - 692*c_0110_6^11 + 2422*c_0110_6^10 + 1883*c_0110_6^9 - 877*c_0110_6^8 - 1245*c_0110_6^7 - 97*c_0110_6^6 + 215*c_0110_6^5 + 21*c_0110_6^4 - 39*c_0110_6^3 + 17*c_0110_6^2 + 10*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB