Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 1377029774] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1789 geometric_solution 5.46433070 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380556774282 1.350146199389 0 3 2 4 0132 0132 0132 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 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 0 0 0.107449721987 0.998939080902 3 0 4 1 0132 0132 3201 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 0 -1 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 0 0 0 0 0.107449721987 0.998939080902 2 1 5 5 0132 0132 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 -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.331770259745 0.623446657167 2 4 1 4 2310 1302 0132 2031 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421185360503 0.970665693953 3 6 6 3 3201 0132 3201 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 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.334665270783 0.697616814199 5 5 6 6 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 -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 2.323894886981 0.440094455989 ==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_0101_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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' : d['c_0011_4'], 'c_0011_6' : negation(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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), '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_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 154191803414793854606655417054016603386057925/706795554526059573548\ 2806201033170531947*c_0101_6^17 + 889674553468063452741819121189789\ 4650360554765/77747510997866553090310868211364875851417*c_0101_6^16 + 490071851321651937023584555824653544844351838/7067955545260595735\ 482806201033170531947*c_0101_6^15 - 22343481526314420984066115812528735087015353841/7774751099786655309\ 0310868211364875851417*c_0101_6^14 - 37084646645906154597522953932079498306184089532/7774751099786655309\ 0310868211364875851417*c_0101_6^13 - 74509852599355737919402072901124886671309429915/7774751099786655309\ 0310868211364875851417*c_0101_6^12 - 13910317527735467293265965845894857167626858105/7774751099786655309\ 0310868211364875851417*c_0101_6^11 + 121680942221292491916793049142766873487265591529/777475109978665530\ 90310868211364875851417*c_0101_6^10 + 6083327356933019684315684852836013850274953325/70679555452605957354\ 82806201033170531947*c_0101_6^9 - 378812756159546877318724775633255\ 56094078805144/77747510997866553090310868211364875851417*c_0101_6^8 - 43446683043989889785118039337862336349538413/94011500602015179069\ 299719723536730171*c_0101_6^7 + 40156720498460673439098384758402785\ 24318424029/77747510997866553090310868211364875851417*c_0101_6^6 + 3264013907536921378558987729993122486125747430/77747510997866553090\ 310868211364875851417*c_0101_6^5 + 634887254153046646661512103842528707034864201/777475109978665530903\ 10868211364875851417*c_0101_6^4 + 342185614630677125587774347950381\ 281715274148/77747510997866553090310868211364875851417*c_0101_6^3 - 100536125566408928950874701043749445281379808/777475109978665530903\ 10868211364875851417*c_0101_6^2 - 349781828632740953654420461684250\ 05105097662/77747510997866553090310868211364875851417*c_0101_6 + 1413279396800709834961483398754569574474068/77747510997866553090310\ 868211364875851417, c_0011_0 - 1, c_0011_4 + 2056523100838414383314860546307103501311025/7067955545260595\ 735482806201033170531947*c_0101_6^17 + 11121208629292891288092014065584925366879245/7067955545260595735482\ 806201033170531947*c_0101_6^16 + 8600419057515936054120776237313412\ 051245079/7067955545260595735482806201033170531947*c_0101_6^15 - 24273743671327170189743638050274435102164362/7067955545260595735482\ 806201033170531947*c_0101_6^14 - 4769865454066053668447218495441754\ 8676973255/7067955545260595735482806201033170531947*c_0101_6^13 - 101063138880035284483258789653982205501560782/706795554526059573548\ 2806201033170531947*c_0101_6^12 - 395686999983372679897856339247514\ 64921087245/7067955545260595735482806201033170531947*c_0101_6^11 + 127946091088497179623303316586666548000691840/706795554526059573548\ 2806201033170531947*c_0101_6^10 + 958500893526483911782664229633420\ 25506107188/7067955545260595735482806201033170531947*c_0101_6^9 - 14545215296913072020376555483098156646514391/7067955545260595735482\ 806201033170531947*c_0101_6^8 - 39204980944633896552608758098310482\ 053235/8546500054728652642663610883957884561*c_0101_6^7 - 1639998636871369789538597414186007105231482/70679555452605957354828\ 06201033170531947*c_0101_6^6 - 794895799665758834175788754356649640\ 024440/7067955545260595735482806201033170531947*c_0101_6^5 + 254945024060089553314192471629915814290169/706795554526059573548280\ 6201033170531947*c_0101_6^4 + 5703380252829651178654759093148862542\ 39837/7067955545260595735482806201033170531947*c_0101_6^3 + 36701503886086609632103524281911276332851/7067955545260595735482806\ 201033170531947*c_0101_6^2 + 29556267864590436278788291214276809203\ 799/7067955545260595735482806201033170531947*c_0101_6 + 2977990223208103268213884708578408798448/70679555452605957354828062\ 01033170531947, c_0011_5 + 173059895923285273164522104451858962150/85465000547286526426\ 63610883957884561*c_0101_6^17 + 27564178524473388752689344523585284\ 8520/8546500054728652642663610883957884561*c_0101_6^16 - 2829848974186308842258431109451295791066/85465000547286526426636108\ 83957884561*c_0101_6^15 - 4733750991915557545171210646021985709042/\ 8546500054728652642663610883957884561*c_0101_6^14 + 3746918024414231689504858932319196832906/85465000547286526426636108\ 83957884561*c_0101_6^13 + 6577628496034430861979535068398868608223/\ 8546500054728652642663610883957884561*c_0101_6^12 + 29018989166597952857652406848334428863703/8546500054728652642663610\ 883957884561*c_0101_6^11 + 2302234777356244409053113590946408962704\ 9/8546500054728652642663610883957884561*c_0101_6^10 - 32550659768926289554616958873915986603253/8546500054728652642663610\ 883957884561*c_0101_6^9 - 31067319837251802598548521618853392618549\ /8546500054728652642663610883957884561*c_0101_6^8 + 1163291074138380483983589749798964478937/85465000547286526426636108\ 83957884561*c_0101_6^7 + 9711720267544461068928245993608707299486/8\ 546500054728652642663610883957884561*c_0101_6^6 + 836849427325795770923390553102832153884/854650005472865264266361088\ 3957884561*c_0101_6^5 + 621874321459280911094612462970466689642/854\ 6500054728652642663610883957884561*c_0101_6^4 - 133740044462955320099340076496204699384/854650005472865264266361088\ 3957884561*c_0101_6^3 - 189003446836504665288538898278017427286/854\ 6500054728652642663610883957884561*c_0101_6^2 - 15155096579802952753227172152052402790/8546500054728652642663610883\ 957884561*c_0101_6 - 17445767003623060234690217759622985791/8546500\ 054728652642663610883957884561, c_0101_0 - 454179779310952331996980817548837629189925/70679555452605957\ 35482806201033170531947*c_0101_6^17 - 2665532110317280667360579579937486149141340/70679555452605957354828\ 06201033170531947*c_0101_6^16 - 29862778115193935492689927368447581\ 74345633/7067955545260595735482806201033170531947*c_0101_6^15 + 4756467706675948137562615971289520288879861/70679555452605957354828\ 06201033170531947*c_0101_6^14 + 13322851014590031114213989888412406\ 354413291/7067955545260595735482806201033170531947*c_0101_6^13 + 26700999375386610375038412557006546212887227/7067955545260595735482\ 806201033170531947*c_0101_6^12 + 1764075171780177020895184686193351\ 7678266910/7067955545260595735482806201033170531947*c_0101_6^11 - 26972392634054933187810522551637420329335119/7067955545260595735482\ 806201033170531947*c_0101_6^10 - 3610311680884858471550215698985712\ 6111416876/7067955545260595735482806201033170531947*c_0101_6^9 - 3780954985407184289997652995053722864314012/70679555452605957354828\ 06201033170531947*c_0101_6^8 + 151828131007758189149993553145819788\ 92981/8546500054728652642663610883957884561*c_0101_6^7 + 4148461980112425467668220895589183353429306/70679555452605957354828\ 06201033170531947*c_0101_6^6 - 961103619742214140442799506101209465\ 592544/7067955545260595735482806201033170531947*c_0101_6^5 - 484102012800867280116982491370627377400765/706795554526059573548280\ 6201033170531947*c_0101_6^4 - 1204486565687824390203343867664892765\ 23298/7067955545260595735482806201033170531947*c_0101_6^3 - 44364955873276137305651465556459760112762/7067955545260595735482806\ 201033170531947*c_0101_6^2 + 14268081543682700750843531290042068660\ 374/7067955545260595735482806201033170531947*c_0101_6 + 4399336464278526863098546172132414748720/70679555452605957354828062\ 01033170531947, c_0101_1 + 826684908599557976603977889296229210225/85465000547286526426\ 63610883957884561*c_0101_6^17 + 42883088973427816708153423364610659\ 69805/8546500054728652642663610883957884561*c_0101_6^16 + 2549648109232279465046120516255262620786/85465000547286526426636108\ 83957884561*c_0101_6^15 - 10112109082607297096645986554587185898575\ /8546500054728652642663610883957884561*c_0101_6^14 - 16763181505578065707016925532699774757643/8546500054728652642663610\ 883957884561*c_0101_6^13 - 3733661901646295382103504015876155839203\ 9/8546500054728652642663610883957884561*c_0101_6^12 - 8561223816686725935410618554125482323083/85465000547286526426636108\ 83957884561*c_0101_6^11 + 51361174073229305727835123829154795937190\ /8546500054728652642663610883957884561*c_0101_6^10 + 26183494213820934159567757756907331399493/8546500054728652642663610\ 883957884561*c_0101_6^9 - 9616011658495259443540171624383606246918/\ 8546500054728652642663610883957884561*c_0101_6^8 - 9186946234106511712669720984505596852771/85465000547286526426636108\ 83957884561*c_0101_6^7 + 1335630141369600442884343949625801953344/8\ 546500054728652642663610883957884561*c_0101_6^6 - 927362240027293957297603055782473800300/854650005472865264266361088\ 3957884561*c_0101_6^5 + 424127911829756589938001415328587804389/854\ 6500054728652642663610883957884561*c_0101_6^4 + 122730371442180003651149268745968740211/854650005472865264266361088\ 3957884561*c_0101_6^3 - 35514885234189210365984760316662923005/8546\ 500054728652642663610883957884561*c_0101_6^2 + 29228401080190819112825994796800056284/8546500054728652642663610883\ 957884561*c_0101_6 - 3878886544515661784408517058661076172/85465000\ 54728652642663610883957884561, c_0101_2 + 493627138801742195067247595906434742125/85465000547286526426\ 63610883957884561*c_0101_6^17 + 33899372028250538969653593885752911\ 26575/8546500054728652642663610883957884561*c_0101_6^16 + 5987732083895711250507859735840520269040/85465000547286526426636108\ 83957884561*c_0101_6^15 - 2655809356800821358603531114266221769640/\ 8546500054728652642663610883957884561*c_0101_6^14 - 19783720930502257724298664796955509204395/8546500054728652642663610\ 883957884561*c_0101_6^13 - 4126891330093009749799666194244916068262\ 5/8546500054728652642663610883957884561*c_0101_6^12 - 45698904444171073804568257483699145165139/8546500054728652642663610\ 883957884561*c_0101_6^11 + 1530505114049395665122862583223513204172\ 8/8546500054728652642663610883957884561*c_0101_6^10 + 66891511254836526978270460064483181381477/8546500054728652642663610\ 883957884561*c_0101_6^9 + 31833594320146523675194500540504374365088\ /8546500054728652642663610883957884561*c_0101_6^8 - 10707829677055876428405236141538249848177/8546500054728652642663610\ 883957884561*c_0101_6^7 - 11676005522268005991824447145674186870868\ /8546500054728652642663610883957884561*c_0101_6^6 - 1626795753224379012633194940205296557817/85465000547286526426636108\ 83957884561*c_0101_6^5 - 455977342128143411429845981463548491487/85\ 46500054728652642663610883957884561*c_0101_6^4 + 297519218236700146609428939534377591752/854650005472865264266361088\ 3957884561*c_0101_6^3 + 223623636231321971397861888826397606139/854\ 6500054728652642663610883957884561*c_0101_6^2 + 26814115712983680141771804736234441959/8546500054728652642663610883\ 957884561*c_0101_6 + 16881773639337662733900647977175266905/8546500\ 054728652642663610883957884561, c_0101_6^18 + 294/55*c_0101_6^17 + 1019/275*c_0101_6^16 - 706/55*c_0101_6^15 - 1273/55*c_0101_6^14 - 2539/55*c_0101_6^13 - 3507/275*c_0101_6^12 + 19466/275*c_0101_6^11 + 12772/275*c_0101_6^10 - 4949/275*c_0101_6^9 - 6296/275*c_0101_6^8 - 54/275*c_0101_6^7 + 481/275*c_0101_6^6 + 201/275*c_0101_6^5 + 129/275*c_0101_6^4 - 13/275*c_0101_6^3 - 2/55*c_0101_6^2 - 2/275*c_0101_6 - 1/275 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB