Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 3785391416] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0831 geometric_solution 4.75512608 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 1023 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489722022013 0.259719798203 0 0 1 1 0132 3201 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 0.478867828907 0.080108254876 3 0 4 0 0132 0132 0132 1023 0 0 0 0 0 1 -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 2 -2 0 1 0 1 -2 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.157340782846 3.834583169789 2 4 4 5 0132 3201 0213 0132 0 0 0 0 0 0 1 -1 -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 0 2 -2 -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.176997482216 0.621658718287 5 3 3 2 0132 0213 2310 0132 0 0 0 0 0 -1 0 1 1 0 -1 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 -2 0 2 2 0 -1 -1 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.176997482216 0.621658718287 4 6 3 6 0132 0132 0132 2310 0 0 0 0 0 -1 1 0 -1 0 0 1 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 -2 2 0 -2 0 0 2 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.426436981628 0.508268775962 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 1 0 -1 1 0 -1 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 2 0 -2 1 0 -1 0 0 -1 0 1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510069056850 0.468450503389 ==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' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0011_4'], '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_0011_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_4']})} 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_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 33323205592096490326894043884307498569806467821/6759109009122756830\ 59416489201173472439094935815*c_0110_6^19 - 87125026266384297208989285076076977639962929027/2180357744878308655\ 0303757716166886207712739865*c_0110_6^18 + 1802280975804227550051165958371688856231984085713/22530363363742522\ 7686472163067057824146364978605*c_0110_6^17 + 63749230411447767608187739669903052717653930436447/6759109009122756\ 83059416489201173472439094935815*c_0110_6^16 - 101620501976385159731707777803123203253391651716257/675910900912275\ 683059416489201173472439094935815*c_0110_6^15 - 315857624468358825161650237297086446637570950457581/675910900912275\ 683059416489201173472439094935815*c_0110_6^14 + 43563527957179968550183608261265053668632872186497/2253036336374252\ 27686472163067057824146364978605*c_0110_6^13 - 414338031132449486486265923506857523350202830754882/675910900912275\ 683059416489201173472439094935815*c_0110_6^12 + 862273313789519432543297084503086837657287809578838/225303633637425\ 227686472163067057824146364978605*c_0110_6^11 + 6642795320971779662496780459892796529667273339234319/67591090091227\ 5683059416489201173472439094935815*c_0110_6^10 - 3297061147037992597225072817364977702669048618452252/22530363363742\ 5227686472163067057824146364978605*c_0110_6^9 - 15727589238060950609522095437221122268858934339415063/6759109009122\ 75683059416489201173472439094935815*c_0110_6^8 + 11520890531727026119332846957982330035178533760839439/6759109009122\ 75683059416489201173472439094935815*c_0110_6^7 + 11626377519081834705979121839402267660989436331134301/6759109009122\ 75683059416489201173472439094935815*c_0110_6^6 - 3024809740635897964456251088561471279965122499046759/67591090091227\ 5683059416489201173472439094935815*c_0110_6^5 - 631526679677438813625415757509371171960831694725628/675910900912275\ 683059416489201173472439094935815*c_0110_6^4 - 784825414062620657274081593841741118733308529381243/675910900912275\ 683059416489201173472439094935815*c_0110_6^3 - 81610860499355442339025046347908728205263783026894/6759109009122756\ 83059416489201173472439094935815*c_0110_6^2 + 4730978564403111592468403273585728206083601715994/13518218018245513\ 6611883297840234694487818987163*c_0110_6 + 2561420801433652964586990053559508581545699902801/67591090091227568\ 3059416489201173472439094935815, c_0011_0 - 1, c_0011_4 + 6744263870607240736028427396622079257655832058/9448216894472\ 6708384649616770056506900088539415*c_0110_6^19 + 547599505225035173905952692014163394605458617061/944821689447267083\ 84649616770056506900088539415*c_0110_6^18 - 80529489519701352163135859434654344484629341694/7267859149594362183\ 434585905388962069237579955*c_0110_6^17 - 15593046640138610332980968597859098143746892773046/9448216894472670\ 8384649616770056506900088539415*c_0110_6^16 + 24111526583821005684911647426847866659400999659586/9448216894472670\ 8384649616770056506900088539415*c_0110_6^15 + 138224828679469833293659235519382260830658367810923/944821689447267\ 08384649616770056506900088539415*c_0110_6^14 - 144785317427762615191929430386704756592872486823828/944821689447267\ 08384649616770056506900088539415*c_0110_6^13 - 538405470752227779788556898610129108721003329881429/944821689447267\ 08384649616770056506900088539415*c_0110_6^12 + 301963526960924434187687452766177671473252592390068/944821689447267\ 08384649616770056506900088539415*c_0110_6^11 + 942140027170308484066216110067860010518675140166168/944821689447267\ 08384649616770056506900088539415*c_0110_6^10 - 158313648489722136329279459827449900863178804103342/944821689447267\ 08384649616770056506900088539415*c_0110_6^9 - 618517679399518737676846456497411122939497340634771/944821689447267\ 08384649616770056506900088539415*c_0110_6^8 - 111843075820144851507811726414916476878547407439667/944821689447267\ 08384649616770056506900088539415*c_0110_6^7 + 26979982177679128204244732007263382474432349365582/9448216894472670\ 8384649616770056506900088539415*c_0110_6^6 + 55901420335372897946383845655112063584538463058297/9448216894472670\ 8384649616770056506900088539415*c_0110_6^5 + 14686330660905256891847742164618538936952052488539/9448216894472670\ 8384649616770056506900088539415*c_0110_6^4 + 3017714653021535613512873604759372723340771955004/94482168944726708\ 384649616770056506900088539415*c_0110_6^3 + 97406845871382601316079242618649329442893520887/9448216894472670838\ 4649616770056506900088539415*c_0110_6^2 + 50286728848801889581120537310889049033167690329/1889643378894534167\ 6929923354011301380017707883*c_0110_6 + 46046264271295727913458203073500926635707640072/9448216894472670838\ 4649616770056506900088539415, c_0101_0 + 32139518042448968084755496096825231842416824652/944821689447\ 26708384649616770056506900088539415*c_0110_6^19 + 2595997890663547213722093478897726950945315568534/94482168944726708\ 384649616770056506900088539415*c_0110_6^18 - 468194407919717233100704586787422667751832168291/726785914959436218\ 3434585905388962069237579955*c_0110_6^17 - 71893543988559816146324442105542172958119853753944/9448216894472670\ 8384649616770056506900088539415*c_0110_6^16 + 145675149128576658947970594446000332361413707141644/944821689447267\ 08384649616770056506900088539415*c_0110_6^15 + 601387497864577606783023621333595735354885506266417/944821689447267\ 08384649616770056506900088539415*c_0110_6^14 - 954325547231324353692022275418963435217811054922902/944821689447267\ 08384649616770056506900088539415*c_0110_6^13 - 2195797314088599011634799709866869750209304714451031/94482168944726\ 708384649616770056506900088539415*c_0110_6^12 + 2438834227033233385441283395556062011198074481504157/94482168944726\ 708384649616770056506900088539415*c_0110_6^11 + 3571287956145478430341306892309239330154713792048652/94482168944726\ 708384649616770056506900088539415*c_0110_6^10 - 2469267398294674337436570485907481399380854263413348/94482168944726\ 708384649616770056506900088539415*c_0110_6^9 - 2067352241048329897141239017083311971853207576846169/94482168944726\ 708384649616770056506900088539415*c_0110_6^8 + 593802083246319410644172498510553715925854921488232/944821689447267\ 08384649616770056506900088539415*c_0110_6^7 - 49515850536766795031256509818553635913756594950837/9448216894472670\ 8384649616770056506900088539415*c_0110_6^6 + 182664342963601482703526557737174610491650726336883/944821689447267\ 08384649616770056506900088539415*c_0110_6^5 + 8130046313789652337380934722549691443949128336811/94482168944726708\ 384649616770056506900088539415*c_0110_6^4 + 4764459199815531354298084085555032126394404635211/94482168944726708\ 384649616770056506900088539415*c_0110_6^3 + 377117715417368387563759536443980602073910621578/944821689447267083\ 84649616770056506900088539415*c_0110_6^2 + 48685619176958095468986156686885885580008872904/1889643378894534167\ 6929923354011301380017707883*c_0110_6 + 51922365232594089036537290454302626364665412378/9448216894472670838\ 4649616770056506900088539415, c_0101_1 + 826494436195673270128971236282861343297048217/72678591495943\ 62183434585905388962069237579955*c_0110_6^19 + 67068238076955652554598056849318407793375895404/7267859149594362183\ 434585905388962069237579955*c_0110_6^18 - 131422051528184885536932229558859043200455453843/726785914959436218\ 3434585905388962069237579955*c_0110_6^17 - 1902759115689527089887709633991066996858721923944/72678591495943621\ 83434585905388962069237579955*c_0110_6^16 + 3039930441151504570610259740678623839852540597529/72678591495943621\ 83434585905388962069237579955*c_0110_6^15 + 16741863128780417761761779669725794447271868709877/7267859149594362\ 183434585905388962069237579955*c_0110_6^14 - 18428136932676589091678326871934410543504939249222/7267859149594362\ 183434585905388962069237579955*c_0110_6^13 - 64654653524438178598635708995750488300742105593286/7267859149594362\ 183434585905388962069237579955*c_0110_6^12 + 39403130620745635807195730511279741643586260167852/7267859149594362\ 183434585905388962069237579955*c_0110_6^11 + 111901862079315500582177064960579839275651740181027/726785914959436\ 2183434585905388962069237579955*c_0110_6^10 - 23152496333529370922400982900064484175299915108498/7267859149594362\ 183434585905388962069237579955*c_0110_6^9 - 71878245737813170533503083820472196462442175258369/7267859149594362\ 183434585905388962069237579955*c_0110_6^8 - 11599139790470428015160275967947708834922004598648/7267859149594362\ 183434585905388962069237579955*c_0110_6^7 + 2137327135625137929124880208915242193716390782588/72678591495943621\ 83434585905388962069237579955*c_0110_6^6 + 6832127040240684402984006743869055153485788058633/72678591495943621\ 83434585905388962069237579955*c_0110_6^5 + 1478502864180225861009571530360971308358844301006/72678591495943621\ 83434585905388962069237579955*c_0110_6^4 + 459761474890653622428968720813120212024061410991/726785914959436218\ 3434585905388962069237579955*c_0110_6^3 + 7427680153649177991000976375862398033530807603/72678591495943621834\ 34585905388962069237579955*c_0110_6^2 - 417327537641064997896143169561116302505002175/145357182991887243668\ 6917181077792413847515991*c_0110_6 + 4838253698589428534585951843839192620780231893/72678591495943621834\ 34585905388962069237579955, c_0101_2 - 185694163865410019655526440364785301000747530/18896433788945\ 341676929923354011301380017707883*c_0110_6^19 - 16550968968821452967288794262891421455596108834/1889643378894534167\ 6929923354011301380017707883*c_0110_6^18 - 6953066463388946811753495958916786863373674427/14535718299188724366\ 86917181077792413847515991*c_0110_6^17 + 693075381073892325010452574565993152636851320208/188964337889453416\ 76929923354011301380017707883*c_0110_6^16 + 2677041399190653995160226809201939857612672426811/18896433788945341\ 676929923354011301380017707883*c_0110_6^15 - 10076083350124087622776488484921575295515186215758/1889643378894534\ 1676929923354011301380017707883*c_0110_6^14 - 24690593215895519995438724911096386752358355593515/1889643378894534\ 1676929923354011301380017707883*c_0110_6^13 + 55436730370425610800482491616110085372346431966681/1889643378894534\ 1676929923354011301380017707883*c_0110_6^12 + 100078748884617247350309057023882247418495617405799/188964337889453\ 41676929923354011301380017707883*c_0110_6^11 - 127410597174012024305690836739074633776754397637279/188964337889453\ 41676929923354011301380017707883*c_0110_6^10 - 181641735581917190893348854814210043252728636864111/188964337889453\ 41676929923354011301380017707883*c_0110_6^9 + 115352001094810564874888818433076170459490753634465/188964337889453\ 41676929923354011301380017707883*c_0110_6^8 + 126000562363844313705043044713970885984219641377376/188964337889453\ 41676929923354011301380017707883*c_0110_6^7 - 21090214691591328505486887285858889844912303695982/1889643378894534\ 1676929923354011301380017707883*c_0110_6^6 - 11898719869775344455906982973117428199614375408881/1889643378894534\ 1676929923354011301380017707883*c_0110_6^5 - 7793530146767115213032621513638513406808765401165/18896433788945341\ 676929923354011301380017707883*c_0110_6^4 - 688567616876590912588566224386938924885681991937/188964337889453416\ 76929923354011301380017707883*c_0110_6^3 - 2814853359078945522879052845823017202615743823/18896433788945341676\ 929923354011301380017707883*c_0110_6^2 + 48305033786178653850182921074187772465422538690/1889643378894534167\ 6929923354011301380017707883*c_0110_6 - 21915745903654811512893091118560607698917633875/1889643378894534167\ 6929923354011301380017707883, c_0101_4 + 7627419201165749275665479628521665415933827934/9448216894472\ 6708384649616770056506900088539415*c_0110_6^19 + 617100445378086192255815479690950448705900936393/944821689447267083\ 84649616770056506900088539415*c_0110_6^18 - 104859207447421161903329706724447755999526966967/726785914959436218\ 3434585905388962069237579955*c_0110_6^17 - 17294116827393579473667815787418070517393768519338/9448216894472670\ 8384649616770056506900088539415*c_0110_6^16 + 32387579659732042608774980672720619283812907847538/9448216894472670\ 8384649616770056506900088539415*c_0110_6^15 + 148465171709686041753262111323997371791358155402899/944821689447267\ 08384649616770056506900088539415*c_0110_6^14 - 209437809038811283136513716233112600667356340845804/944821689447267\ 08384649616770056506900088539415*c_0110_6^13 - 561421357923035152780811881938290354650308397964157/944821689447267\ 08384649616770056506900088539415*c_0110_6^12 + 521746418641518139352177129578979208878571867825259/944821689447267\ 08384649616770056506900088539415*c_0110_6^11 + 964426845546846084704237919726598423343498914480859/944821689447267\ 08384649616770056506900088539415*c_0110_6^10 - 502794121693661228513215914178168894322298423200536/944821689447267\ 08384649616770056506900088539415*c_0110_6^9 - 639232716669358195469309510672807862423722081356648/944821689447267\ 08384649616770056506900088539415*c_0110_6^8 + 102185800896606009225611583909768500411530619579614/944821689447267\ 08384649616770056506900088539415*c_0110_6^7 + 55189968116789596803876140505807546199704476777456/9448216894472670\ 8384649616770056506900088539415*c_0110_6^6 + 37555971409854838622460081280133648902502732182316/9448216894472670\ 8384649616770056506900088539415*c_0110_6^5 + 3535672584818678122554509594812635211587640731067/94482168944726708\ 384649616770056506900088539415*c_0110_6^4 - 15176866758021173356297219717900108987090606668/9448216894472670838\ 4649616770056506900088539415*c_0110_6^3 - 462827782382864747982561991683653219891098045124/944821689447267083\ 84649616770056506900088539415*c_0110_6^2 + 21211095255048722708283631721855533089365825959/1889643378894534167\ 6929923354011301380017707883*c_0110_6 - 1907990897030412832216605711505247503621465324/94482168944726708384\ 649616770056506900088539415, c_0110_6^20 + 81*c_0110_6^19 - 171*c_0110_6^18 - 2278*c_0110_6^17 + 4019*c_0110_6^16 + 19689*c_0110_6^15 - 25312*c_0110_6^14 - 74652*c_0110_6^13 + 59474*c_0110_6^12 + 126955*c_0110_6^11 - 49130*c_0110_6^10 - 79738*c_0110_6^9 + 968*c_0110_6^8 + 1778*c_0110_6^7 + 6440*c_0110_6^6 + 1314*c_0110_6^5 + 300*c_0110_6^4 + 16*c_0110_6^3 + 16*c_0110_6^2 + 4*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB