Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 2884253539] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1563 geometric_solution 5.34857025 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 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 1 1 -2 -1 0 2 -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.556388014137 0.119330488559 0 2 0 3 0132 0132 2310 0132 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 0 0 1 -1 0 1 0 0 -1 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.619899696013 0.529396961033 4 1 5 3 0132 0132 0132 1230 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 -1 1 0 1 0 -1 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.631783571142 1.260104489248 2 5 1 4 3012 3201 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 1 -1 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.631783571142 1.260104489248 2 3 6 6 0132 2310 2310 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 -1 0 1 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 -1.021833679009 0.852689703243 5 5 3 2 1302 2031 2310 0132 0 0 0 0 0 1 0 -1 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 1 0 -1 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.699008655658 1.419640531741 6 4 4 6 3201 3201 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 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.295362516214 0.814952328974 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], '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_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_5'], '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 62079982512746133589921947843376716024346383/3741012984261274864828\ 78334832442373767783*c_0101_2^23 + 1981207846945143290112159159658508264992108764/37410129842612748648\ 2878334832442373767783*c_0101_2^22 + 3272956332733108029883970181430982606897267471/37410129842612748648\ 2878334832442373767783*c_0101_2^21 - 9706785495229618733369190780138221708272891037/37410129842612748648\ 2878334832442373767783*c_0101_2^20 - 12730380907712692399560504021153745918732638425/3741012984261274864\ 82878334832442373767783*c_0101_2^19 + 25548913628007499588550081245554087515698757653/3741012984261274864\ 82878334832442373767783*c_0101_2^18 + 15718634630866908437455323739831861092115556861/3741012984261274864\ 82878334832442373767783*c_0101_2^17 - 51674436953951936163621397296899173451585747196/3741012984261274864\ 82878334832442373767783*c_0101_2^16 - 10494227125566820674274493747630574355458355823/3741012984261274864\ 82878334832442373767783*c_0101_2^15 + 69913260904993858755358589927462043713184058233/3741012984261274864\ 82878334832442373767783*c_0101_2^14 + 15481093879384138459637571497813602525917217121/3741012984261274864\ 82878334832442373767783*c_0101_2^13 - 45677351903564565157357269645735952353572928704/3741012984261274864\ 82878334832442373767783*c_0101_2^12 - 16836114557711677856771234592794666982501945363/3741012984261274864\ 82878334832442373767783*c_0101_2^11 + 1967628336584617076933093871043448194862903606/37410129842612748648\ 2878334832442373767783*c_0101_2^10 - 544038476512922698633344647905136913380620902/374101298426127486482\ 878334832442373767783*c_0101_2^9 + 9312480536922459986831559042573553666222061524/37410129842612748648\ 2878334832442373767783*c_0101_2^8 + 11388543277279855372111664331396968864489695822/3741012984261274864\ 82878334832442373767783*c_0101_2^7 - 609093757128424126354274250107613113423825687/374101298426127486482\ 878334832442373767783*c_0101_2^6 - 6137090366571682468288676486634599694994663297/37410129842612748648\ 2878334832442373767783*c_0101_2^5 - 1480799324758356768272258508290257778009187771/37410129842612748648\ 2878334832442373767783*c_0101_2^4 + 930683528201041309441179285091723252941199304/374101298426127486482\ 878334832442373767783*c_0101_2^3 + 454616472934487434337014383461087033854369230/374101298426127486482\ 878334832442373767783*c_0101_2^2 - 104874224046945024191741102881076539077966212/374101298426127486482\ 878334832442373767783*c_0101_2 - 2930238051973319455163227640300020\ 7085692624/374101298426127486482878334832442373767783, c_0011_0 - 1, c_0011_3 - 8886568169094534470267234839005210/1580328407350590464501635\ 5342450079*c_0101_2^23 - 290233089808157150463210157223435088/15803\ 284073505904645016355342450079*c_0101_2^22 - 680228303598675388338981981356021126/158032840735059046450163553424\ 50079*c_0101_2^21 + 1033039629727422014095325323162108691/158032840\ 73505904645016355342450079*c_0101_2^20 + 2792016335562272029496225189399759398/15803284073505904645016355342\ 450079*c_0101_2^19 - 2292285695381046138197843033399995430/15803284\ 073505904645016355342450079*c_0101_2^18 - 4493647870938552392133490786755584142/15803284073505904645016355342\ 450079*c_0101_2^17 + 5746716885305454532244192640984845317/15803284\ 073505904645016355342450079*c_0101_2^16 + 5764288372175123619919511653354246563/15803284073505904645016355342\ 450079*c_0101_2^15 - 8461503235054893336194803408684824159/15803284\ 073505904645016355342450079*c_0101_2^14 - 7739694049031776085666675903494434796/15803284073505904645016355342\ 450079*c_0101_2^13 + 3386806871510288773140188417856892932/15803284\ 073505904645016355342450079*c_0101_2^12 + 4944863457951291833077480317321404458/15803284073505904645016355342\ 450079*c_0101_2^11 + 2913686584808714337396745566629168666/15803284\ 073505904645016355342450079*c_0101_2^10 + 1410184587196692876444574482891783874/15803284073505904645016355342\ 450079*c_0101_2^9 - 1359262991587596467116209549601439139/158032840\ 73505904645016355342450079*c_0101_2^8 - 2419178999187156336229794273790795478/15803284073505904645016355342\ 450079*c_0101_2^7 - 1308284337932190317434673677519552795/158032840\ 73505904645016355342450079*c_0101_2^6 + 289957860035008678095814985843985076/158032840735059046450163553424\ 50079*c_0101_2^5 + 657359568080406117358978009064393607/15803284073\ 505904645016355342450079*c_0101_2^4 + 190436872305801056662253007949442012/158032840735059046450163553424\ 50079*c_0101_2^3 - 32185311443940314628202192852791173/158032840735\ 05904645016355342450079*c_0101_2^2 - 42343955567712710659405543563446081/1580328407350590464501635534245\ 0079*c_0101_2 + 4165394226789168761399404477283702/1580328407350590\ 4645016355342450079, c_0011_5 - 550102808234422478251242003875008452082704/37410129842612748\ 6482878334832442373767783*c_0101_2^23 - 18080617612665639284422955502280590110323140/3741012984261274864828\ 78334832442373767783*c_0101_2^22 - 46443578727987953741096102556706599976841550/3741012984261274864828\ 78334832442373767783*c_0101_2^21 + 35556748474868446157793948770068089271073523/3741012984261274864828\ 78334832442373767783*c_0101_2^20 + 137541203079357503566970517031154513510734344/374101298426127486482\ 878334832442373767783*c_0101_2^19 - 66763880898922767104387881457505136270964975/3741012984261274864828\ 78334832442373767783*c_0101_2^18 - 175547526277598272479216902524293003106683119/374101298426127486482\ 878334832442373767783*c_0101_2^17 + 219035825747009909266273019258865733250442703/374101298426127486482\ 878334832442373767783*c_0101_2^16 + 288645063593336920040819257141122190864363008/374101298426127486482\ 878334832442373767783*c_0101_2^15 - 213597284253975212842917695112459781017128155/374101298426127486482\ 878334832442373767783*c_0101_2^14 - 356360551743946318130505118445603208373742488/374101298426127486482\ 878334832442373767783*c_0101_2^13 - 79300361276405990461456516008024852522587535/3741012984261274864828\ 78334832442373767783*c_0101_2^12 + 74692510838347296619388884315993022439890820/3741012984261274864828\ 78334832442373767783*c_0101_2^11 + 111861889089976164309076634344881827739471608/374101298426127486482\ 878334832442373767783*c_0101_2^10 + 122388478830187362384172739098085913615821382/374101298426127486482\ 878334832442373767783*c_0101_2^9 + 58467976244866957709401644995350088497821387/3741012984261274864828\ 78334832442373767783*c_0101_2^8 - 363392528309953058836945333711474\ 56693642317/374101298426127486482878334832442373767783*c_0101_2^7 - 48867499482726203847500394799499220597622467/3741012984261274864828\ 78334832442373767783*c_0101_2^6 - 995566393726498105640204629757880\ 7753288451/374101298426127486482878334832442373767783*c_0101_2^5 + 3957240471786742436181619432264347280277440/37410129842612748648287\ 8334832442373767783*c_0101_2^4 + 2321608896145485101615991683913540\ 092657417/374101298426127486482878334832442373767783*c_0101_2^3 - 936321842770053503347669903570887452325007/374101298426127486482878\ 334832442373767783*c_0101_2^2 + 19947681092038039249756394410800640\ 7104846/374101298426127486482878334832442373767783*c_0101_2 - 180045321153052809306007640833331579448720/374101298426127486482878\ 334832442373767783, c_0011_6 + 16105925316683770379916752646071298/158032840735059046450163\ 55342450079*c_0101_2^23 + 510358746263752358243321045777406882/1580\ 3284073505904645016355342450079*c_0101_2^22 + 736654482829609782636995738132293625/158032840735059046450163553424\ 50079*c_0101_2^21 - 2586722927142150242455755731560669780/158032840\ 73505904645016355342450079*c_0101_2^20 - 2425425237224878000542927702067534797/15803284073505904645016355342\ 450079*c_0101_2^19 + 7038063019890126581925083098346284491/15803284\ 073505904645016355342450079*c_0101_2^18 + 1515651966985920623373967476916851074/15803284073505904645016355342\ 450079*c_0101_2^17 - 13546373684952240048346019128214256932/1580328\ 4073505904645016355342450079*c_0101_2^16 + 1884082907717919429898745020436950701/15803284073505904645016355342\ 450079*c_0101_2^15 + 16555159959650583758423992211471619613/1580328\ 4073505904645016355342450079*c_0101_2^14 - 2280119144148495697743707301410188593/15803284073505904645016355342\ 450079*c_0101_2^13 - 9856497672600858074241540694012526736/15803284\ 073505904645016355342450079*c_0101_2^12 + 910095295150089759148327310323924334/158032840735059046450163553424\ 50079*c_0101_2^11 + 503244014685633806770965423729151606/1580328407\ 3505904645016355342450079*c_0101_2^10 - 1212078686209353432393292003808442501/15803284073505904645016355342\ 450079*c_0101_2^9 + 1965549873439944271758101816651333947/158032840\ 73505904645016355342450079*c_0101_2^8 + 1604043420569475055497749336081706386/15803284073505904645016355342\ 450079*c_0101_2^7 - 873246325539418323590411084581959400/1580328407\ 3505904645016355342450079*c_0101_2^6 - 974799746079435834762845642890211308/158032840735059046450163553424\ 50079*c_0101_2^5 + 286294192686349259363988871574525234/15803284073\ 505904645016355342450079*c_0101_2^4 + 273456604720759603278504690519996437/158032840735059046450163553424\ 50079*c_0101_2^3 - 5866703402820900593016542914352338/1580328407350\ 5904645016355342450079*c_0101_2^2 - 46009596832648577866260041123655540/1580328407350590464501635534245\ 0079*c_0101_2 - 751947664903017046857897927914188/15803284073505904\ 645016355342450079, c_0101_0 - 769223300188428879634913699221838693886114/37410129842612748\ 6482878334832442373767783*c_0101_2^23 - 23949477238675134399533051358587106911040630/3741012984261274864828\ 78334832442373767783*c_0101_2^22 - 21049108706592396735671759010152589295422316/3741012984261274864828\ 78334832442373767783*c_0101_2^21 + 164398998262644331655648972105520538951009808/374101298426127486482\ 878334832442373767783*c_0101_2^20 + 99301400402725438077644907782570016110606047/3741012984261274864828\ 78334832442373767783*c_0101_2^19 - 459604964362028589713255581920155499156583982/374101298426127486482\ 878334832442373767783*c_0101_2^18 - 63969806244289182013283366202056959173916036/3741012984261274864828\ 78334832442373767783*c_0101_2^17 + 816165135201056529332220041390294784716948768/374101298426127486482\ 878334832442373767783*c_0101_2^16 - 190499446790239392387477292698780784290547824/374101298426127486482\ 878334832442373767783*c_0101_2^15 - 1091608398390613289442746148276540324610677934/37410129842612748648\ 2878334832442373767783*c_0101_2^14 + 173636800979058080214076111393169313314697682/374101298426127486482\ 878334832442373767783*c_0101_2^13 + 861096009795243865839415499125086630822496301/374101298426127486482\ 878334832442373767783*c_0101_2^12 + 171819676172303519061230374206638056702618270/374101298426127486482\ 878334832442373767783*c_0101_2^11 - 125092060405073102609908178718773565339398177/374101298426127486482\ 878334832442373767783*c_0101_2^10 - 140333892747774933211488444935435638101862108/374101298426127486482\ 878334832442373767783*c_0101_2^9 - 226566086429659202997247908337992234851660487/374101298426127486482\ 878334832442373767783*c_0101_2^8 - 133639533217408667573897195475727980888090412/374101298426127486482\ 878334832442373767783*c_0101_2^7 + 74600493328631483534625601506120057018151469/3741012984261274864828\ 78334832442373767783*c_0101_2^6 + 126449059914592731092648406349283\ 583243102513/374101298426127486482878334832442373767783*c_0101_2^5 + 20464144024051226623115047539495479539623657/3741012984261274864828\ 78334832442373767783*c_0101_2^4 - 228597620459941271783612702169945\ 55299954023/374101298426127486482878334832442373767783*c_0101_2^3 - 11738301944286413318590486774956200449650840/3741012984261274864828\ 78334832442373767783*c_0101_2^2 + 141829698915649735401994703232421\ 1328745318/374101298426127486482878334832442373767783*c_0101_2 + 947900550856066882488707070639236845772988/374101298426127486482878\ 334832442373767783, c_0101_1 + 3288073589752818324869971980210915030394902/3741012984261274\ 86482878334832442373767783*c_0101_2^23 + 104571397265214349974541423581202359451694310/374101298426127486482\ 878334832442373767783*c_0101_2^22 + 161890994430662831720978244279013588166267702/374101298426127486482\ 878334832442373767783*c_0101_2^21 - 528927410906331564236323294422343943272535663/374101298426127486482\ 878334832442373767783*c_0101_2^20 - 612987140886292370189605115723202999258407749/374101298426127486482\ 878334832442373767783*c_0101_2^19 + 1402056109464451535274605749265177122870403710/37410129842612748648\ 2878334832442373767783*c_0101_2^18 + 673458182213015917218298343034535239540680656/374101298426127486482\ 878334832442373767783*c_0101_2^17 - 2750814073984256084535128089580240918941507121/37410129842612748648\ 2878334832442373767783*c_0101_2^16 - 273024163837780130065296248453192756067103640/374101298426127486482\ 878334832442373767783*c_0101_2^15 + 3619755966736836964376851587303586436064161548/37410129842612748648\ 2878334832442373767783*c_0101_2^14 + 499429606397551679754463248973441000687892709/374101298426127486482\ 878334832442373767783*c_0101_2^13 - 2349845112807105818913213196002400436299428988/37410129842612748648\ 2878334832442373767783*c_0101_2^12 - 756659023202818391642085142941962086975213122/374101298426127486482\ 878334832442373767783*c_0101_2^11 + 104787554512156448724602868624703535339650603/374101298426127486482\ 878334832442373767783*c_0101_2^10 + 53033653419460819639934790278790569541476520/3741012984261274864828\ 78334832442373767783*c_0101_2^9 + 511091865759313551210642991837602\ 971635130628/374101298426127486482878334832442373767783*c_0101_2^8 + 531378824321347116432603944304607615141580060/374101298426127486482\ 878334832442373767783*c_0101_2^7 - 68535804289592706944295621309382598251624419/3741012984261274864828\ 78334832442373767783*c_0101_2^6 - 327590308490842671179517489299726\ 775103611123/374101298426127486482878334832442373767783*c_0101_2^5 - 69834008575937095675436147398630685646136425/3741012984261274864828\ 78334832442373767783*c_0101_2^4 + 535140462917968799381964865371024\ 90937039358/374101298426127486482878334832442373767783*c_0101_2^3 + 27684128404249824444615137639224531001296199/3741012984261274864828\ 78334832442373767783*c_0101_2^2 - 553419639258242527828078870173302\ 7934921237/374101298426127486482878334832442373767783*c_0101_2 - 1961257096023994509866719930991929521113356/37410129842612748648287\ 8334832442373767783, c_0101_2^24 + 32*c_0101_2^23 + 499/9*c_0101_2^22 - 1375/9*c_0101_2^21 - 222*c_0101_2^20 + 3547/9*c_0101_2^19 + 905/3*c_0101_2^18 - 7265/9*c_0101_2^17 - 2395/9*c_0101_2^16 + 3343/3*c_0101_2^15 + 3544/9*c_0101_2^14 - 6500/9*c_0101_2^13 - 3587/9*c_0101_2^12 + 7/9*c_0101_2^11 + 280/9*c_0101_2^10 + 162*c_0101_2^9 + 1799/9*c_0101_2^8 + 92/9*c_0101_2^7 - 988/9*c_0101_2^6 - 385/9*c_0101_2^5 + 14*c_0101_2^4 + 113/9*c_0101_2^3 - 2/9*c_0101_2^2 - c_0101_2 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB