Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 1360055730] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0630 geometric_solution 4.62481694 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 0 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 -1 0 1 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 1.240704561214 0.108206226937 0 2 2 0 0132 0132 1023 1023 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 1 -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 1.334934547772 0.300094415471 3 1 1 4 0132 0132 1023 0132 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 -1 1 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.540929187505 0.790969943947 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 -1 1 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 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.176122082938 0.586539663067 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.176122082938 0.586539663067 4 6 3 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -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 0 -1 0 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 1.835956503199 1.605216428419 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 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 1 -1 0 0 1 -1 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.194803098489 0.403778503533 ==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_0110_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], '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_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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : 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' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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: 19 Groebner basis: [ t - 671748430624323706973670496652738416/332113591229403307611477098869\ 34247*c_0110_6^18 - 9986642995814363218291171103121874649/442818121\ 63920441014863613182578996*c_0110_6^17 - 2265245324569429740001451748015291383/20128096438145655006756187810\ 26318*c_0110_6^16 - 478241988778693748000354796194462396567/1328454\ 36491761323044590839547736988*c_0110_6^15 - 147343960391665604159116120806585471509/132845436491761323044590839\ 547736988*c_0110_6^14 - 27560093100727258637327552031526438583/1107\ 0453040980110253715903295644749*c_0110_6^13 - 1143990318410779668981545489291574166160/33211359122940330761147709\ 886934247*c_0110_6^12 + 880325732909861829483716320376593511261/332\ 11359122940330761147709886934247*c_0110_6^11 + 5907998694480869682304019300697729592103/13284543649176132304459083\ 9547736988*c_0110_6^10 - 10100822403770616394319156502256374385087/\ 66422718245880661522295419773868494*c_0110_6^9 + 13857849707534224375038961373691518091371/1328454364917613230445908\ 39547736988*c_0110_6^8 + 1603014584159867842662888134069137009075/2\ 2140906081960220507431806591289498*c_0110_6^7 - 3032500264141434164889209679828279574085/14760604054640147004954537\ 727526332*c_0110_6^6 + 2373989239096463774460015312338248624147/120\ 76857862887393004053712686157908*c_0110_6^5 - 4487961357580148612961089539533172404461/44281812163920441014863613\ 182578996*c_0110_6^4 + 1540801556948813854036443343250543916659/442\ 81812163920441014863613182578996*c_0110_6^3 - 1052088059966525178411505125086089198363/13284543649176132304459083\ 9547736988*c_0110_6^2 + 34033161873250964230336006638002416963/3321\ 1359122940330761147709886934247*c_0110_6 - 1004799465797501832417295573371292613/12076857862887393004053712686\ 157908, c_0011_0 - 1, c_0011_4 - 972110239281592914316693826392488/36901510136600367512386344\ 31881583*c_0110_6^18 - 10748596335493003584070523589035444/36901510\ 13660036751238634431881583*c_0110_6^17 - 53079009646090561635408019770211140/3690151013660036751238634431881\ 583*c_0110_6^16 - 167969154989848920703702374639702282/369015101366\ 0036751238634431881583*c_0110_6^15 - 37105564519521465003234151991376892/3690151013660036751238634431881\ 583*c_0110_6^14 - 114294513445313334998867819124228020/369015101366\ 0036751238634431881583*c_0110_6^13 - 1643889846611833326738285465957187945/36901510136600367512386344318\ 81583*c_0110_6^12 + 1429213226775573402172569349412437170/369015101\ 3660036751238634431881583*c_0110_6^11 + 2023347747750823531618423701403228469/36901510136600367512386344318\ 81583*c_0110_6^10 - 682481510769653825458872016357458224/3354682739\ 69094250112603130171053*c_0110_6^9 + 5695870011985209228034520916595537458/36901510136600367512386344318\ 81583*c_0110_6^8 + 3028289613303774562721897471657375336/3690151013\ 660036751238634431881583*c_0110_6^7 - 10212349962196570898230090033581147634/3690151013660036751238634431\ 881583*c_0110_6^6 + 10368322033097714206986095675145117864/36901510\ 13660036751238634431881583*c_0110_6^5 - 5731259969018887832792489579091212766/36901510136600367512386344318\ 81583*c_0110_6^4 + 2100664894483708112706991582814089996/3690151013\ 660036751238634431881583*c_0110_6^3 - 521092576069079591946604642872936565/369015101366003675123863443188\ 1583*c_0110_6^2 + 70659764580349667221282175748608916/3690151013660\ 036751238634431881583*c_0110_6 - 5928440089918558850575903874203223\ /3690151013660036751238634431881583, c_0101_0 - 3881866052288459683408851371481269/3690151013660036751238634\ 431881583*c_0110_6^18 - 43142763786969865524396223742652109/3690151\ 013660036751238634431881583*c_0110_6^17 - 214598220058261191590538728880251107/369015101366003675123863443188\ 1583*c_0110_6^16 - 685107965776984754274965443624070608/36901510136\ 60036751238634431881583*c_0110_6^15 - 198508534374624319336948020319738541/369015101366003675123863443188\ 1583*c_0110_6^14 - 506126432490129387097839062945890696/36901510136\ 60036751238634431881583*c_0110_6^13 - 6622477052426407295121891383201181288/36901510136600367512386344318\ 81583*c_0110_6^12 + 5293101345741855814660148262034157939/369015101\ 3660036751238634431881583*c_0110_6^11 + 8047818913779409308196449499428949887/36901510136600367512386344318\ 81583*c_0110_6^10 - 2676983007934640908007909047316723657/335468273\ 969094250112603130171053*c_0110_6^9 + 21518477450766040728832602414676134200/3690151013660036751238634431\ 881583*c_0110_6^8 + 12146525280182533574647322461107580328/36901510\ 13660036751238634431881583*c_0110_6^7 - 39738961854478380880598804226389735483/3690151013660036751238634431\ 881583*c_0110_6^6 + 40045129373955094219419780809448257463/36901510\ 13660036751238634431881583*c_0110_6^5 - 22053519904882575658948398026511735137/3690151013660036751238634431\ 881583*c_0110_6^4 + 8137937197950169627461992301882605335/369015101\ 3660036751238634431881583*c_0110_6^3 - 1937382224498611365993712240693122109/36901510136600367512386344318\ 81583*c_0110_6^2 + 292479273106628055736671074155049433/36901510136\ 60036751238634431881583*c_0110_6 - 22576535363432851688445935401885491/3690151013660036751238634431881\ 583, c_0101_1 - 590312380304411614346484822507081/33546827396909425011260313\ 0171053*c_0110_6^18 - 6551044488321060175337474928358869/3354682739\ 69094250112603130171053*c_0110_6^17 - 32520354147721961943141131786070570/3354682739690942501126031301710\ 53*c_0110_6^16 - 103577621448771681380467481491398823/3354682739690\ 94250112603130171053*c_0110_6^15 - 28099389853187598059446518367234155/3354682739690942501126031301710\ 53*c_0110_6^14 - 75169283661142052899475388310741047/33546827396909\ 4250112603130171053*c_0110_6^13 - 100486172010339263608567812232357\ 4691/335468273969094250112603130171053*c_0110_6^12 + 822410940869748648453286519818428731/335468273969094250112603130171\ 053*c_0110_6^11 + 1221811628999049324275912334540466083/33546827396\ 9094250112603130171053*c_0110_6^10 - 4500306578916019879865479189205503737/33546827396909425011260313017\ 1053*c_0110_6^9 + 3328490630492524589510868943481256183/33546827396\ 9094250112603130171053*c_0110_6^8 + 1832957902682776800135815790393707257/33546827396909425011260313017\ 1053*c_0110_6^7 - 6080426927193234184407143091904049420/33546827396\ 9094250112603130171053*c_0110_6^6 + 6154124007934448532797991836558462481/33546827396909425011260313017\ 1053*c_0110_6^5 - 3406430758716444884128337947451047086/33546827396\ 9094250112603130171053*c_0110_6^4 + 1265247055816192697993192049684752146/33546827396909425011260313017\ 1053*c_0110_6^3 - 307030451792563261203627575957311101/335468273969\ 094250112603130171053*c_0110_6^2 + 46930707721250464565455625978643601/3354682739690942501126031301710\ 53*c_0110_6 - 3716316962037332349365223230978143/335468273969094250\ 112603130171053, c_0101_2 - 2795101784873474011836861889431510/3690151013660036751238634\ 431881583*c_0110_6^18 - 30818883880630657014466077999645346/3690151\ 013660036751238634431881583*c_0110_6^17 - 151665541229467368724727513269617860/369015101366003675123863443188\ 1583*c_0110_6^16 - 478286340467321310413251465400490753/36901510136\ 60036751238634431881583*c_0110_6^15 - 92009009171874434710713794902915104/3690151013660036751238634431881\ 583*c_0110_6^14 - 326293222146644346092914669542816706/369015101366\ 0036751238634431881583*c_0110_6^13 - 4717753821821626308533734756417608363/36901510136600367512386344318\ 81583*c_0110_6^12 + 4252903646562764599915754042515592256/369015101\ 3660036751238634431881583*c_0110_6^11 + 5680249594146914927748479042436075458/36901510136600367512386344318\ 81583*c_0110_6^10 - 1978931356248398858468474063403034012/335468273\ 969094250112603130171053*c_0110_6^9 + 17043403255812956036442272368191199278/3690151013660036751238634431\ 881583*c_0110_6^8 + 8166749206854626142029467775599463533/369015101\ 3660036751238634431881583*c_0110_6^7 - 29613985287874470998936946042534027438/3690151013660036751238634431\ 881583*c_0110_6^6 + 30733331670749921379362542431696372137/36901510\ 13660036751238634431881583*c_0110_6^5 - 17440069060470159859744321963235096173/3690151013660036751238634431\ 881583*c_0110_6^4 + 6586207669630033530096098779197668302/369015101\ 3660036751238634431881583*c_0110_6^3 - 1696400647310378897145558837284058367/36901510136600367512386344318\ 81583*c_0110_6^2 + 269427836643298690075141476398213426/36901510136\ 60036751238634431881583*c_0110_6 - 23042273482414463995041769681090568/3690151013660036751238634431881\ 583, c_0101_3 + 174249313450261635049151401345906/36901510136600367512386344\ 31881583*c_0110_6^18 + 2156809081059507125555903264034684/369015101\ 3660036751238634431881583*c_0110_6^17 + 12145503757570644143272547869617053/3690151013660036751238634431881\ 583*c_0110_6^16 + 43661396655373613851540283917275299/3690151013660\ 036751238634431881583*c_0110_6^15 + 51485412291228885098747326782400004/3690151013660036751238634431881\ 583*c_0110_6^14 + 45973025720513383105470825677934044/3690151013660\ 036751238634431881583*c_0110_6^13 + 330725708695712638307303166611815448/369015101366003675123863443188\ 1583*c_0110_6^12 + 145727784239276605001651201045678355/36901510136\ 60036751238634431881583*c_0110_6^11 - 550846298138793801501083251652700174/369015101366003675123863443188\ 1583*c_0110_6^10 + 71954606358154476053244079665582642/335468273969\ 094250112603130171053*c_0110_6^9 + 544872995956770791743711089994391608/369015101366003675123863443188\ 1583*c_0110_6^8 - 1297847319567571812838866896043604581/36901510136\ 60036751238634431881583*c_0110_6^7 + 820767607594413443483311152216954993/369015101366003675123863443188\ 1583*c_0110_6^6 + 172636396663959149163885603767847584/369015101366\ 0036751238634431881583*c_0110_6^5 - 653692971707615127955117886011141210/369015101366003675123863443188\ 1583*c_0110_6^4 + 337188249615300940472427771619852465/369015101366\ 0036751238634431881583*c_0110_6^3 - 133335555314419648571291821116281336/369015101366003675123863443188\ 1583*c_0110_6^2 + 30169004256391232312870408678425683/3690151013660\ 036751238634431881583*c_0110_6 - 3840727522563932043158672369883139\ /3690151013660036751238634431881583, c_0110_6^19 + 11*c_0110_6^18 + 54*c_0110_6^17 + 170*c_0110_6^16 + 30*c_0110_6^15 + 121*c_0110_6^14 + 1688*c_0110_6^13 - 1561*c_0110_6^12 - 1947*c_0110_6^11 + 7822*c_0110_6^10 - 6361*c_0110_6^9 - 2590*c_0110_6^8 + 10590*c_0110_6^7 - 11381*c_0110_6^6 + 6749*c_0110_6^5 - 2703*c_0110_6^4 + 748*c_0110_6^3 - 140*c_0110_6^2 + 17*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB