Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 2210537282] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0482 geometric_solution 4.50556467 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 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 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.994027740497 0.168952485958 0 2 2 0 3201 0132 1023 0132 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 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 1.852955745198 0.462332657380 3 1 1 3 0132 0132 1023 3201 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 -1 0 1 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.155749330833 0.280389745279 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 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.022427367673 1.331617624358 6 5 3 5 0132 2031 0132 1302 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 -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.562537368921 0.396550169490 4 6 4 3 1302 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 -1 1 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.562537368921 0.396550169490 4 5 6 6 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.812461517866 0.837132984194 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_4'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 24766929569364960582844553310266791830999073635148905/1144321543569\ 91048537120736391725750912210793373717*c_0101_6^31 - 988282584739730969755936533934857061278771574226359325/114432154356\ 991048537120736391725750912210793373717*c_0101_6^29 + 21947118014234666015539117700576742019556266504629723597/1144321543\ 56991048537120736391725750912210793373717*c_0101_6^27 - 296075983400505718420133994149402585496592916028256760148/114432154\ 356991048537120736391725750912210793373717*c_0101_6^25 + 1319231984460685663753588491956784914732295638884151691723/11443215\ 4356991048537120736391725750912210793373717*c_0101_6^23 - 1934985211002500061267009618114836598035206280860650602688/11443215\ 4356991048537120736391725750912210793373717*c_0101_6^21 + 3402394277222782711804827137451058389876421726681682459335/11443215\ 4356991048537120736391725750912210793373717*c_0101_6^19 - 9561610250782949574539470520722420379068023866388222112811/11443215\ 4356991048537120736391725750912210793373717*c_0101_6^17 + 11526117385358249561907779098656656023727785666517525275415/1144321\ 54356991048537120736391725750912210793373717*c_0101_6^15 - 11032243663182836298592231463756167711569688233233086152973/1144321\ 54356991048537120736391725750912210793373717*c_0101_6^13 + 10245092517678575051440867129403844823471030850002808892095/1144321\ 54356991048537120736391725750912210793373717*c_0101_6^11 - 4875960387564416377704846026669965805721978267524257239605/11443215\ 4356991048537120736391725750912210793373717*c_0101_6^9 + 815570363683127606280198163970174908687897431848209035522/114432154\ 356991048537120736391725750912210793373717*c_0101_6^7 - 31563503238184966617300881502662032892590424735018956921/1144321543\ 56991048537120736391725750912210793373717*c_0101_6^5 + 3291457961137187441467741753810443431673276692794378724/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^3 - 366610737787635690188476047508207298317410504641168892/114432154356\ 991048537120736391725750912210793373717*c_0101_6, c_0011_0 - 1, c_0011_1 + 1238302622016517821540514177567629407495676744855/1144321543\ 56991048537120736391725750912210793373717*c_0101_6^30 - 49845823835160645125450882690493463675555844206067/1144321543569910\ 48537120736391725750912210793373717*c_0101_6^28 + 1114544714529860099986137670122847078952597275750134/11443215435699\ 1048537120736391725750912210793373717*c_0101_6^26 - 15184651800909590704459771699783255588630627635156131/1144321543569\ 91048537120736391725750912210793373717*c_0101_6^24 + 71080564211326674473293650412122186986032636284594865/1144321543569\ 91048537120736391725750912210793373717*c_0101_6^22 - 119021257328092615419985199967000293390450815765771579/114432154356\ 991048537120736391725750912210793373717*c_0101_6^20 + 200386052540325214435640611477158070051675369267060014/114432154356\ 991048537120736391725750912210793373717*c_0101_6^18 - 532502046702555466626240582198712132175115653828939937/114432154356\ 991048537120736391725750912210793373717*c_0101_6^16 + 734720438741415772446659842564742850081599123167963755/114432154356\ 991048537120736391725750912210793373717*c_0101_6^14 - 727607012690196357302310332458889543892742363337537442/114432154356\ 991048537120736391725750912210793373717*c_0101_6^12 + 675268078328171284324600486277719169807410473715139695/114432154356\ 991048537120736391725750912210793373717*c_0101_6^10 - 395689418668558847341137516126659101043963510265209191/114432154356\ 991048537120736391725750912210793373717*c_0101_6^8 + 100319441263999308296097213337320717691914293926253378/114432154356\ 991048537120736391725750912210793373717*c_0101_6^6 - 4969093119645328242508957874460068381002644552880612/11443215435699\ 1048537120736391725750912210793373717*c_0101_6^4 + 15217279044739250694716615655217110847923518669226/1144321543569910\ 48537120736391725750912210793373717*c_0101_6^2 - 113083615288804851757591648170343909913567801688809/114432154356991\ 048537120736391725750912210793373717, c_0011_4 - 4965284387552182983913827609498873650889233862478/1144321543\ 56991048537120736391725750912210793373717*c_0101_6^30 + 198583715792943292990875767091692786898935194779446/114432154356991\ 048537120736391725750912210793373717*c_0101_6^28 - 4417926321846752551190908583817714901245364434076524/11443215435699\ 1048537120736391725750912210793373717*c_0101_6^26 + 59754615034529244724878066545084944101866302479282507/1144321543569\ 91048537120736391725750912210793373717*c_0101_6^24 - 269806119671623984489511470908498357510430330398526638/114432154356\ 991048537120736391725750912210793373717*c_0101_6^22 + 410918882392749481237109311799207009574824764529917190/114432154356\ 991048537120736391725750912210793373717*c_0101_6^20 - 712663575335403942023856426900217966789887512650251993/114432154356\ 991048537120736391725750912210793373717*c_0101_6^18 + 1972569820058649107054618661901873727312319148300416880/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^16 - 2473553200439369603255497411007988398069279482231090527/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^14 + 2388099423505734330407029075174442556424626193002161354/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^12 - 2217663388925748258250833319192814840004058390586657261/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^10 + 1128605750877749613993011715689086446265033153957084401/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^8 - 219490169504203127192924784917305612781699884837492465/114432154356\ 991048537120736391725750912210793373717*c_0101_6^6 + 7860392547995188002179710983016314013025683514566565/11443215435699\ 1048537120736391725750912210793373717*c_0101_6^4 + 280154212596044397160356661927933069693460805224261/114432154356991\ 048537120736391725750912210793373717*c_0101_6^2 + 95011235835912043935436642706788388822075878775461/1144321543569910\ 48537120736391725750912210793373717, c_0101_1 - 13093276929964706124643269900646278204903896881511/114432154\ 356991048537120736391725750912210793373717*c_0101_6^31 + 521431481427150983205623599058267224757934025063734/114432154356991\ 048537120736391725750912210793373717*c_0101_6^29 - 11561573520427704857700620784526226835645725048777378/1144321543569\ 91048537120736391725750912210793373717*c_0101_6^27 + 155617932904224162756577155203107330126074114359534941/114432154356\ 991048537120736391725750912210793373717*c_0101_6^25 - 685299572804229430484969082672944357580236896454593191/114432154356\ 991048537120736391725750912210793373717*c_0101_6^23 + 970997770138416420376230990937371125753619962176576567/114432154356\ 991048537120736391725750912210793373717*c_0101_6^21 - 1731372063325033900682512199605272602703517501942549021/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^19 + 4930752610248981159400344811098713753404049783552727696/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^17 - 5727251581130552951813243222565255992724637148418432559/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^15 + 5446777941682164316664228776932386635071968952396187095/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^13 - 5059549093403736655981381908924226870825531184951134326/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^11 + 2248765406286503798181177886037906710607968419990504650/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^9 - 318882143237096736446297716411881940942220681437558967/114432154356\ 991048537120736391725750912210793373717*c_0101_6^7 + 18079498849691030368760216409770822251591697129895710/1144321543569\ 91048537120736391725750912210793373717*c_0101_6^5 - 3907946957286689616933751386893876371360988899577330/11443215435699\ 1048537120736391725750912210793373717*c_0101_6^3 + 217296927648905710003230996363565053067937528547493/114432154356991\ 048537120736391725750912210793373717*c_0101_6, c_0101_2 + 7529566505262723984541827260303567215136294643823/1144321543\ 56991048537120736391725750912210793373717*c_0101_6^30 - 300923647029763936336001962280965567785779752409319/114432154356991\ 048537120736391725750912210793373717*c_0101_6^28 + 6690936245154705634079211743353261128493181613916443/11443215435699\ 1048537120736391725750912210793373717*c_0101_6^26 - 90424768979695958891570985755938945828962109873813455/1144321543569\ 91048537120736391725750912210793373717*c_0101_6^24 + 406610197445713839033038897372897195361141917534386126/114432154356\ 991048537120736391725750912210793373717*c_0101_6^22 - 612372032048101513649414558916596138260105737113392851/114432154356\ 991048537120736391725750912210793373717*c_0101_6^20 + 1067164162502843119312772427191241954737062173578064857/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^18 - 2965867374110621723370032275581669183706667863789272720/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^16 + 3675535390445495013466388486950803051324579362606146403/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^14 - 3544555443988941905381122407282313586110829529255994528/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^12 + 3291536735412689257355441754367224401735305215421521980/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^10 - 1646375002985230850783728731498630450393417534841890616/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^8 + 312314880511117234922827198771051237744755089796432284/114432154356\ 991048537120736391725750912210793373717*c_0101_6^6 - 13087552066026119357506374740257287927137434434911875/1144321543569\ 91048537120736391725750912210793373717*c_0101_6^4 + 296916058519865681585163216081946269537768194138363/114432154356991\ 048537120736391725750912210793373717*c_0101_6^2 - 127558111875140286483968373688813695059630105063671/114432154356991\ 048537120736391725750912210793373717, c_0101_3 + 9654345380938629375360433577774352245907344984278/1144321543\ 56991048537120736391725750912210793373717*c_0101_6^31 - 385472646457448290295487256639015161991418798120437/114432154356991\ 048537120736391725750912210793373717*c_0101_6^29 + 8564488559443376994228557215520985900622253328016970/11443215435699\ 1048537120736391725750912210793373717*c_0101_6^27 - 115620958861732810802419049889740160539818650767506770/114432154356\ 991048537120736391725750912210793373717*c_0101_6^25 + 517076109152451155885817315713376590571924372526893138/114432154356\ 991048537120736391725750912210793373717*c_0101_6^23 - 767345674416854291761851586488612355838751153804468270/114432154356\ 991048537120736391725750912210793373717*c_0101_6^21 + 1347416245701974229602271969887530146558433550154874050/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^19 - 3762929788650179665178002333839269441124683319153938287/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^17 + 4589837658548371714640484571592275964287550670803492535/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^15 - 4429668795254996952724145025516158102269350473856831064/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^13 + 4118973211272672428085103838627435880345964139492059430/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^11 - 2017625647290987188343841020490688445473311897211451571/11443215435\ 6991048537120736391725750912210793373717*c_0101_6^9 + 382777873838287538457335576168932621247201137558951379/114432154356\ 991048537120736391725750912210793373717*c_0101_6^7 - 26512608352582502518245959986164953012121959067970616/1144321543569\ 91048537120736391725750912210793373717*c_0101_6^5 + 2089835911622669966436256817590320092602954787598471/11443215435699\ 1048537120736391725750912210793373717*c_0101_6^3 - 187990671952432348936965196841304277024596601744154/114432154356991\ 048537120736391725750912210793373717*c_0101_6, c_0101_6^32 - 40*c_0101_6^30 + 890*c_0101_6^28 - 12040*c_0101_6^26 + 54418*c_0101_6^24 - 83228*c_0101_6^22 + 144708*c_0101_6^20 - 399018*c_0101_6^18 + 502134*c_0101_6^16 - 488824*c_0101_6^14 + 454771*c_0101_6^12 - 234989*c_0101_6^10 + 50218*c_0101_6^8 - 3616*c_0101_6^6 + 107*c_0101_6^4 - 20*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB