Magma V2.19-8 Tue Aug 20 2013 16:18:17 on localhost [Seed = 1579139946] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2494 geometric_solution 5.81834737 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 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 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 1.345796532981 1.272864211497 0 3 5 4 0132 0132 0132 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 -1 0 1 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508398098728 0.653574180800 4 5 3 0 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508398098728 0.653574180800 3 1 2 3 3201 0132 1023 2310 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 1 0 -1 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.062785382459 0.648933106605 2 4 1 4 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.193229890675 0.713889040729 2 6 6 1 1023 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.231753840257 0.459245259923 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.965438081196 0.898822793145 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], '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_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], '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' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_3'], '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' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_3'], '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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 624351299900541726080810893577194303/466193146546223011779482315835\ 2156*c_0101_6^18 + 1444563737240278167737021224387269611/4661931465\ 462230117794823158352156*c_0101_6^17 + 38481414119263076442484763405577286271/1864772586184892047117929263\ 3408624*c_0101_6^16 - 13800484468380069450599432888948255759/186477\ 25861848920471179292633408624*c_0101_6^15 - 177281783738131433243331132425781138345/186477258618489204711792926\ 33408624*c_0101_6^14 - 53306279970794988143954275205068436201/93238\ 62930924460235589646316704312*c_0101_6^13 + 112842264187853428575629824418039022983/932386293092446023558964631\ 6704312*c_0101_6^12 + 224154501021643675398486150158408134165/18647\ 725861848920471179292633408624*c_0101_6^11 - 45548054428968068840772028886826053837/1864772586184892047117929263\ 3408624*c_0101_6^10 + 92638183077841063946909796651445329677/186477\ 25861848920471179292633408624*c_0101_6^9 + 70598297519443006891783008728663185497/9323862930924460235589646316\ 704312*c_0101_6^8 - 198077614231906287832298696731859494691/1864772\ 5861848920471179292633408624*c_0101_6^7 - 30478367720342494062660036166539464659/1864772586184892047117929263\ 3408624*c_0101_6^6 + 73085462740828409304748334157279369427/9323862\ 930924460235589646316704312*c_0101_6^5 - 3120057467732255565845002254745149861/11654828663655575294487057895\ 88039*c_0101_6^4 - 10080232298876993609998253580226456287/932386293\ 0924460235589646316704312*c_0101_6^3 + 15021760677556593339153639441400419123/1864772586184892047117929263\ 3408624*c_0101_6^2 - 615476113721134213907140712626133489/932386293\ 0924460235589646316704312*c_0101_6 - 162571746168208583052251881774135691/233096573273111505889741157917\ 6078, c_0011_0 - 1, c_0011_2 - 17367297611761308487420650689304604/349644859909667258834611\ 7368764117*c_0101_6^18 + 37243862740081707974622212977143176/349644\ 8599096672588346117368764117*c_0101_6^17 + 275754889291606220302957423239750335/349644859909667258834611736876\ 4117*c_0101_6^16 - 53688638227925156664442516039263326/349644859909\ 6672588346117368764117*c_0101_6^15 - 1269766440640100698403108486810460367/34964485990966725883461173687\ 64117*c_0101_6^14 - 945041111479264165380567014967051991/3496448599\ 096672588346117368764117*c_0101_6^13 + 1533559487306040770070431983901957140/34964485990966725883461173687\ 64117*c_0101_6^12 + 1888500059617717421761242069752688184/349644859\ 9096672588346117368764117*c_0101_6^11 - 46562165396879495969991488964543315/1165482866365557529448705789588\ 039*c_0101_6^10 + 164689933627778699283585707958349604/116548286636\ 5557529448705789588039*c_0101_6^9 + 1081901187952649778884252501681875810/34964485990966725883461173687\ 64117*c_0101_6^8 - 437786276608009705968342424287086406/11654828663\ 65557529448705789588039*c_0101_6^7 - 543315882938973087194200093313467399/349644859909667258834611736876\ 4117*c_0101_6^6 + 1060701822274399604950743427365652447/34964485990\ 96672588346117368764117*c_0101_6^5 - 186072224714091780343516526061411097/349644859909667258834611736876\ 4117*c_0101_6^4 - 256443389457531356186401837039621742/349644859909\ 6672588346117368764117*c_0101_6^3 + 39292862470984332008255912550845230/1165482866365557529448705789588\ 039*c_0101_6^2 + 4008231848706969279400573986348452/349644859909667\ 2588346117368764117*c_0101_6 - 16198010918919476619422139857756810/\ 3496448599096672588346117368764117, c_0101_0 - 3732219211287555851479075203117513/2330965732731115058897411\ 579176078*c_0101_6^18 + 6284859346072211709723988994286835/23309657\ 32731115058897411579176078*c_0101_6^17 + 253704023458718909412700384087826097/932386293092446023558964631670\ 4312*c_0101_6^16 + 57141938762465941169630991241190857/932386293092\ 4460235589646316704312*c_0101_6^15 - 1136826953026156080579332080632100465/93238629309244602355896463167\ 04312*c_0101_6^14 - 644974952248461338920629642630327797/4661931465\ 462230117794823158352156*c_0101_6^13 + 523244145261361521849903906381527263/466193146546223011779482315835\ 2156*c_0101_6^12 + 2249817150480085272811671949315175323/9323862930\ 924460235589646316704312*c_0101_6^11 + 506922593347862442060209997727536671/932386293092446023558964631670\ 4312*c_0101_6^10 + 308728133515162019918337277761495369/93238629309\ 24460235589646316704312*c_0101_6^9 + 562195582777320036524965060408908661/466193146546223011779482315835\ 2156*c_0101_6^8 - 830556921122363669456201955151811133/932386293092\ 4460235589646316704312*c_0101_6^7 - 999849050812438126353561761753865015/932386293092446023558964631670\ 4312*c_0101_6^6 + 198095813104726236113963359178664633/233096573273\ 1115058897411579176078*c_0101_6^5 + 99191311078129146837972487302694343/4661931465462230117794823158352\ 156*c_0101_6^4 - 144805741649698929638086223911013023/4661931465462\ 230117794823158352156*c_0101_6^3 + 24754407877454889796230116402721211/9323862930924460235589646316704\ 312*c_0101_6^2 + 15200082335301082038566962529213367/46619314654622\ 30117794823158352156*c_0101_6 - 2926241163318938277686334842625655/\ 2330965732731115058897411579176078, c_0101_1 + 3680505067244734574319230136030434/1165482866365557529448705\ 789588039*c_0101_6^18 - 7715252960092380562958502741489182/11654828\ 66365557529448705789588039*c_0101_6^17 - 116960472352748676015419965932848945/233096573273111505889741157917\ 6078*c_0101_6^16 + 15766588192632595075223572969070923/233096573273\ 1115058897411579176078*c_0101_6^15 + 527808979944534468334583993641436831/233096573273111505889741157917\ 6078*c_0101_6^14 + 214314837798600204031980852306591108/11654828663\ 65557529448705789588039*c_0101_6^13 - 287615683982080232041953746290367276/116548286636555752944870578958\ 8039*c_0101_6^12 - 795056145063431656378101058431596273/23309657327\ 31115058897411579176078*c_0101_6^11 - 57017586431898506040082927911901889/2330965732731115058897411579176\ 078*c_0101_6^10 - 289727158680701219341196135370804955/233096573273\ 1115058897411579176078*c_0101_6^9 - 222875623049778378124584414156069264/116548286636555752944870578958\ 8039*c_0101_6^8 + 526321718085632226737239010714028041/233096573273\ 1115058897411579176078*c_0101_6^7 + 214312266797893844117254159033151311/233096573273111505889741157917\ 6078*c_0101_6^6 - 180648742214650960971298598763682754/116548286636\ 5557529448705789588039*c_0101_6^5 + 40246585508859391957043302761125226/1165482866365557529448705789588\ 039*c_0101_6^4 + 26197068635601393114110461774626366/11654828663655\ 57529448705789588039*c_0101_6^3 - 300511101463741579602797429105682\ 93/2330965732731115058897411579176078*c_0101_6^2 + 1725426333059383918375958900286688/11654828663655575294487057895880\ 39*c_0101_6 + 938188071044160457857221062007698/1165482866365557529\ 448705789588039, c_0101_2 + 2588180307825757635034722789915139/6992897198193345176692234\ 737528234*c_0101_6^18 - 5402058500659233547170894626724833/69928971\ 98193345176692234737528234*c_0101_6^17 - 163479359351646959227804813278722939/279715887927733807067689389501\ 12936*c_0101_6^16 + 21106512574748329074584012466208973/27971588792\ 773380706768938950112936*c_0101_6^15 + 709950036190390924972116216877649179/279715887927733807067689389501\ 12936*c_0101_6^14 + 294060874902831295223176487341171295/1398579439\ 6386690353384469475056468*c_0101_6^13 - 312910088091762220603488473556464189/139857943963866903533844694750\ 56468*c_0101_6^12 - 950233002161998241364295402604389705/2797158879\ 2773380706768938950112936*c_0101_6^11 - 126116340357322947291742341217844423/932386293092446023558964631670\ 4312*c_0101_6^10 - 261754944004313476894546459109460889/93238629309\ 24460235589646316704312*c_0101_6^9 - 232465090018782002829118278973718231/139857943963866903533844694750\ 56468*c_0101_6^8 + 288400169561497765929544977098511757/93238629309\ 24460235589646316704312*c_0101_6^7 + 45708711625044754058819294776422949/2797158879277338070676893895011\ 2936*c_0101_6^6 - 54413230858659514746379816193554261/6992897198193\ 345176692234737528234*c_0101_6^5 + 156023094586914073206075770405756663/139857943963866903533844694750\ 56468*c_0101_6^4 - 127880565183255196092139385088399263/13985794396\ 386690353384469475056468*c_0101_6^3 + 15703825570298520805486105970611173/9323862930924460235589646316704\ 312*c_0101_6^2 + 35319878674565726504029640334651611/13985794396386\ 690353384469475056468*c_0101_6 - 7061112341038783581464574262149691\ /6992897198193345176692234737528234, c_0101_3 - 20222005725740946943282615780889026/349644859909667258834611\ 7368764117*c_0101_6^18 + 44635198257967405328758705616101130/349644\ 8599096672588346117368764117*c_0101_6^17 + 635998886686924243196212967175827281/699289719819334517669223473752\ 8234*c_0101_6^16 - 162216580305377813328301866614540857/69928971981\ 93345176692234737528234*c_0101_6^15 - 2941511413249924191870284529205571843/69928971981933451766922347375\ 28234*c_0101_6^14 - 1020155974535648618727196528144316692/349644859\ 9096672588346117368764117*c_0101_6^13 + 1832546913605989841771319221191143019/34964485990966725883461173687\ 64117*c_0101_6^12 + 4232306524230429833327167472082531953/699289719\ 8193345176692234737528234*c_0101_6^11 - 156849647522849170670137867572870211/233096573273111505889741157917\ 6078*c_0101_6^10 + 386207213731372169787030492447702441/23309657327\ 31115058897411579176078*c_0101_6^9 + 1167365880021260907792340320527526508/34964485990966725883461173687\ 64117*c_0101_6^8 - 1074668737067966598174318144922428603/2330965732\ 731115058897411579176078*c_0101_6^7 - 1143833888238130888319982159830601401/69928971981933451766922347375\ 28234*c_0101_6^6 + 1204264346307013110651338329019592154/3496448599\ 096672588346117368764117*c_0101_6^5 - 265261126885259649953916888599435218/349644859909667258834611736876\ 4117*c_0101_6^4 - 265997194188743088501470578401660368/349644859909\ 6672588346117368764117*c_0101_6^3 + 89374187547563602904947790320520979/2330965732731115058897411579176\ 078*c_0101_6^2 + 2455715858443804607414630386054256/349644859909667\ 2588346117368764117*c_0101_6 - 17232291484872483668552617815195962/\ 3496448599096672588346117368764117, c_0101_6^19 - 13/7*c_0101_6^18 - 463/28*c_0101_6^17 - 39/28*c_0101_6^16 + 2091/28*c_0101_6^15 + 151/2*c_0101_6^14 - 1059/14*c_0101_6^13 - 3845/28*c_0101_6^12 - 577/28*c_0101_6^11 - 579/28*c_0101_6^10 - 965/14*c_0101_6^9 + 1655/28*c_0101_6^8 + 223/4*c_0101_6^7 - 54*c_0101_6^6 - 123/14*c_0101_6^5 + 39/2*c_0101_6^4 - 61/28*c_0101_6^3 - 37/14*c_0101_6^2 + 6/7*c_0101_6 + 2/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB