Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 374835922] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0424 geometric_solution 4.47895044 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 3201 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 0 0 0 0 0 0 0 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.340536625174 0.520125481094 0 0 3 3 0132 2310 3201 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 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 -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.161892977450 0.135685934584 0 0 2 2 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.287597177633 0.097687302048 1 4 1 5 2310 0132 0132 0132 0 0 0 0 0 0 1 -1 -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 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.201560644554 1.884349795493 5 3 5 6 3201 0132 3012 0132 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275383172071 1.114600247635 6 4 3 4 3201 1230 0132 2310 0 0 0 0 0 -1 1 0 -1 0 0 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 0 0 1 0 -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.275383172071 1.114600247635 6 6 4 5 1230 3012 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 0 1 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.791086692226 0.845566643842 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0011_6']), '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 6721537017747020254742376706/14274150767631689295240575*c_0101_4^20 + 1169745405688835517772383134/14274150767631689295240575*c_0101_4^\ 19 - 12853497216788201588323243284/570966030705267571809623*c_0101_\ 4^18 + 515461093638012714060214295841/14274150767631689295240575*c_\ 0101_4^17 + 1684258986523335295708365662288/14274150767631689295240\ 575*c_0101_4^16 - 5954911239498630364869599585388/14274150767631689\ 295240575*c_0101_4^15 + 6860534874752088745654382425047/14274150767\ 631689295240575*c_0101_4^14 + 13852767752211406879594308656161/1427\ 4150767631689295240575*c_0101_4^13 - 9339751166046215820124757850358/2854830153526337859048115*c_0101_4^\ 12 + 4351475209276860797298068831467/14274150767631689295240575*c_0\ 101_4^11 + 76433462738767995107806732935388/14274150767631689295240\ 575*c_0101_4^10 - 5915040261214687779949698481606/28548301535263378\ 59048115*c_0101_4^9 - 10933290208940269281099608185134/285483015352\ 6337859048115*c_0101_4^8 + 23350358578959797595632369846916/1427415\ 0767631689295240575*c_0101_4^7 + 19816071974160894750553594292779/1\ 4274150767631689295240575*c_0101_4^6 - 6661498379156151282601126761122/14274150767631689295240575*c_0101_4\ ^5 - 3570233970100664435972596952754/14274150767631689295240575*c_0\ 101_4^4 + 719326389545729560245122442519/14274150767631689295240575\ *c_0101_4^3 + 59305602329621524006599095548/28548301535263378590481\ 15*c_0101_4^2 - 4829809114932941439229285626/2854830153526337859048\ 115*c_0101_4 - 8539691788816197189936585191/14274150767631689295240\ 575, c_0011_0 - 1, c_0011_3 - 23018768133942203257219719/2854830153526337859048115*c_0101_\ 4^20 - 16506813856732316398014759/14274150767631689295240575*c_0101\ _4^19 + 5499782203953402425044282073/14274150767631689295240575*c_0\ 101_4^18 - 8995806570377382005081945443/14274150767631689295240575*\ c_0101_4^17 - 28419994533990475893747363906/14274150767631689295240\ 575*c_0101_4^16 + 102634086566936492696784733214/142741507676316892\ 95240575*c_0101_4^15 - 121409112401090508936602304652/1427415076763\ 1689295240575*c_0101_4^14 - 230981147700958212731528887031/14274150\ 767631689295240575*c_0101_4^13 + 804096686585521384341071213887/142\ 74150767631689295240575*c_0101_4^12 - 105761320606480597839545894717/14274150767631689295240575*c_0101_4^\ 11 - 1286111871954348374542440577761/14274150767631689295240575*c_0\ 101_4^10 + 547726946739661467658219322084/1427415076763168929524057\ 5*c_0101_4^9 + 886234617231901023257141015361/142741507676316892952\ 40575*c_0101_4^8 - 421214432028920327025407894326/14274150767631689\ 295240575*c_0101_4^7 - 301263706790989959389940306968/1427415076763\ 1689295240575*c_0101_4^6 + 118756275722860145248048536417/142741507\ 67631689295240575*c_0101_4^5 + 47629165571676455495195316251/142741\ 50767631689295240575*c_0101_4^4 - 2563405704628172857946498933/2854\ 830153526337859048115*c_0101_4^3 - 2932805841346510537709013736/14274150767631689295240575*c_0101_4^2 + 421320760297807175442753151/14274150767631689295240575*c_0101_4 + 35093548629280164182412439/14274150767631689295240575, c_0011_5 + 344136980877417871210327972/14274150767631689295240575*c_010\ 1_4^20 - 21747889876195159395207368/14274150767631689295240575*c_01\ 01_4^19 - 16463404403634061338188825183/14274150767631689295240575*\ c_0101_4^18 + 6060220865665632071758842538/285483015352633785904811\ 5*c_0101_4^17 + 79826996849153281358306971392/142741507676316892952\ 40575*c_0101_4^16 - 65084828093470868289254601792/28548301535263378\ 59048115*c_0101_4^15 + 424950056436244087373609139946/1427415076763\ 1689295240575*c_0101_4^14 + 624653648075348172749326958933/14274150\ 767631689295240575*c_0101_4^13 - 2562408452668028941936065845552/14\ 274150767631689295240575*c_0101_4^12 + 805280033144056638400971709231/14274150767631689295240575*c_0101_4^\ 11 + 3849435893937451378404264193807/14274150767631689295240575*c_0\ 101_4^10 - 2489478760007730919896811269304/142741507676316892952405\ 75*c_0101_4^9 - 2382230103390331504962111643166/1427415076763168929\ 5240575*c_0101_4^8 + 1909859648608665157338209161508/14274150767631\ 689295240575*c_0101_4^7 + 653064041766726573416934897131/1427415076\ 7631689295240575*c_0101_4^6 - 600482013486804554108062463576/142741\ 50767631689295240575*c_0101_4^5 - 59045692832889299378647514424/142\ 74150767631689295240575*c_0101_4^4 + 80483842598490316370761109003/14274150767631689295240575*c_0101_4^3 - 2889810467392624102364912904/14274150767631689295240575*c_0101_4^\ 2 - 3833354610696659739886653881/14274150767631689295240575*c_0101_\ 4 + 468109409641373084748688399/14274150767631689295240575, c_0011_6 + 10743407907689515872414233/570966030705267571809623*c_0101_4\ ^20 - 58429894565488671978688038/14274150767631689295240575*c_0101_\ 4^19 - 12856366953845522707971024319/14274150767631689295240575*c_0\ 101_4^18 + 25630876458297232385906391464/14274150767631689295240575\ *c_0101_4^17 + 59127372579973560377148612783/1427415076763168929524\ 0575*c_0101_4^16 - 264386371682452459074706474092/14274150767631689\ 295240575*c_0101_4^15 + 368416859002659596297738260396/142741507676\ 31689295240575*c_0101_4^14 + 445271390210348047474527914963/1427415\ 0767631689295240575*c_0101_4^13 - 2085818006015101985288524343326/1\ 4274150767631689295240575*c_0101_4^12 + 917365343607969658362264183021/14274150767631689295240575*c_0101_4^\ 11 + 2977512508691083012835759994473/14274150767631689295240575*c_0\ 101_4^10 - 2417523227770447626093909598292/142741507676316892952405\ 75*c_0101_4^9 - 1670919399336026708442346715753/1427415076763168929\ 5240575*c_0101_4^8 + 1828521700629705771671375515073/14274150767631\ 689295240575*c_0101_4^7 + 355466149873957668129313984829/1427415076\ 7631689295240575*c_0101_4^6 - 587023710121566324883557500326/142741\ 50767631689295240575*c_0101_4^5 + 1267928540143674688837701707/1427\ 4150767631689295240575*c_0101_4^4 + 16321972540914697134318354837/2854830153526337859048115*c_0101_4^3 - 8236248292713129509563709712/14274150767631689295240575*c_0101_4^2 - 4030873254564873537999898208/14274150767631689295240575*c_0101_4 + 629934084479635822516256213/14274150767631689295240575, c_0101_0 - 31682868597327802790462568/2854830153526337859048115*c_0101_\ 4^20 + 59936247452887030378260156/14274150767631689295240575*c_0101\ _4^19 + 7590536896580931914747040983/14274150767631689295240575*c_0\ 101_4^18 - 16333773248781248192614007253/14274150767631689295240575\ *c_0101_4^17 - 33076586808838688453523739116/1427415076763168929524\ 0575*c_0101_4^16 + 162533169142352258881799139249/14274150767631689\ 295240575*c_0101_4^15 - 239011387976362940298016913997/142741507676\ 31689295240575*c_0101_4^14 - 239280238492686314210938845866/1427415\ 0767631689295240575*c_0101_4^13 + 1285543816220214588172157136537/1\ 4274150767631689295240575*c_0101_4^12 - 711017878759988823596365796057/14274150767631689295240575*c_0101_4^\ 11 - 1760210503192306791197313838996/14274150767631689295240575*c_0\ 101_4^10 + 1713559783375381271784018816199/142741507676316892952405\ 75*c_0101_4^9 + 906689669895489500102356023761/14274150767631689295\ 240575*c_0101_4^8 - 1291400672959379348133946462136/142741507676316\ 89295240575*c_0101_4^7 - 143241122612366372332613660843/14274150767\ 631689295240575*c_0101_4^6 + 424507999535670792017288815752/1427415\ 0767631689295240575*c_0101_4^5 - 19599205558749643017730460254/1427\ 4150767631689295240575*c_0101_4^4 - 12202720311558430406361792593/2854830153526337859048115*c_0101_4^3 + 7077013636914656334796631174/14274150767631689295240575*c_0101_4^2 + 3078789936955550188259848991/14274150767631689295240575*c_0101_4 - 479699020857708782615103541/14274150767631689295240575, c_0101_2 - 88113981107817864213078083/14274150767631689295240575*c_0101\ _4^20 + 2349747193415061660327947/2854830153526337859048115*c_0101_\ 4^19 + 4215308453097268235593930446/14274150767631689295240575*c_01\ 01_4^18 - 8053481791827488314844837824/14274150767631689295240575*c\ _0101_4^17 - 19912398964328704595615030631/142741507676316892952405\ 75*c_0101_4^16 + 84758752882666291315633176957/14274150767631689295\ 240575*c_0101_4^15 - 22898885868139648443656388854/2854830153526337\ 859048115*c_0101_4^14 - 30508418987656023109480394292/2854830153526\ 337859048115*c_0101_4^13 + 667087219274699155200636323869/142741507\ 67631689295240575*c_0101_4^12 - 50083477535597758581452329726/28548\ 30153526337859048115*c_0101_4^11 - 973319695252220458799894077696/14274150767631689295240575*c_0101_4^\ 10 + 702339724011474502318327143538/14274150767631689295240575*c_01\ 01_4^9 + 573658692131931282941917095737/14274150767631689295240575*\ c_0101_4^8 - 21170102540590393385215392936/570966030705267571809623\ *c_0101_4^7 - 143157807783426913078939146043/1427415076763168929524\ 0575*c_0101_4^6 + 33278653807229894869866161521/2854830153526337859\ 048115*c_0101_4^5 + 9481086984257471222468380424/142741507676316892\ 95240575*c_0101_4^4 - 22730571458616197270160996187/142741507676316\ 89295240575*c_0101_4^3 + 1132892647268851565151989973/1427415076763\ 1689295240575*c_0101_4^2 + 1132930005900989527574370822/14274150767\ 631689295240575*c_0101_4 - 127211822280387369487850014/142741507676\ 31689295240575, c_0101_4^21 - 48*c_0101_4^19 + 85*c_0101_4^18 + 245*c_0101_4^17 - 943*c_0101_4^16 + 1136*c_0101_4^15 + 2032*c_0101_4^14 - 7492*c_0101_4^13 + 1548*c_0101_4^12 + 12424*c_0101_4^11 - 6640*c_0101_4^10 - 9158*c_0101_4^9 + 5834*c_0101_4^8 + 3502*c_0101_4^7 - 2207*c_0101_4^6 - 715*c_0101_4^5 + 398*c_0101_4^4 + 74*c_0101_4^3 - 33*c_0101_4^2 - 3*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB