Magma V2.19-8 Tue Aug 20 2013 16:14:21 on localhost [Seed = 155751720] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s334 geometric_solution 4.52527718 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581610908605 0.182481799111 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.853113184553 0.308627221300 1 3 1 4 0132 0132 1023 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 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 1.358442536421 0.579356432620 4 2 5 4 3120 0132 0132 2310 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 1 -1 0 0 0 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.302822892069 0.728632409564 3 5 2 3 3201 1023 0132 3120 0 0 0 0 0 1 0 -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.302822892069 0.728632409564 4 5 5 3 1023 3201 2310 0132 0 0 0 0 0 0 0 0 -1 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 0 0 0 1 -1 -1 0 1 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.486378958938 1.170292874459 ==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' : negation(d['1']), 's_1_5' : negation(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_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_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 116370398659403298748368989618461576539710967/820981894433381074667\ 790074430650635585522*c_0101_5^19 + 646090633362990804687496101502673800456997231/410490947216690537333\ 895037215325317792761*c_0101_5^18 - 1533615609095214895024186967237423202811303725/82098189443338107466\ 7790074430650635585522*c_0101_5^17 - 8400973587099133679883812828964214217956807629/41049094721669053733\ 3895037215325317792761*c_0101_5^16 + 77836879054849011271505481934956553297116506171/8209818944333810746\ 67790074430650635585522*c_0101_5^15 + 176820829088973102812804142743995770394766275807/410490947216690537\ 333895037215325317792761*c_0101_5^14 - 393766505682022726139770955676263756396597072027/820981894433381074\ 667790074430650635585522*c_0101_5^13 + 404054033398535854020590394199128884154523815575/820981894433381074\ 667790074430650635585522*c_0101_5^12 - 992930042016101535990193146255892059769270170763/820981894433381074\ 667790074430650635585522*c_0101_5^11 - 993233016245659289538084655642658565704916638620/410490947216690537\ 333895037215325317792761*c_0101_5^10 + 5319178070890978755934395017388713648680482999747/82098189443338107\ 4667790074430650635585522*c_0101_5^9 - 1635553364049098636114551513885190625346948380495/41049094721669053\ 7333895037215325317792761*c_0101_5^8 + 440728961685217027512317924348792572572170844647/820981894433381074\ 667790074430650635585522*c_0101_5^7 + 289635205182096192061699957896276377519514574127/820981894433381074\ 667790074430650635585522*c_0101_5^6 - 234504963482596686249091717971568546719749497100/410490947216690537\ 333895037215325317792761*c_0101_5^5 + 252408742303247445694261202677983886295651138263/820981894433381074\ 667790074430650635585522*c_0101_5^4 + 11135173669110792883613801313325449989406360053/4104909472166905373\ 33895037215325317792761*c_0101_5^3 - 17002280619355752732535376550112677679206857099/4104909472166905373\ 33895037215325317792761*c_0101_5^2 + 1661609574203107994561326043057523127387066509/82098189443338107466\ 7790074430650635585522*c_0101_5 + 433309035180970577830926523603049\ 518828178150/410490947216690537333895037215325317792761, c_0011_0 - 1, c_0011_1 - 111893897835117168317346360761399313841272/41049094721669053\ 7333895037215325317792761*c_0101_5^19 + 1187981821798160343687825525466477835894660/41049094721669053733389\ 5037215325317792761*c_0101_5^18 - 903198643186159688361698514931302\ 679818574/410490947216690537333895037215325317792761*c_0101_5^17 - 16522109839429178085904554671843054227384715/4104909472166905373338\ 95037215325317792761*c_0101_5^16 + 66761090199618517398049243293624362371332638/4104909472166905373338\ 95037215325317792761*c_0101_5^15 + 371499997026976832770548634462088197295163052/410490947216690537333\ 895037215325317792761*c_0101_5^14 - 193792053764252567545784098753027452693884319/410490947216690537333\ 895037215325317792761*c_0101_5^13 + 318854461709200054292735532989459025071659042/410490947216690537333\ 895037215325317792761*c_0101_5^12 - 803216747795166760968938318483046241012169109/410490947216690537333\ 895037215325317792761*c_0101_5^11 - 2278076932625825220392954474572178114261658364/41049094721669053733\ 3895037215325317792761*c_0101_5^10 + 3959920243760631269572502144109367573770286849/41049094721669053733\ 3895037215325317792761*c_0101_5^9 - 1371909449770801882137647089731732842784209696/41049094721669053733\ 3895037215325317792761*c_0101_5^8 - 49727606330097178213445897969336362806610139/4104909472166905373338\ 95037215325317792761*c_0101_5^7 + 204702083802407628779835100908637\ 584789926011/410490947216690537333895037215325317792761*c_0101_5^6 - 331865032760537229719439580268689287690741099/410490947216690537333\ 895037215325317792761*c_0101_5^5 + 83503260027095019489968941421677898357989074/4104909472166905373338\ 95037215325317792761*c_0101_5^4 + 461840785853183376899060014665238\ 46011808018/410490947216690537333895037215325317792761*c_0101_5^3 - 9612506595860234734689163157257046184767034/41049094721669053733389\ 5037215325317792761*c_0101_5^2 - 2830662441458014921294642374569003\ 282228443/410490947216690537333895037215325317792761*c_0101_5 + 35809028668357982728495484743618170156241/4104909472166905373338950\ 37215325317792761, c_0011_4 + 12873849471092522380534397785525316548065/410490947216690537\ 333895037215325317792761*c_0101_5^19 - 115512960927101657933331866632590305579755/410490947216690537333895\ 037215325317792761*c_0101_5^18 - 1186109909169248062023427085939630\ 18384201/410490947216690537333895037215325317792761*c_0101_5^17 + 2049740752701800824945214031109038335403593/41049094721669053733389\ 5037215325317792761*c_0101_5^16 - 455377243104125134940229878306977\ 5628959445/410490947216690537333895037215325317792761*c_0101_5^15 - 55034043075986971640724590877041258561422108/4104909472166905373338\ 95037215325317792761*c_0101_5^14 - 49082105086272540013534523716136536776688864/4104909472166905373338\ 95037215325317792761*c_0101_5^13 - 8317326685786082546616376740087054889638374/41049094721669053733389\ 5037215325317792761*c_0101_5^12 + 306043268940253095272735514350241\ 62537722289/410490947216690537333895037215325317792761*c_0101_5^11 + 409752688737005110791479123111881092252189963/410490947216690537333\ 895037215325317792761*c_0101_5^10 - 12445399418728210223115811387892048873701734/4104909472166905373338\ 95037215325317792761*c_0101_5^9 - 535158116749462783191631687148886\ 893966848988/410490947216690537333895037215325317792761*c_0101_5^8 + 220132873384293210976576608928426337300554413/410490947216690537333\ 895037215325317792761*c_0101_5^7 - 38288545169024343106290364532225245127724846/4104909472166905373338\ 95037215325317792761*c_0101_5^6 + 101669305528426907897203330027560\ 21207147128/410490947216690537333895037215325317792761*c_0101_5^5 + 52812834731198010015510238218705833313003431/4104909472166905373338\ 95037215325317792761*c_0101_5^4 - 160385007414379712651227096592959\ 53190859228/410490947216690537333895037215325317792761*c_0101_5^3 - 4431787255360221798447368323256039491363354/41049094721669053733389\ 5037215325317792761*c_0101_5^2 + 4937066496070245146472859744706624\ 71513196/410490947216690537333895037215325317792761*c_0101_5 - 22657141026785991868949150470362524394796/4104909472166905373338950\ 37215325317792761, c_0101_0 + 457271785904264140117255929714257109045621/41049094721669053\ 7333895037215325317792761*c_0101_5^19 - 4964312292104297186937583269534517046802129/41049094721669053733389\ 5037215325317792761*c_0101_5^18 + 480363015165901960765604801481627\ 2517886834/410490947216690537333895037215325317792761*c_0101_5^17 + 67135616262711217963305466476145354548895928/4104909472166905373338\ 95037215325317792761*c_0101_5^16 - 289136440089799186044078409303574285473151616/410490947216690537333\ 895037215325317792761*c_0101_5^15 - 1460221212427401276836571384307481323468549863/41049094721669053733\ 3895037215325317792761*c_0101_5^14 + 1180996796880858965408181846551405774981711973/41049094721669053733\ 3895037215325317792761*c_0101_5^13 - 1316106289023177532279186904412326304968483772/41049094721669053733\ 3895037215325317792761*c_0101_5^12 + 3601132983930187961038828988295898727488062501/41049094721669053733\ 3895037215325317792761*c_0101_5^11 + 8680465064890877998151755583646736597255448217/41049094721669053733\ 3895037215325317792761*c_0101_5^10 - 18689159982603947842537387571044186208050864143/4104909472166905373\ 33895037215325317792761*c_0101_5^9 + 8346326675747373743056004565019376971852355359/41049094721669053733\ 3895037215325317792761*c_0101_5^8 + 6156364397817271168592048105358771882961216/41049094721669053733389\ 5037215325317792761*c_0101_5^7 - 9777702839081119227255474616215970\ 45554425867/410490947216690537333895037215325317792761*c_0101_5^6 + 1599691733899849814205312978029337614688444817/41049094721669053733\ 3895037215325317792761*c_0101_5^5 - 605849394271053244836072432082937383566248769/410490947216690537333\ 895037215325317792761*c_0101_5^4 - 210583440949765810287181138393620462566070246/410490947216690537333\ 895037215325317792761*c_0101_5^3 + 70818495428646469438265250693624509241835062/4104909472166905373338\ 95037215325317792761*c_0101_5^2 + 674826911275508882483984757283958\ 1877757568/410490947216690537333895037215325317792761*c_0101_5 - 652426221916253979816092435111467067825678/410490947216690537333895\ 037215325317792761, c_0101_1 - 21811789657588179629305589146767261256683/410490947216690537\ 333895037215325317792761*c_0101_5^19 + 188885962395248615721492102636913041638483/410490947216690537333895\ 037215325317792761*c_0101_5^18 + 2751804256946457225215350866076709\ 64310998/410490947216690537333895037215325317792761*c_0101_5^17 - 3546512511584469699332981120289866519861824/41049094721669053733389\ 5037215325317792761*c_0101_5^16 + 672032365253294021164826172893971\ 4582072146/410490947216690537333895037215325317792761*c_0101_5^15 + 97575611855814764608768213516569883709389535/4104909472166905373338\ 95037215325317792761*c_0101_5^14 + 104789223900590389176271044536296280963079707/410490947216690537333\ 895037215325317792761*c_0101_5^13 - 3681406308882778500140847573835674216476496/41049094721669053733389\ 5037215325317792761*c_0101_5^12 - 299511133862100540592602808255903\ 92263407736/410490947216690537333895037215325317792761*c_0101_5^11 - 747874883320941603297347130762919871225616207/410490947216690537333\ 895037215325317792761*c_0101_5^10 - 103602541499210026017327496571417714419531032/410490947216690537333\ 895037215325317792761*c_0101_5^9 + 1186355475269618920267379292191992695668424230/41049094721669053733\ 3895037215325317792761*c_0101_5^8 - 512948369859601218979901188148801679767793743/410490947216690537333\ 895037215325317792761*c_0101_5^7 + 77854853081615149561141188959507377605978242/4104909472166905373338\ 95037215325317792761*c_0101_5^6 - 144173702119762039905260848225382\ 04314769965/410490947216690537333895037215325317792761*c_0101_5^5 - 106193993481080005398398323111351651469554046/410490947216690537333\ 895037215325317792761*c_0101_5^4 + 36200273178309893338047381086765725704983138/4104909472166905373338\ 95037215325317792761*c_0101_5^3 + 104598212186726731278482930824770\ 51160654158/410490947216690537333895037215325317792761*c_0101_5^2 - 1797116197477425788588817426412606624608485/41049094721669053733389\ 5037215325317792761*c_0101_5 - 132032452462338974710302888039956084\ 641677/410490947216690537333895037215325317792761, c_0101_5^20 - 11*c_0101_5^19 + 12*c_0101_5^18 + 146*c_0101_5^17 - 654*c_0101_5^16 - 3112*c_0101_5^15 + 3081*c_0101_5^14 - 3040*c_0101_5^13 + 8145*c_0101_5^12 + 18026*c_0101_5^11 - 44090*c_0101_5^10 + 22853*c_0101_5^9 - 125*c_0101_5^8 - 3082*c_0101_5^7 + 3763*c_0101_5^6 - 1707*c_0101_5^5 - 482*c_0101_5^4 + 282*c_0101_5^3 + 24*c_0101_5^2 - 10*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB