Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 374836030] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2516 geometric_solution 5.83587276 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 -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 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 0.459511066184 0.289372993949 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 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.982228199666 0.691927799823 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 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.270312144728 1.098837368306 2 5 4 1 3201 1023 1023 0132 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 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.270312144728 1.098837368306 4 2 3 4 3201 0132 1023 2310 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 0 0 0 0 0 1 -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 0.606819583831 0.792465981470 3 6 6 2 1023 0132 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 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.146603349797 0.472951154583 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.089158158865 0.885561168563 ==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_3']), 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 499/37*c_0101_4^8 + 2007/37*c_0101_4^7 + 6814/37*c_0101_4^6 - 5061/37*c_0101_4^5 - 16955/37*c_0101_4^4 + 2610/37*c_0101_4^3 + 12117/37*c_0101_4^2 - 213/37*c_0101_4 - 1871/37, c_0011_0 - 1, c_0011_1 + 23/37*c_0101_4^8 - 104/37*c_0101_4^7 - 242/37*c_0101_4^6 + 257/37*c_0101_4^5 + 474/37*c_0101_4^4 - 79/37*c_0101_4^3 - 245/37*c_0101_4^2 - 67/37*c_0101_4 + 33/37, c_0011_3 + 41/37*c_0101_4^8 - 187/37*c_0101_4^7 - 433/37*c_0101_4^6 + 508/37*c_0101_4^5 + 964/37*c_0101_4^4 - 284/37*c_0101_4^3 - 596/37*c_0101_4^2 - 2/37*c_0101_4 + 54/37, c_0101_0 + 23/37*c_0101_4^8 - 141/37*c_0101_4^7 - 57/37*c_0101_4^6 + 553/37*c_0101_4^5 - 44/37*c_0101_4^4 - 634/37*c_0101_4^3 + 88/37*c_0101_4^2 + 192/37*c_0101_4 - 4/37, c_0101_1 + 36/37*c_0101_4^8 - 203/37*c_0101_4^7 - 197/37*c_0101_4^6 + 835/37*c_0101_4^5 + 240/37*c_0101_4^4 - 1002/37*c_0101_4^3 + 1/37*c_0101_4^2 + 315/37*c_0101_4 - 32/37, c_0101_4^9 - 4*c_0101_4^8 - 14*c_0101_4^7 + 11*c_0101_4^6 + 37*c_0101_4^5 - 8*c_0101_4^4 - 30*c_0101_4^3 + 3*c_0101_4^2 + 6*c_0101_4 - 1, c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 456523020993588957316600797536964618/213159140056267995013911532584\ 031*c_0101_6^22 + 3784577703575087020219370512512718943/21315914005\ 6267995013911532584031*c_0101_6^21 + 8226015812947183756065305425769348177/21315914005626799501391153258\ 4031*c_0101_6^20 - 8025503613342995865959676465264124989/2131591400\ 56267995013911532584031*c_0101_6^19 - 46202631478033369823330492961280129461/2131591400562679950139115325\ 84031*c_0101_6^18 - 47206399758877760515524464020692834481/21315914\ 0056267995013911532584031*c_0101_6^17 - 409046474520023972015544918840480340339/213159140056267995013911532\ 584031*c_0101_6^16 - 3196279505943843422199135906293725268594/21315\ 9140056267995013911532584031*c_0101_6^15 - 11015927436684539653939149957580105224621/2131591400562679950139115\ 32584031*c_0101_6^14 - 20725619412460033267821252782359861252366/21\ 3159140056267995013911532584031*c_0101_6^13 - 21765213486215890660193468858929657666820/2131591400562679950139115\ 32584031*c_0101_6^12 - 9339340107589030600574793717665202326673/213\ 159140056267995013911532584031*c_0101_6^11 + 5697307260940286560008908956083037617351/21315914005626799501391153\ 2584031*c_0101_6^10 + 9951427850291924607077364064836971708908/2131\ 59140056267995013911532584031*c_0101_6^9 + 4390685539925367962313030882193030038110/21315914005626799501391153\ 2584031*c_0101_6^8 - 806379382271704785841783138743099040847/213159\ 140056267995013911532584031*c_0101_6^7 - 1370242255170843956839953290231877442487/21315914005626799501391153\ 2584031*c_0101_6^6 - 261365309555457595431907209539440431454/213159\ 140056267995013911532584031*c_0101_6^5 + 136334288696795237780524043847025157616/213159140056267995013911532\ 584031*c_0101_6^4 + 52791226577892217247717240700990048507/21315914\ 0056267995013911532584031*c_0101_6^3 - 5258880268305323958645416048554084692/21315914005626799501391153258\ 4031*c_0101_6^2 - 3977540175113297902306655349728561359/21315914005\ 6267995013911532584031*c_0101_6 - 134180169703488397461419693760137\ 931/213159140056267995013911532584031, c_0011_0 - 1, c_0011_1 - 910898098002888759750047841236275/21315914005626799501391153\ 2584031*c_0101_6^22 - 7659162555322246052104648567616768/2131591400\ 56267995013911532584031*c_0101_6^21 - 17327037545746292195362641161552947/2131591400562679950139115325840\ 31*c_0101_6^20 + 13921860048686999708556115536784965/21315914005626\ 7995013911532584031*c_0101_6^19 + 938507129850124974341555911492700\ 61/213159140056267995013911532584031*c_0101_6^18 + 105670485213182931419559901244397876/213159140056267995013911532584\ 031*c_0101_6^17 + 828904744333823771127647956053600713/213159140056\ 267995013911532584031*c_0101_6^16 + 6474777258044998131197368822179239794/21315914005626799501391153258\ 4031*c_0101_6^15 + 22751908516055603519714826019222525061/213159140\ 056267995013911532584031*c_0101_6^14 + 44080554047909493154823589106659472388/2131591400562679950139115325\ 84031*c_0101_6^13 + 48696835192176868622657000548201972333/21315914\ 0056267995013911532584031*c_0101_6^12 + 24348134563865364630067287745731845710/2131591400562679950139115325\ 84031*c_0101_6^11 - 8752597289973620194082507855982673193/213159140\ 056267995013911532584031*c_0101_6^10 - 21238044540889958425474519705794276080/2131591400562679950139115325\ 84031*c_0101_6^9 - 11413457891631965446341451496348679798/213159140\ 056267995013911532584031*c_0101_6^8 + 378406500219189395177509473379978020/213159140056267995013911532584\ 031*c_0101_6^7 + 2937081578050335163964998068872388184/213159140056\ 267995013911532584031*c_0101_6^6 + 907296499166486688823441115127555284/213159140056267995013911532584\ 031*c_0101_6^5 - 195801303155128661989445573000373669/2131591400562\ 67995013911532584031*c_0101_6^4 - 145332837686198777219805413230480\ 435/213159140056267995013911532584031*c_0101_6^3 - 5438762101434947939680534211828576/21315914005626799501391153258403\ 1*c_0101_6^2 + 9712006756726742351938263149751049/21315914005626799\ 5013911532584031*c_0101_6 + 1655069879001744407546894617617696/2131\ 59140056267995013911532584031, c_0011_3 - 1722846004899292712431476210605183/2131591400562679950139115\ 32584031*c_0101_6^22 - 14710597304904642033419406856509231/21315914\ 0056267995013911532584031*c_0101_6^21 - 34569858248791398645561962691230005/2131591400562679950139115325840\ 31*c_0101_6^20 + 22780159923301097034502620331448960/21315914005626\ 7995013911532584031*c_0101_6^19 + 182401206460645690146125296097584\ 131/213159140056267995013911532584031*c_0101_6^18 + 221149358319688875639788192781755375/213159140056267995013911532584\ 031*c_0101_6^17 + 1585127887610686432771559497753482896/21315914005\ 6267995013911532584031*c_0101_6^16 + 12442831509702952015637540365267644064/2131591400562679950139115325\ 84031*c_0101_6^15 + 44549322089344356837478635892842715020/21315914\ 0056267995013911532584031*c_0101_6^14 + 88370980253177423885547231097626413953/2131591400562679950139115325\ 84031*c_0101_6^13 + 100935780777998014732488245878048179424/2131591\ 40056267995013911532584031*c_0101_6^12 + 54404013169897288334362571883705017164/2131591400562679950139115325\ 84031*c_0101_6^11 - 14090021515377669953706527328348344353/21315914\ 0056267995013911532584031*c_0101_6^10 - 43478279926255841553345333664926581681/2131591400562679950139115325\ 84031*c_0101_6^9 - 25542012448623754896950725750629307220/213159140\ 056267995013911532584031*c_0101_6^8 - 467028673542353751440157664949412687/213159140056267995013911532584\ 031*c_0101_6^7 + 6169529957229067958976121290963724134/213159140056\ 267995013911532584031*c_0101_6^6 + 2205165090264263403590741128484613073/21315914005626799501391153258\ 4031*c_0101_6^5 - 345763504839137498306404507938349359/213159140056\ 267995013911532584031*c_0101_6^4 - 333179718084685422539667224844906620/213159140056267995013911532584\ 031*c_0101_6^3 - 20682615829445443588071595587409896/21315914005626\ 7995013911532584031*c_0101_6^2 + 2173724033317130969136067028304250\ 7/213159140056267995013911532584031*c_0101_6 + 3719369682144448787251987955173826/21315914005626799501391153258403\ 1, c_0101_0 - 4636632513482704671563916278557350/2131591400562679950139115\ 32584031*c_0101_6^22 - 39402605981510139333396617644752631/21315914\ 0056267995013911532584031*c_0101_6^21 - 91531209317322932135075221825111437/2131591400562679950139115325840\ 31*c_0101_6^20 + 64258223414792233773799117278144809/21315914005626\ 7995013911532584031*c_0101_6^19 + 486580416086176094037635920809099\ 289/213159140056267995013911532584031*c_0101_6^18 + 577016880502428595105863543015753704/213159140056267995013911532584\ 031*c_0101_6^17 + 4252388819724791013405999506590724738/21315914005\ 6267995013911532584031*c_0101_6^16 + 33324642768239288118789663594351861866/2131591400562679950139115325\ 84031*c_0101_6^15 + 118624134903855627211495085695362131998/2131591\ 40056267995013911532584031*c_0101_6^14 + 233667154398233350551340991416873762814/213159140056267995013911532\ 584031*c_0101_6^13 + 264423586371577537448183225074751493247/213159\ 140056267995013911532584031*c_0101_6^12 + 139928767655741103297199620412482314447/213159140056267995013911532\ 584031*c_0101_6^11 - 39251380143414236670529293378281787869/2131591\ 40056267995013911532584031*c_0101_6^10 - 113765415218728386535981005326539631679/213159140056267995013911532\ 584031*c_0101_6^9 - 65490941837972469734516574798932549703/21315914\ 0056267995013911532584031*c_0101_6^8 - 583854584095854011253686248668192738/213159140056267995013911532584\ 031*c_0101_6^7 + 15923616926979090779488626018075064268/21315914005\ 6267995013911532584031*c_0101_6^6 + 5546302565359992066448818811234097757/21315914005626799501391153258\ 4031*c_0101_6^5 - 913560553726322468173559037717175557/213159140056\ 267995013911532584031*c_0101_6^4 - 848769206044863334034936026360246441/213159140056267995013911532584\ 031*c_0101_6^3 - 51082049767322504941819205172773845/21315914005626\ 7995013911532584031*c_0101_6^2 + 5599942204543137777514498435099149\ 3/213159140056267995013911532584031*c_0101_6 + 9659958374813686807499011800987785/21315914005626799501391153258403\ 1, c_0101_1 + 1561817895036824038844150061723373/2131591400562679950139115\ 32584031*c_0101_6^22 + 13189761632439463810290901618575365/21315914\ 0056267995013911532584031*c_0101_6^21 + 30150723892857539944060403337895097/2131591400562679950139115325840\ 31*c_0101_6^20 - 23095488908828398121748540956780227/21315914005626\ 7995013911532584031*c_0101_6^19 - 162364988356152847259807837183034\ 412/213159140056267995013911532584031*c_0101_6^18 - 186095669165806166387029639280195640/213159140056267995013911532584\ 031*c_0101_6^17 - 1424310387274382018620238141698187914/21315914005\ 6267995013911532584031*c_0101_6^16 - 11151445354501344911547282670597304139/2131591400562679950139115325\ 84031*c_0101_6^15 - 39382866690275305612523473637796276123/21315914\ 0056267995013911532584031*c_0101_6^14 - 76746760897881349909146536676777576258/2131591400562679950139115325\ 84031*c_0101_6^13 - 85426197540590568174010702687276349644/21315914\ 0056267995013911532584031*c_0101_6^12 - 43392558903360046662146026562138572275/2131591400562679950139115325\ 84031*c_0101_6^11 + 14714200480137028825571771718179117577/21315914\ 0056267995013911532584031*c_0101_6^10 + 37215940286786165675806757485433627264/2131591400562679950139115325\ 84031*c_0101_6^9 + 20324697509073665558657784665595033201/213159140\ 056267995013911532584031*c_0101_6^8 - 498778298813951099649555873421626253/213159140056267995013911532584\ 031*c_0101_6^7 - 5179302934538537571604658914165060985/213159140056\ 267995013911532584031*c_0101_6^6 - 1634550905319691248352411939194769723/21315914005626799501391153258\ 4031*c_0101_6^5 + 337240058907504022940931137247250608/213159140056\ 267995013911532584031*c_0101_6^4 + 259638462319813408254848920320820795/213159140056267995013911532584\ 031*c_0101_6^3 + 11014293397616765368758861402717633/21315914005626\ 7995013911532584031*c_0101_6^2 - 1730836026778969039659275173613157\ 8/213159140056267995013911532584031*c_0101_6 - 2753787525418044218423893792859198/21315914005626799501391153258403\ 1, c_0101_4 - 3253566012131178759308069457499371/2131591400562679950139115\ 32584031*c_0101_6^22 - 27593767402887325127345130721649121/21315914\ 0056267995013911532584031*c_0101_6^21 - 63765495791936333520631116045965520/2131591400562679950139115325840\ 31*c_0101_6^20 + 46126395851996017431225855250074357/21315914005626\ 7995013911532584031*c_0101_6^19 + 340579330508124376693603505277955\ 571/213159140056267995013911532584031*c_0101_6^18 + 399261731357394998352241352311750435/213159140056267995013911532584\ 031*c_0101_6^17 + 2977568298051206830590756957727875802/21315914005\ 6267995013911532584031*c_0101_6^16 + 23333875010475288799588365258364878626/2131591400562679950139115325\ 84031*c_0101_6^15 + 82848770235213875312499448639280449032/21315914\ 0056267995013911532584031*c_0101_6^14 + 162597644832029217679975176652100922393/213159140056267995013911532\ 584031*c_0101_6^13 + 182904785694460073093633243546920765913/213159\ 140056267995013911532584031*c_0101_6^12 + 95285876000969516458780390494978149743/2131591400562679950139115325\ 84031*c_0101_6^11 - 28951627225042727584806545570869981267/21315914\ 0056267995013911532584031*c_0101_6^10 - 79231109595705773203749058468929492880/2131591400562679950139115325\ 84031*c_0101_6^9 - 44641841735502213788978852354977215169/213159140\ 056267995013911532584031*c_0101_6^8 + 250058423250955946848712319693301431/213159140056267995013911532584\ 031*c_0101_6^7 + 11101700847160654391777227261732334337/21315914005\ 6267995013911532584031*c_0101_6^6 + 3697960627019587602911287946008371236/21315914005626799501391153258\ 4031*c_0101_6^5 - 683041925853148742066314143684640309/213159140056\ 267995013911532584031*c_0101_6^4 - 573584372351584533466176940850569469/213159140056267995013911532584\ 031*c_0101_6^3 - 27244221580193460182658408319323430/21315914005626\ 7995013911532584031*c_0101_6^2 + 3792934302959786415404352461824291\ 0/213159140056267995013911532584031*c_0101_6 + 6078433843530870429988932038471757/21315914005626799501391153258403\ 1, c_0101_6^23 + 9*c_0101_6^22 + 24*c_0101_6^21 - 4*c_0101_6^20 - 112*c_0101_6^19 - 177*c_0101_6^18 - 979*c_0101_6^17 - 7647*c_0101_6^16 - 29186*c_0101_6^15 - 63195*c_0101_6^14 - 82183*c_0101_6^13 - 58546*c_0101_6^12 - 6424*c_0101_6^11 + 28881*c_0101_6^10 + 26356*c_0101_6^9 + 7093*c_0101_6^8 - 3418*c_0101_6^7 - 2906*c_0101_6^6 - 387*c_0101_6^5 + 284*c_0101_6^4 + 101*c_0101_6^3 - 7*c_0101_6^2 - 8*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB