Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 2867541583] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0783 geometric_solution 4.72408859 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.963192024669 0.607443407680 0 0 4 3 0132 3201 0132 0132 0 0 0 0 0 1 -1 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.952412988203 1.611106568429 0 0 2 2 3201 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410437834053 0.036380438310 5 4 1 4 0132 2031 0132 3012 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 0 0 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.643721010515 0.686543206856 3 5 3 1 1302 3201 1230 0132 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 -1 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 0 0.643721010515 0.686543206856 3 6 4 6 0132 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539861265752 1.020798334993 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.484641439217 0.147352160422 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0101_1']), 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_5']), '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_1']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_0101_0, c_0101_1, c_0101_5, c_0110_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 854575744532146206388228225922367625644/926430432267369880219564640\ 9372763071*c_0110_6^22 - 11873733350375677068582529843320321168335/\ 9264304322673698802195646409372763071*c_0110_6^21 + 85841473441339320781444715566218537734751/9264304322673698802195646\ 409372763071*c_0110_6^20 - 2263697347140769571824123674334876804082\ 67/9264304322673698802195646409372763071*c_0110_6^19 + 46043534080297491460868733961392795604668/9264304322673698802195646\ 409372763071*c_0110_6^18 + 1032920592378243461821655670718920091910\ 897/9264304322673698802195646409372763071*c_0110_6^17 - 2067307852037886735750325937341270485642249/92643043226736988021956\ 46409372763071*c_0110_6^16 + 49516075634865558531305452590667506277\ 2690/9264304322673698802195646409372763071*c_0110_6^15 + 4139144707421108870955294121967048335143265/92643043226736988021956\ 46409372763071*c_0110_6^14 - 65620619547231788788106950012159306309\ 28727/9264304322673698802195646409372763071*c_0110_6^13 + 505199207705054165400770500508827599016884/926430432267369880219564\ 6409372763071*c_0110_6^12 + 841718968051621077216068858470778753329\ 6584/9264304322673698802195646409372763071*c_0110_6^11 - 6595586975623024571107296214210356157775706/92643043226736988021956\ 46409372763071*c_0110_6^10 - 34931237654956583171249638679734387135\ 93486/9264304322673698802195646409372763071*c_0110_6^9 + 5755387974849818259064761135339096599538930/92643043226736988021956\ 46409372763071*c_0110_6^8 + 391263651267263072320539063898578484931\ 252/9264304322673698802195646409372763071*c_0110_6^7 - 2914384128953965467147180011765167443922494/92643043226736988021956\ 46409372763071*c_0110_6^6 + 578749406517167315314935141199760833686\ 759/9264304322673698802195646409372763071*c_0110_6^5 + 702852966371415816884372054984996679561247/926430432267369880219564\ 6409372763071*c_0110_6^4 - 2032335732197311643339643381506347614764\ 06/9264304322673698802195646409372763071*c_0110_6^3 - 108569679392892681553255064580659156568076/926430432267369880219564\ 6409372763071*c_0110_6^2 + 2823779492242071206455433035915921827007\ 4/9264304322673698802195646409372763071*c_0110_6 + 6290504268400175628060773195747556948187/92643043226736988021956464\ 09372763071, c_0011_0 - 1, c_0011_3 + 975480844825025741963908142960509203/92643043226736988021956\ 46409372763071*c_0110_6^22 + 16407903960402768771101876538624851400\ /9264304322673698802195646409372763071*c_0110_6^21 - 56367322118855361522658482611766361779/9264304322673698802195646409\ 372763071*c_0110_6^20 + 587660303646789305857659745094436643/926430\ 4322673698802195646409372763071*c_0110_6^19 + 530946675926405466832080902946077936084/926430432267369880219564640\ 9372763071*c_0110_6^18 - 959981301305971698316211070432914891037/92\ 64304322673698802195646409372763071*c_0110_6^17 - 875108173475696547625444910605125826881/926430432267369880219564640\ 9372763071*c_0110_6^16 + 4135344120910586544955649796398197432181/9\ 264304322673698802195646409372763071*c_0110_6^15 - 3489395118881696576042033957568328334845/92643043226736988021956464\ 09372763071*c_0110_6^14 - 4964455322605159871453527001815808923390/\ 9264304322673698802195646409372763071*c_0110_6^13 + 12846195943550615431926719521502304733808/9264304322673698802195646\ 409372763071*c_0110_6^12 - 3348829893506172487752112671332726928374\ /9264304322673698802195646409372763071*c_0110_6^11 - 14764002068553178217007093380952798632859/9264304322673698802195646\ 409372763071*c_0110_6^10 + 1111962943824044928030539092197646020291\ 2/9264304322673698802195646409372763071*c_0110_6^9 + 7768463150583542259470241067698747198058/92643043226736988021956464\ 09372763071*c_0110_6^8 - 8806923396449546268809290189180188088438/9\ 264304322673698802195646409372763071*c_0110_6^7 - 2576533134285843969502426507054388420196/92643043226736988021956464\ 09372763071*c_0110_6^6 + 4082902796218204144516378841649379930916/9\ 264304322673698802195646409372763071*c_0110_6^5 + 211565153193346772028111028693536182168/926430432267369880219564640\ 9372763071*c_0110_6^4 - 960628860024018547578117385141583055765/926\ 4304322673698802195646409372763071*c_0110_6^3 - 60559909193120739402717090540510195869/9264304322673698802195646409\ 372763071*c_0110_6^2 + 123531880444132687435192697746858031077/9264\ 304322673698802195646409372763071*c_0110_6 + 17188060802174657677795614030396270547/9264304322673698802195646409\ 372763071, c_0101_0 - 656146572306294096761084252142339651/92643043226736988021956\ 46409372763071*c_0110_6^22 - 7366689362494999805970680061189884296/\ 9264304322673698802195646409372763071*c_0110_6^21 + 91409793453041555146946751464474986048/9264304322673698802195646409\ 372763071*c_0110_6^20 - 332152172772319183505083864628644997806/926\ 4304322673698802195646409372763071*c_0110_6^19 + 394078589730464648347005611018351320582/926430432267369880219564640\ 9372763071*c_0110_6^18 + 924708485799852507275992837334085953704/92\ 64304322673698802195646409372763071*c_0110_6^17 - 3569464960366376528210350075084398213256/92643043226736988021956464\ 09372763071*c_0110_6^16 + 3265344990780261520153067080477793303303/\ 9264304322673698802195646409372763071*c_0110_6^15 + 3912821965720565581297416493112117016251/92643043226736988021956464\ 09372763071*c_0110_6^14 - 12624525429607477254652601458743996603932\ /9264304322673698802195646409372763071*c_0110_6^13 + 8612821605909313134608392095772121049257/92643043226736988021956464\ 09372763071*c_0110_6^12 + 10200873939521169402663344239253743331704\ /9264304322673698802195646409372763071*c_0110_6^11 - 18549431092229709316436333172520914077707/9264304322673698802195646\ 409372763071*c_0110_6^10 + 1635392269640982144999955089403039603371\ /9264304322673698802195646409372763071*c_0110_6^9 + 12958342579432982986858127942211106433707/9264304322673698802195646\ 409372763071*c_0110_6^8 - 4582418597061329424416810420343541274983/\ 9264304322673698802195646409372763071*c_0110_6^7 - 5728510673354928571232063088599951312472/92643043226736988021956464\ 09372763071*c_0110_6^6 + 3173360678628758015714157103106053510719/9\ 264304322673698802195646409372763071*c_0110_6^5 + 1091784423219633537162247413125885182154/92643043226736988021956464\ 09372763071*c_0110_6^4 - 819954361355465780204245494886259548481/92\ 64304322673698802195646409372763071*c_0110_6^3 - 182759760451682681145564180002097658338/926430432267369880219564640\ 9372763071*c_0110_6^2 + 102123598747698873426095990358449405686/926\ 4304322673698802195646409372763071*c_0110_6 + 16553850906383167162643921284861769764/9264304322673698802195646409\ 372763071, c_0101_1 + 1870488616632377627840699999149649636/9264304322673698802195\ 646409372763071*c_0110_6^22 + 2704685937134610413023501590738345575\ 6/9264304322673698802195646409372763071*c_0110_6^21 - 171754566489066648773168156714272710918/926430432267369880219564640\ 9372763071*c_0110_6^20 + 410487823882107093230490345612249124051/92\ 64304322673698802195646409372763071*c_0110_6^19 + 53837356303170033795848392975349269811/9264304322673698802195646409\ 372763071*c_0110_6^18 - 2047831522768314336721144035605764693286/92\ 64304322673698802195646409372763071*c_0110_6^17 + 3405282554033765457964711607141313646876/92643043226736988021956464\ 09372763071*c_0110_6^16 - 114653817139699970996822152329457686005/9\ 264304322673698802195646409372763071*c_0110_6^15 - 7601530484024395607013366968001926495299/92643043226736988021956464\ 09372763071*c_0110_6^14 + 10197336342950933113952788853466720127243\ /9264304322673698802195646409372763071*c_0110_6^13 + 973334699161424093251409757502367146191/926430432267369880219564640\ 9372763071*c_0110_6^12 - 13343258710035048353099626519122173908521/\ 9264304322673698802195646409372763071*c_0110_6^11 + 8014138241742065909028191834142680488812/92643043226736988021956464\ 09372763071*c_0110_6^10 + 5425221130205335435885036726559171304770/\ 9264304322673698802195646409372763071*c_0110_6^9 - 6260388032705321843484256591095366298763/92643043226736988021956464\ 09372763071*c_0110_6^8 - 796355647336085834887327884809964735723/92\ 64304322673698802195646409372763071*c_0110_6^7 + 2788068109790047487889562102516268985049/92643043226736988021956464\ 09372763071*c_0110_6^6 - 720535794967385153753923473252218920277/92\ 64304322673698802195646409372763071*c_0110_6^5 - 388489808839909540879807572130370123799/926430432267369880219564640\ 9372763071*c_0110_6^4 + 156120526857789512891140161555981682054/926\ 4304322673698802195646409372763071*c_0110_6^3 - 1630381502235003238347354638859646870/92643043226736988021956464093\ 72763071*c_0110_6^2 - 18385554539605143593147120051408845537/926430\ 4322673698802195646409372763071*c_0110_6 + 4580182606275996036760402417041299315/92643043226736988021956464093\ 72763071, c_0101_5 - 1679851748226490803479044635589260951/9264304322673698802195\ 646409372763071*c_0110_6^22 - 2480782688890853962397710165949552350\ 9/9264304322673698802195646409372763071*c_0110_6^21 + 147308333315194974963496816284855377645/926430432267369880219564640\ 9372763071*c_0110_6^20 - 312863940383613171800552624156494821632/92\ 64304322673698802195646409372763071*c_0110_6^19 - 205474810507954570281754255633591563089/926430432267369880219564640\ 9372763071*c_0110_6^18 + 1904868195380483566366221125462275186566/9\ 264304322673698802195646409372763071*c_0110_6^17 - 2388529415999464809325207592188308123523/92643043226736988021956464\ 09372763071*c_0110_6^16 - 1404863621744091602087795126137014766365/\ 9264304322673698802195646409372763071*c_0110_6^15 + 7377423175321108086510951127371056641290/92643043226736988021956464\ 09372763071*c_0110_6^14 - 6388625888896570349225578766118325135907/\ 9264304322673698802195646409372763071*c_0110_6^13 - 5784433754747912291384161963573435308192/92643043226736988021956464\ 09372763071*c_0110_6^12 + 12925356568306361369027186517217774433696\ /9264304322673698802195646409372763071*c_0110_6^11 - 1207746858112899927614487990328745630417/92643043226736988021956464\ 09372763071*c_0110_6^10 - 10300210240529253540944326161007947402085\ /9264304322673698802195646409372763071*c_0110_6^9 + 3443939883493322344159926834463435426067/92643043226736988021956464\ 09372763071*c_0110_6^8 + 5227323926959850163271221465419249149496/9\ 264304322673698802195646409372763071*c_0110_6^7 - 2492589903083930261988614680782367433671/92643043226736988021956464\ 09372763071*c_0110_6^6 - 1456940828343005239516886567471554798655/9\ 264304322673698802195646409372763071*c_0110_6^5 + 822192401938147688658668301880430771840/926430432267369880219564640\ 9372763071*c_0110_6^4 + 303423250168988317339313652851715947306/926\ 4304322673698802195646409372763071*c_0110_6^3 - 135508167729105044697995999494666072510/926430432267369880219564640\ 9372763071*c_0110_6^2 - 33086504787682216184902785168490340128/9264\ 304322673698802195646409372763071*c_0110_6 - 3673693006876522728974640659444443730/92643043226736988021956464093\ 72763071, c_0110_2 - 6602018242132731440667590573672490179/9264304322673698802195\ 646409372763071*c_0110_6^22 - 9355206495340293655151903302204704452\ 9/9264304322673698802195646409372763071*c_0110_6^21 + 636274833384555207051903263961721644187/926430432267369880219564640\ 9372763071*c_0110_6^20 - 1589254160903398784318378094590206274763/9\ 264304322673698802195646409372763071*c_0110_6^19 + 10952447410899249170789876180563358287/9264304322673698802195646409\ 372763071*c_0110_6^18 + 7782898839786990951675249941059677023768/92\ 64304322673698802195646409372763071*c_0110_6^17 - 13949054431963107118117202130475594270226/9264304322673698802195646\ 409372763071*c_0110_6^16 + 1166838127218713867238023606036793915866\ /9264304322673698802195646409372763071*c_0110_6^15 + 30778457752328446662128599857403557298909/9264304322673698802195646\ 409372763071*c_0110_6^14 - 4297740958763730305453458967686163931248\ 5/9264304322673698802195646409372763071*c_0110_6^13 - 3418603895163691059499868896855183939079/92643043226736988021956464\ 09372763071*c_0110_6^12 + 59952163999494263423249835574511033272847\ /9264304322673698802195646409372763071*c_0110_6^11 - 37616550697846549190724464571288869932756/9264304322673698802195646\ 409372763071*c_0110_6^10 - 2958072071568922113928885764945408444870\ 8/9264304322673698802195646409372763071*c_0110_6^9 + 35106142644323491116140480414774734377802/9264304322673698802195646\ 409372763071*c_0110_6^8 + 7013872533309602238940933801514441581573/\ 9264304322673698802195646409372763071*c_0110_6^7 - 18341164695452494835213537287855118520792/9264304322673698802195646\ 409372763071*c_0110_6^6 + 2051847320820012932985314548230575021928/\ 9264304322673698802195646409372763071*c_0110_6^5 + 4495359677995379190550668961658940214326/92643043226736988021956464\ 09372763071*c_0110_6^4 - 930980109078565115255968161435614915000/92\ 64304322673698802195646409372763071*c_0110_6^3 - 657225611329530910587554427501741511828/926430432267369880219564640\ 9372763071*c_0110_6^2 + 142891408140719223596092099841000473751/926\ 4304322673698802195646409372763071*c_0110_6 + 30967671604185942775656857669573937992/9264304322673698802195646409\ 372763071, c_0110_6^23 + 14*c_0110_6^22 - 99*c_0110_6^21 + 254*c_0110_6^20 - 24*c_0110_6^19 - 1219*c_0110_6^18 + 2291*c_0110_6^17 - 300*c_0110_6^16 - 4945*c_0110_6^15 + 7165*c_0110_6^14 + 316*c_0110_6^13 - 10033*c_0110_6^12 + 6648*c_0110_6^11 + 5091*c_0110_6^10 - 6393*c_0110_6^9 - 1284*c_0110_6^8 + 3457*c_0110_6^7 - 273*c_0110_6^6 - 946*c_0110_6^5 + 145*c_0110_6^4 + 166*c_0110_6^3 - 19*c_0110_6^2 - 13*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB