Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 2598045349] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0201 geometric_solution 4.01479422 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 2.367531718242 0.106425174100 0 2 2 0 0132 0132 3201 1023 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 1 0 -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.044416326291 0.353985076348 1 1 3 3 2310 0132 0132 3201 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 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.218127387627 0.128089501584 4 2 5 2 0132 2310 0132 0132 0 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 0 0 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.299687964500 1.117688735605 3 5 6 5 0132 3201 0132 2310 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.006041556430 1.718218256838 4 6 4 3 3201 1023 2310 0132 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 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.006041556430 1.718218256838 5 6 6 4 1023 1230 3012 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 1 -1 0 1 0 -1 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.496001664892 0.297868047954 ==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_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], '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' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 34267960410120855762598224826014993786/9769491277585000453969024275\ 13321805*c_0101_3^20 - 367051289621369201672988102569500243692/9769\ 49127758500045396902427513321805*c_0101_3^19 + 100706317406082249805668152155788056678/195389825551700009079380485\ 502664361*c_0101_3^18 - 903501755007322852662316228509340989703/976\ 949127758500045396902427513321805*c_0101_3^17 + 787307747790255682412206485345114035550/195389825551700009079380485\ 502664361*c_0101_3^16 + 3307141345403684031948016293425483640638/19\ 5389825551700009079380485502664361*c_0101_3^15 + 18188000248512838764242024980171868843738/9769491277585000453969024\ 27513321805*c_0101_3^14 + 3090330250064163329475423925133314451163/\ 42476049032978262843343583804927035*c_0101_3^13 + 1687177048486627095993676687108334876564/42476049032978262843343583\ 804927035*c_0101_3^12 + 32819734349480949305982107180159763995568/9\ 76949127758500045396902427513321805*c_0101_3^11 + 8865862049052125294959917623489449386766/97694912775850004539690242\ 7513321805*c_0101_3^10 - 22723498932521562361933034844512087985920/\ 195389825551700009079380485502664361*c_0101_3^9 - 40027299856339074300134679783104645844603/9769491277585000453969024\ 27513321805*c_0101_3^8 - 4016231066643400328045318447425655460482/1\ 95389825551700009079380485502664361*c_0101_3^7 - 27092056856964448025534000412252688646789/9769491277585000453969024\ 27513321805*c_0101_3^6 + 45886175454359325165636498690085144664579/\ 976949127758500045396902427513321805*c_0101_3^5 + 26053203709235598349586635607577102286302/9769491277585000453969024\ 27513321805*c_0101_3^4 - 655567802352849239573500657712348041640/19\ 5389825551700009079380485502664361*c_0101_3^3 - 3169399573100489628306576801888851544569/97694912775850004539690242\ 7513321805*c_0101_3^2 - 287995054543539863892613313474614971101/139\ 564161108357149342414632501903115*c_0101_3 - 430467292392038999903732130411611021864/976949127758500045396902427\ 513321805, c_0011_0 - 1, c_0011_3 + 1211568707430572200385520875055/2822328839400549026135786299\ 3307*c_0101_3^20 - 13136036799465858045457415224491/282232883940054\ 90261357862993307*c_0101_3^19 + 20509785289397587588071875690141/28\ 223288394005490261357862993307*c_0101_3^18 - 45454593566342157520492516025652/28223288394005490261357862993307*c\ _0101_3^17 + 163089173895635134020659913689631/28223288394005490261\ 357862993307*c_0101_3^16 + 525521480088057773366156817233979/282232\ 88394005490261357862993307*c_0101_3^15 + 708331075953591478829320500789899/28223288394005490261357862993307*\ c_0101_3^14 + 2837551118434211800530889264683653/282232883940054902\ 61357862993307*c_0101_3^13 + 1502916833988756185378270640998808/282\ 23288394005490261357862993307*c_0101_3^12 + 3165524464673640119971116611506992/28223288394005490261357862993307\ *c_0101_3^11 + 826732660482418585005944570882555/282232883940054902\ 61357862993307*c_0101_3^10 - 1896488800198771776167655942847418/282\ 23288394005490261357862993307*c_0101_3^9 - 656709858095554964349049382796155/28223288394005490261357862993307*\ c_0101_3^8 - 2341824384163821200529129277812263/2822328839400549026\ 1357862993307*c_0101_3^7 - 827655216020653369031335155451824/282232\ 88394005490261357862993307*c_0101_3^6 + 272131481453112272033271697751720/28223288394005490261357862993307*\ c_0101_3^5 + 226389590058301159752024233573258/28223288394005490261\ 357862993307*c_0101_3^4 + 355233199166363487182616240173916/2822328\ 8394005490261357862993307*c_0101_3^3 + 7365343487249877582577523657706/28223288394005490261357862993307*c_\ 0101_3^2 + 7464120403638962002437272077547/282232883940054902613578\ 62993307*c_0101_3 + 10640567373582202729885582072602/28223288394005\ 490261357862993307, c_0011_5 + 3806030190904318643725187064999996/2791283222167142986848292\ 6500380623*c_0101_3^20 - 43709738846202250360859705853799141/279128\ 32221671429868482926500380623*c_0101_3^19 + 90500283985932059242483701015609991/2791283222167142986848292650038\ 0623*c_0101_3^18 - 178791097928822824052604201471011813/27912832221\ 671429868482926500380623*c_0101_3^17 + 588936387483915304241674112105405864/279128322216714298684829265003\ 80623*c_0101_3^16 + 1349231415836588865411875330434568622/279128322\ 21671429868482926500380623*c_0101_3^15 + 1086694780328491420912988424791379706/27912832221671429868482926500\ 380623*c_0101_3^14 + 320968504336010151817148326399842760/121360140\ 0942236081238388108712201*c_0101_3^13 - 39380601554291355451257134294966109/1213601400942236081238388108712\ 201*c_0101_3^12 + 6272122791984736415333836092278303053/27912832221\ 671429868482926500380623*c_0101_3^11 - 2752575200923805679254084908385412222/27912832221671429868482926500\ 380623*c_0101_3^10 - 7858964787931439669806100521085278432/27912832\ 221671429868482926500380623*c_0101_3^9 + 2464329866776309760715991022062806383/27912832221671429868482926500\ 380623*c_0101_3^8 - 4505073671575470464847867129074399498/279128322\ 21671429868482926500380623*c_0101_3^7 + 288821973606400827711085877192395932/279128322216714298684829265003\ 80623*c_0101_3^6 + 3389435252113596587953725414197119626/2791283222\ 1671429868482926500380623*c_0101_3^5 - 229226602364480870863836041936786830/279128322216714298684829265003\ 80623*c_0101_3^4 - 361852397023551675708771863344404740/27912832221\ 671429868482926500380623*c_0101_3^3 - 27932151284126646544555840409994755/2791283222167142986848292650038\ 0623*c_0101_3^2 - 40307590639055859161172332171652261/2791283222167\ 1429868482926500380623*c_0101_3 + 593766092554548426162820985678629\ 7/27912832221671429868482926500380623, c_0101_0 - 3323561102578483169992432963018568/2791283222167142986848292\ 6500380623*c_0101_3^20 + 37810451038841765675516892945972715/279128\ 32221671429868482926500380623*c_0101_3^19 - 76007714876886305079289214297299106/2791283222167142986848292650038\ 0623*c_0101_3^18 + 160794033065677354224560369373341439/27912832221\ 671429868482926500380623*c_0101_3^17 - 530505575225177102657150652254163568/279128322216714298684829265003\ 80623*c_0101_3^16 - 1166597115156209642796764852146794349/279128322\ 21671429868482926500380623*c_0101_3^15 - 1278581366317392610807333972445767226/27912832221671429868482926500\ 380623*c_0101_3^14 - 297166851878922327945973022207847150/121360140\ 0942236081238388108712201*c_0101_3^13 - 1286878377017848869110252445217119/12136014009422360812383881087122\ 01*c_0101_3^12 - 7342718466968953632947382989030217506/279128322216\ 71429868482926500380623*c_0101_3^11 + 3289785621403125861852425184611206185/27912832221671429868482926500\ 380623*c_0101_3^10 + 5079084424262884517500591409436333512/27912832\ 221671429868482926500380623*c_0101_3^9 + 869715355434621780005238681153207842/279128322216714298684829265003\ 80623*c_0101_3^8 + 5399470054499349838098894211687703463/2791283222\ 1671429868482926500380623*c_0101_3^7 - 1121393879167559637549444237193775912/27912832221671429868482926500\ 380623*c_0101_3^6 - 1204509889299463908041914272584309584/279128322\ 21671429868482926500380623*c_0101_3^5 - 1207445530651488674449524050030156488/27912832221671429868482926500\ 380623*c_0101_3^4 - 404245326181045094838853044048200277/2791283222\ 1671429868482926500380623*c_0101_3^3 + 257091490120757741523091831015160104/279128322216714298684829265003\ 80623*c_0101_3^2 + 26238414445256076181361179414511374/279128322216\ 71429868482926500380623*c_0101_3 + 29541803745384437394899952483035399/2791283222167142986848292650038\ 0623, c_0101_1 + 6837368522331337658897201832177/2822328839400549026135786299\ 3307*c_0101_3^20 - 80265704303485470795163191910257/282232883940054\ 90261357862993307*c_0101_3^19 + 183124776639786755284476704674028/2\ 8223288394005490261357862993307*c_0101_3^18 - 368834588032374430261166574605532/28223288394005490261357862993307*\ c_0101_3^17 + 1154193542371459769679574958101516/282232883940054902\ 61357862993307*c_0101_3^16 + 2124377349297227485591308072922976/282\ 23288394005490261357862993307*c_0101_3^15 + 1426549041305520915707857440005055/28223288394005490261357862993307\ *c_0101_3^14 + 12921062575047948242290523578035095/2822328839400549\ 0261357862993307*c_0101_3^13 - 4884283178488060542769459945025405/2\ 8223288394005490261357862993307*c_0101_3^12 + 12697208880501835866363489229913201/2822328839400549026135786299330\ 7*c_0101_3^11 - 8209149625813223499426563032098334/2822328839400549\ 0261357862993307*c_0101_3^10 - 11737406028153198132732098854856441/\ 28223288394005490261357862993307*c_0101_3^9 + 7206178265393940766814858704390492/28223288394005490261357862993307\ *c_0101_3^8 - 10018741364972337185712710878896621/28223288394005490\ 261357862993307*c_0101_3^7 + 2868203452724642656034892079220291/282\ 23288394005490261357862993307*c_0101_3^6 + 4993134128168525460105877963763707/28223288394005490261357862993307\ *c_0101_3^5 - 1660390645714875946897660283995071/282232883940054902\ 61357862993307*c_0101_3^4 - 221777734679128431403953420081905/28223\ 288394005490261357862993307*c_0101_3^3 + 95688129190461562516462592916496/28223288394005490261357862993307*c\ _0101_3^2 + 9949808644386100842465691598526/28223288394005490261357\ 862993307*c_0101_3 + 18909563307589688678668512184674/2822328839400\ 5490261357862993307, c_0101_2 + 4615808348812442016057667266310493/2791283222167142986848292\ 6500380623*c_0101_3^20 - 53272739044134898430752743851782835/279128\ 32221671429868482926500380623*c_0101_3^19 + 113254903475887550379881548870325747/279128322216714298684829265003\ 80623*c_0101_3^18 - 228356183449162439560984268153480716/2791283222\ 1671429868482926500380623*c_0101_3^17 + 735656559126253591167448400307595822/279128322216714298684829265003\ 80623*c_0101_3^16 + 1577052268129802255775167376620219095/279128322\ 21671429868482926500380623*c_0101_3^15 + 1290290415519377381187063261047772439/27912832221671429868482926500\ 380623*c_0101_3^14 + 394585048717300571600803017356375397/121360140\ 0942236081238388108712201*c_0101_3^13 - 60324694279752533282517563089106941/1213601400942236081238388108712\ 201*c_0101_3^12 + 8694663845836697780315268722027266309/27912832221\ 671429868482926500380623*c_0101_3^11 - 3439400849409269899821058875383203615/27912832221671429868482926500\ 380623*c_0101_3^10 - 8401414639783287567394337972733529660/27912832\ 221671429868482926500380623*c_0101_3^9 + 3612925201298445698301882318083932849/27912832221671429868482926500\ 380623*c_0101_3^8 - 6611333002879264472162501839151403966/279128322\ 21671429868482926500380623*c_0101_3^7 + 598862258689691806021754858209598880/279128322216714298684829265003\ 80623*c_0101_3^6 + 3437069176676801223033376972608695644/2791283222\ 1671429868482926500380623*c_0101_3^5 - 727512911514049521464163034206905207/279128322216714298684829265003\ 80623*c_0101_3^4 - 57117584730114629580543966863969746/279128322216\ 71429868482926500380623*c_0101_3^3 + 63689702604891119853896664426393692/2791283222167142986848292650038\ 0623*c_0101_3^2 - 9641340877779971086578143884369672/27912832221671\ 429868482926500380623*c_0101_3 + 9394154324362904104139502872556145\ /27912832221671429868482926500380623, c_0101_3^21 - 11*c_0101_3^20 + 18*c_0101_3^19 - 33*c_0101_3^18 + 127*c_0101_3^17 + 440*c_0101_3^16 + 423*c_0101_3^15 + 2002*c_0101_3^14 + 621*c_0101_3^13 + 1080*c_0101_3^12 + 59*c_0101_3^11 - 2929*c_0101_3^10 - 243*c_0101_3^9 - 583*c_0101_3^8 - 574*c_0101_3^7 + 1290*c_0101_3^6 + 351*c_0101_3^5 - 193*c_0101_3^4 - 44*c_0101_3^3 - 31*c_0101_3^2 - c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB