Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 3381155108] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0695 geometric_solution 4.65392345 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 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 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.494755198567 0.082487196429 2 0 2 0 0132 2310 1023 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 1 -1 -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.538706366688 0.245380489694 1 3 1 4 0132 0132 1023 0132 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 1 -1 0 1 0 -1 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.816149978937 2.967042865361 5 2 5 4 0132 0132 1023 3120 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 -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.661215796139 0.978954374491 3 6 2 6 3120 0132 0132 1023 0 0 0 0 0 0 0 0 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 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.661215796139 0.978954374491 3 6 3 6 0132 3201 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615809602583 0.226505437253 5 4 5 4 3201 0132 2310 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615809602583 0.226505437253 ==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' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['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_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0110_6'], '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' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0011_4']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 47767973420922309109041895319849871378138398/6030056297462382738311\ 6911599614595503315*c_0110_6^22 + 395101736114348813630247939390319\ 762300524562/60300562974623827383116911599614595503315*c_0110_6^21 + 659656869207155425126003143507868076452611586/603005629746238273831\ 16911599614595503315*c_0110_6^20 - 724312132259039228218595951318032667978845734/603005629746238273831\ 16911599614595503315*c_0110_6^19 - 5054433641741435707560399297566015884017374978/60300562974623827383\ 116911599614595503315*c_0110_6^18 - 4103649726666963552552872543293381807726769097/60300562974623827383\ 116911599614595503315*c_0110_6^17 + 6979919506852667421018021001053216292329453923/60300562974623827383\ 116911599614595503315*c_0110_6^16 - 25480401635949522983630735537705941418187689751/6030056297462382738\ 3116911599614595503315*c_0110_6^15 + 10709163487630793581398935849909521280958361093/6030056297462382738\ 3116911599614595503315*c_0110_6^14 - 686874908425246228418267916582251449043868353/603005629746238273831\ 16911599614595503315*c_0110_6^13 + 139431109317856481774068545966255611491520884633/603005629746238273\ 83116911599614595503315*c_0110_6^12 + 163940806320736210330816751307875478783180354366/603005629746238273\ 83116911599614595503315*c_0110_6^11 - 16043058727391797537347949305761622367007975843/1206011259492476547\ 6623382319922919100663*c_0110_6^10 + 169007843810671325011177789117341299758018482153/603005629746238273\ 83116911599614595503315*c_0110_6^9 - 202077833263943753350098046099392971104110374038/603005629746238273\ 83116911599614595503315*c_0110_6^8 + 29441954559507636767563552437939295659616133308/6030056297462382738\ 3116911599614595503315*c_0110_6^7 - 10291416705384129158412516275117608140575814903/1206011259492476547\ 6623382319922919100663*c_0110_6^6 - 19181028831903393764117575307947990702238074828/6030056297462382738\ 3116911599614595503315*c_0110_6^5 + 18562773774790703825454450188591444104768824933/6030056297462382738\ 3116911599614595503315*c_0110_6^4 - 5925978025624114665506636897716148690308892499/60300562974623827383\ 116911599614595503315*c_0110_6^3 + 1090959482718397230671641592794032283802203705/12060112594924765476\ 623382319922919100663*c_0110_6^2 - 67436950183704300705924717206933940939262387/6030056297462382738311\ 6911599614595503315*c_0110_6 - 322530923764615651683162234382578487\ 521597148/60300562974623827383116911599614595503315, c_0011_0 - 1, c_0011_1 + 4180082359357583475226224251246099592173/1206011259492476547\ 6623382319922919100663*c_0110_6^22 - 35415921528984141902858469504104842961459/1206011259492476547662338\ 2319922919100663*c_0110_6^21 - 519337362334625718313256301752587817\ 20777/12060112594924765476623382319922919100663*c_0110_6^20 + 85167263943842046106649316585110881158225/1206011259492476547662338\ 2319922919100663*c_0110_6^19 + 442043250164879753961469767926868652\ 994217/12060112594924765476623382319922919100663*c_0110_6^18 + 240190277922607640687021908280099482759028/120601125949247654766233\ 82319922919100663*c_0110_6^17 - 80534545185680028669788025152037194\ 0845342/12060112594924765476623382319922919100663*c_0110_6^16 + 2320986503386578391045042125107375187246599/12060112594924765476623\ 382319922919100663*c_0110_6^15 - 1109669059242389489769732586655616\ 091243363/12060112594924765476623382319922919100663*c_0110_6^14 - 429907286762422373153760520392550013596501/120601125949247654766233\ 82319922919100663*c_0110_6^13 - 11814690746154048783040958262686707\ 125948309/12060112594924765476623382319922919100663*c_0110_6^12 - 11675654206146637996036209077232555546300963/1206011259492476547662\ 3382319922919100663*c_0110_6^11 + 131251381976545049255185616006727\ 86507707859/12060112594924765476623382319922919100663*c_0110_6^10 - 13780442210563967132395075107127043566757658/1206011259492476547662\ 3382319922919100663*c_0110_6^9 + 1531353371140824952421024103667373\ 8395692891/12060112594924765476623382319922919100663*c_0110_6^8 - 2438993546256049572017324325360900925799253/12060112594924765476623\ 382319922919100663*c_0110_6^7 + 83029291482261150832340235331884514\ 4854771/12060112594924765476623382319922919100663*c_0110_6^6 + 1662028817478410631815827871318148747402330/12060112594924765476623\ 382319922919100663*c_0110_6^5 - 14449141493735851242785278042770485\ 46272762/12060112594924765476623382319922919100663*c_0110_6^4 + 444750806114648997796879485450556451632266/120601125949247654766233\ 82319922919100663*c_0110_6^3 - 125317193895592716161899151271983873\ 763104/12060112594924765476623382319922919100663*c_0110_6^2 - 9594413336290309722929154035984148977984/12060112594924765476623382\ 319922919100663*c_0110_6 + 1322557540766055569052885392541146572676\ 6/12060112594924765476623382319922919100663, c_0011_4 + 6728949866626849605954268568159784224982/1206011259492476547\ 6623382319922919100663*c_0110_6^22 - 53392942247757022022396000296487896672678/1206011259492476547662338\ 2319922919100663*c_0110_6^21 - 112303753253118130605192837435216316\ 208984/12060112594924765476623382319922919100663*c_0110_6^20 + 75514049469867719249933140152737181904507/1206011259492476547662338\ 2319922919100663*c_0110_6^19 + 761190432166681747994922576774314310\ 998977/12060112594924765476623382319922919100663*c_0110_6^18 + 813824748863328157646962200291150771488157/120601125949247654766233\ 82319922919100663*c_0110_6^17 - 87609002887028976838887461695941356\ 8122218/12060112594924765476623382319922919100663*c_0110_6^16 + 3135502940192941402721543093778413453780601/12060112594924765476623\ 382319922919100663*c_0110_6^15 - 2122295714513786292982020847685079\ 86830604/12060112594924765476623382319922919100663*c_0110_6^14 - 596510909655931133696807414897367386153632/120601125949247654766233\ 82319922919100663*c_0110_6^13 - 19860309294974757798898392809526116\ 013741524/12060112594924765476623382319922919100663*c_0110_6^12 - 29421016806894646766326499557310827090171650/1206011259492476547662\ 3382319922919100663*c_0110_6^11 + 552352031849552307159661017600905\ 8503612764/12060112594924765476623382319922919100663*c_0110_6^10 - 15955551932603926096868789581945185681265090/1206011259492476547662\ 3382319922919100663*c_0110_6^9 + 2042173245706998761265498729364092\ 6940373128/12060112594924765476623382319922919100663*c_0110_6^8 + 4391481289595507447017743028715567119195169/12060112594924765476623\ 382319922919100663*c_0110_6^7 + 53880935531010216002218981412706194\ 27901937/12060112594924765476623382319922919100663*c_0110_6^6 + 2641694914475319726010724421818922387222447/12060112594924765476623\ 382319922919100663*c_0110_6^5 - 14456105111040509410393108472498821\ 28712337/12060112594924765476623382319922919100663*c_0110_6^4 + 58715647883897070701857679080065321773665/1206011259492476547662338\ 2319922919100663*c_0110_6^3 - 4175757158505015148469226926390122518\ 69540/12060112594924765476623382319922919100663*c_0110_6^2 + 24198991770141739072818293187102119752591/1206011259492476547662338\ 2319922919100663*c_0110_6 + 180449585294365994885214491117115783554\ 93/12060112594924765476623382319922919100663, c_0101_0 - 18316136803774475315225043700420061524319/120601125949247654\ 76623382319922919100663*c_0110_6^22 + 147823257106167866462828897263218387587266/120601125949247654766233\ 82319922919100663*c_0110_6^21 + 28522892800412618117254281419892092\ 7810545/12060112594924765476623382319922919100663*c_0110_6^20 - 241880897054727430283468159957923419590830/120601125949247654766233\ 82319922919100663*c_0110_6^19 - 20279706854202149358633619985179621\ 50486101/12060112594924765476623382319922919100663*c_0110_6^18 - 1934569775700536383285838061501404478093170/12060112594924765476623\ 382319922919100663*c_0110_6^17 + 2597803352954206984931884616362126\ 623232669/12060112594924765476623382319922919100663*c_0110_6^16 - 8998810738786696716513513834708590039739068/12060112594924765476623\ 382319922919100663*c_0110_6^15 + 1781291146604240697189393072495232\ 206364609/12060112594924765476623382319922919100663*c_0110_6^14 + 1276385277593060453487597613474590897468761/12060112594924765476623\ 382319922919100663*c_0110_6^13 + 5360508534230057490965951082142497\ 3124912832/12060112594924765476623382319922919100663*c_0110_6^12 + 72906866208389528541736121396503053208295929/1206011259492476547662\ 3382319922919100663*c_0110_6^11 - 238136360689681948839303183883058\ 46483345336/12060112594924765476623382319922919100663*c_0110_6^10 + 50065525342927020342892829196870778662539696/1206011259492476547662\ 3382319922919100663*c_0110_6^9 - 6019414012924866900994981151509915\ 0666709635/12060112594924765476623382319922919100663*c_0110_6^8 - 3316074498233515770005958413861987282416062/12060112594924765476623\ 382319922919100663*c_0110_6^7 - 13548179608283350443773146459716863\ 156904612/12060112594924765476623382319922919100663*c_0110_6^6 - 7982230071493165285879619393140848398641472/12060112594924765476623\ 382319922919100663*c_0110_6^5 + 44955564134045347976235540322088040\ 88124723/12060112594924765476623382319922919100663*c_0110_6^4 - 1205548234116141821761303405416571865072913/12060112594924765476623\ 382319922919100663*c_0110_6^3 + 10826121898700608228707913320886796\ 31010870/12060112594924765476623382319922919100663*c_0110_6^2 + 21310765151660358160215160792681134802082/1206011259492476547662338\ 2319922919100663*c_0110_6 - 528333467249451442059654072241946292532\ 14/12060112594924765476623382319922919100663, c_0101_3 - c_0110_6, c_0101_5 - 1834597662410133249434187303454788812433/1206011259492476547\ 6623382319922919100663*c_0110_6^22 + 14566525688239923422717901928008224826712/1206011259492476547662338\ 2319922919100663*c_0110_6^21 + 305374641140938250096229366755140939\ 91548/12060112594924765476623382319922919100663*c_0110_6^20 - 20649972146173040171338403331548386463969/1206011259492476547662338\ 2319922919100663*c_0110_6^19 - 207592707866457076607702655263742093\ 682498/12060112594924765476623382319922919100663*c_0110_6^18 - 221596775370321790985223300401182992707311/120601125949247654766233\ 82319922919100663*c_0110_6^17 + 23930950566071603791754819522496310\ 1767009/12060112594924765476623382319922919100663*c_0110_6^16 - 852795137678636875408568441318972018310754/120601125949247654766233\ 82319922919100663*c_0110_6^15 + 69121233908918725152494026331327136\ 616185/12060112594924765476623382319922919100663*c_0110_6^14 + 156805148576007622331158677073716391171927/120601125949247654766233\ 82319922919100663*c_0110_6^13 + 54307349011884304347514358677860482\ 92590945/12060112594924765476623382319922919100663*c_0110_6^12 + 7995156904310984156932636540269655153408880/12060112594924765476623\ 382319922919100663*c_0110_6^11 - 1522038858227066171044869213111977\ 767345143/12060112594924765476623382319922919100663*c_0110_6^10 + 4275762748154446545430313490457081771089619/12060112594924765476623\ 382319922919100663*c_0110_6^9 - 57917595372269897068494449787272692\ 62195417/12060112594924765476623382319922919100663*c_0110_6^8 - 1202201948433287309694682415662453850154380/12060112594924765476623\ 382319922919100663*c_0110_6^7 - 15978517702313597834816878473501919\ 38509940/12060112594924765476623382319922919100663*c_0110_6^6 - 576608221933318154569550790681349850051436/120601125949247654766233\ 82319922919100663*c_0110_6^5 + 413189519446022024938939866991015011\ 799878/12060112594924765476623382319922919100663*c_0110_6^4 + 42917801123945478084970749135401484613998/1206011259492476547662338\ 2319922919100663*c_0110_6^3 + 1283763392230605432421467033969416984\ 55321/12060112594924765476623382319922919100663*c_0110_6^2 - 28716385758148437105097318117190403259443/1206011259492476547662338\ 2319922919100663*c_0110_6 - 526395728567912701660565009764874702397\ 0/12060112594924765476623382319922919100663, c_0110_6^23 - 8*c_0110_6^22 - 16*c_0110_6^21 + 11*c_0110_6^20 + 109*c_0110_6^19 + 115*c_0110_6^18 - 117*c_0110_6^17 + 501*c_0110_6^16 - 84*c_0110_6^15 - 20*c_0110_6^14 - 2915*c_0110_6^13 - 4223*c_0110_6^12 + 593*c_0110_6^11 - 3336*c_0110_6^10 + 3245*c_0110_6^9 + 330*c_0110_6^8 + 1044*c_0110_6^7 + 721*c_0110_6^6 - 210*c_0110_6^5 + 72*c_0110_6^4 - 77*c_0110_6^3 - 21*c_0110_6^2 + 5*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB