Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 829468113] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1969 geometric_solution 5.54553395 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 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 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.312062146151 0.155085656600 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 -1 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 -1 1 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 1.818143946520 1.188269424492 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 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.763690696067 0.414308988420 2 5 4 6 0132 0132 3201 0132 0 0 0 0 0 1 -1 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 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.325569483748 0.834435425984 3 6 2 5 2310 1023 0132 1023 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 1 -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.325569483748 0.834435425984 5 3 5 4 2031 0132 1302 1023 0 0 0 0 0 -1 1 0 -1 0 1 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 -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.525986683845 0.493483541552 4 6 3 6 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222896609677 1.391868021052 ==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' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 192540471678350950414580211702413201483020725667796/700018177776509\ 864046102241908131926020460619*c_0110_5^35 + 16140934177587493167054115649014309092707252215080211/7000181777765\ 09864046102241908131926020460619*c_0110_5^33 - 198483256171424529917721711769593977038342024789562891/700018177776\ 509864046102241908131926020460619*c_0110_5^31 + 976221963041610959233194102052092544904048782255596141/700018177776\ 509864046102241908131926020460619*c_0110_5^29 - 4130288808186865730674639790656827363894067369632852591/70001817777\ 6509864046102241908131926020460619*c_0110_5^27 + 9753739779222497140444281176431920414535411339710533273/70001817777\ 6509864046102241908131926020460619*c_0110_5^25 - 18364221964073237862783542589152156198383626124603451525/7000181777\ 76509864046102241908131926020460619*c_0110_5^23 + 30030527534872142427829636075742763822548319772192201317/7000181777\ 76509864046102241908131926020460619*c_0110_5^21 - 25356518168411829675721539906567979478890434998086764169/7000181777\ 76509864046102241908131926020460619*c_0110_5^19 + 18522034371896463595752912933704445245682875425851009852/7000181777\ 76509864046102241908131926020460619*c_0110_5^17 - 4401250634876996830196313730202692232672641283209472709/70001817777\ 6509864046102241908131926020460619*c_0110_5^15 - 35239467337589463817805277401730615912460289645446488603/7000181777\ 76509864046102241908131926020460619*c_0110_5^13 + 31247656758019674160814187063409772938882480984966075894/7000181777\ 76509864046102241908131926020460619*c_0110_5^11 - 12547058688553429182384636274878768986410889156612593282/7000181777\ 76509864046102241908131926020460619*c_0110_5^9 + 2984812880740803255901179857336192394437513150956159640/70001817777\ 6509864046102241908131926020460619*c_0110_5^7 - 432484058530547127652957378181432895506738895158965678/700018177776\ 509864046102241908131926020460619*c_0110_5^5 + 34690458972149884196033936411097645337274670968201934/7000181777765\ 09864046102241908131926020460619*c_0110_5^3 - 1162414448920078367850588440047853061846286886616084/70001817777650\ 9864046102241908131926020460619*c_0110_5, c_0011_0 - 1, c_0011_2 - 190631222621072335310551812266464349906741362/15317684415240\ 91606227794840061557824990067*c_0110_5^34 + 15981986942199817799088501853378553054876398267/1531768441524091606\ 227794840061557824990067*c_0110_5^32 - 196607701408765969827464801327957349840809857368/153176844152409160\ 6227794840061557824990067*c_0110_5^30 + 967663439623771308224714642278492776865580773365/153176844152409160\ 6227794840061557824990067*c_0110_5^28 - 4094704907490188404789209880132055115488626028662/15317684415240916\ 06227794840061557824990067*c_0110_5^26 + 9679615142521426751154378627409532690128921282329/15317684415240916\ 06227794840061557824990067*c_0110_5^24 - 18233322851577865475168271464690670921523707933697/1531768441524091\ 606227794840061557824990067*c_0110_5^22 + 29827268653043968824641050288523608624427968483263/1531768441524091\ 606227794840061557824990067*c_0110_5^20 - 25257318131162240063835775038341301513087313525369/1531768441524091\ 606227794840061557824990067*c_0110_5^18 + 18451183987826035967485100257334907536285345698247/1531768441524091\ 606227794840061557824990067*c_0110_5^16 - 4439727592215101486308268082975252857126205497018/15317684415240916\ 06227794840061557824990067*c_0110_5^14 - 34882496541130338001671978235628596782504741639943/1531768441524091\ 606227794840061557824990067*c_0110_5^12 + 31142126195733127058586546265359820727692631723521/1531768441524091\ 606227794840061557824990067*c_0110_5^10 - 12557933491371274365410833007363551596094468047220/1531768441524091\ 606227794840061557824990067*c_0110_5^8 + 2998103731847865194850395323227818204144955773575/15317684415240916\ 06227794840061557824990067*c_0110_5^6 - 436142799378523859457593151658116081467802597846/153176844152409160\ 6227794840061557824990067*c_0110_5^4 + 35136386087341223265459526799589107688718154574/1531768441524091606\ 227794840061557824990067*c_0110_5^2 - 1183774568698913712761545687831076041481013477/15317684415240916062\ 27794840061557824990067, c_0011_4 + 550065309208031873681643381285025627226185992190/70001817777\ 6509864046102241908131926020460619*c_0110_5^35 - 46109380332460822831957807535078069636832984878711/7000181777765098\ 64046102241908131926020460619*c_0110_5^33 + 566762240570570917784978212810442510600391649729931/700018177776509\ 864046102241908131926020460619*c_0110_5^31 - 2785525884692301890286561515151344260315495024465831/70001817777650\ 9864046102241908131926020460619*c_0110_5^29 + 11783155078891559534489083776972256551046430071779152/7000181777765\ 09864046102241908131926020460619*c_0110_5^27 - 27795348695642924810382759914259384466480976998915476/7000181777765\ 09864046102241908131926020460619*c_0110_5^25 + 52303077546972442594644825194061617583350500997636545/7000181777765\ 09864046102241908131926020460619*c_0110_5^23 - 85493631763282215886658229907455035372328703653418617/7000181777765\ 09864046102241908131926020460619*c_0110_5^21 + 71954476909918137599656047666141096877318129212324699/7000181777765\ 09864046102241908131926020460619*c_0110_5^19 - 52533807451313754423198853586302060517211850973111359/7000181777765\ 09864046102241908131926020460619*c_0110_5^17 + 12298827535788159579342767299008472440480255924089570/7000181777765\ 09864046102241908131926020460619*c_0110_5^15 + 100717240274216853556173221891073703609287113227338028/700018177776\ 509864046102241908131926020460619*c_0110_5^13 - 88651124683410801070627003237590881106813621713468816/7000181777765\ 09864046102241908131926020460619*c_0110_5^11 + 35377437459087034614162893595370002608465499543439758/7000181777765\ 09864046102241908131926020460619*c_0110_5^9 - 8367323881486157021229780790306389387480635765694276/70001817777650\ 9864046102241908131926020460619*c_0110_5^7 + 1203851952857941791616348746555414589637148054582664/70001817777650\ 9864046102241908131926020460619*c_0110_5^5 - 95634377680331263274646541382253049311062998488617/7000181777765098\ 64046102241908131926020460619*c_0110_5^3 + 3167209654808900738692635257126148141320397486883/70001817777650986\ 4046102241908131926020460619*c_0110_5, c_0101_0 - 437021974338282549822682755066626316812878367457/70001817777\ 6509864046102241908131926020460619*c_0110_5^35 + 36637186359054734982579686720869262092537044144642/7000181777765098\ 64046102241908131926020460619*c_0110_5^33 - 450596765295656065180074468943414691058771536039598/700018177776509\ 864046102241908131926020460619*c_0110_5^31 + 2216836711957681637176802726395001900174735088381643/70001817777650\ 9864046102241908131926020460619*c_0110_5^29 - 9379760509534964972185976230552254070919348967872674/70001817777650\ 9864046102241908131926020460619*c_0110_5^27 + 22159593274033987150724997075780729168385840422396742/7000181777765\ 09864046102241908131926020460619*c_0110_5^25 - 41729582645878436632388063832755754812104923255639185/7000181777765\ 09864046102241908131926020460619*c_0110_5^23 + 68248992273500931316208341687077094476137354262382397/7000181777765\ 09864046102241908131926020460619*c_0110_5^21 - 57692741701998452360630512383158074490493757923888944/7000181777765\ 09864046102241908131926020460619*c_0110_5^19 + 42142120298005842321667812585484400862105643188281161/7000181777765\ 09864046102241908131926020460619*c_0110_5^17 - 10063549371742238004717588801829837903928610437924930/7000181777765\ 09864046102241908131926020460619*c_0110_5^15 - 79980185525398092065514417118921344646926108923581170/7000181777765\ 09864046102241908131926020460619*c_0110_5^13 + 71114969576545448761098951379003798581111792007898030/7000181777765\ 09864046102241908131926020460619*c_0110_5^11 - 28600067403807755960815194445642720324050959353937149/7000181777765\ 09864046102241908131926020460619*c_0110_5^9 + 6811479897403723572460117900574593331683931893460781/70001817777650\ 9864046102241908131926020460619*c_0110_5^7 - 988128441002326541764684490940449723067110195651446/700018177776509\ 864046102241908131926020460619*c_0110_5^5 + 79323586705177719626190768318310215397629983793473/7000181777765098\ 64046102241908131926020460619*c_0110_5^3 - 2658664311866071032523022358003817678093280448726/70001817777650986\ 4046102241908131926020460619*c_0110_5, c_0101_1 - 665998067208503902550979397162639411202338373/15317684415240\ 91606227794840061557824990067*c_0110_5^34 + 55826840477687344344220496551560015024167960429/1531768441524091606\ 227794840061557824990067*c_0110_5^32 - 686160758144072080554251183267972886981049986140/153176844152409160\ 6227794840061557824990067*c_0110_5^30 + 3371953578351775943023591813368666804795317652837/15317684415240916\ 06227794840061557824990067*c_0110_5^28 - 14263381741103352249054435574060817473133125463603/1531768441524091\ 606227794840061557824990067*c_0110_5^26 + 33639970475398443508315041261064754817737636921560/1531768441524091\ 606227794840061557824990067*c_0110_5^24 - 63294644037692730100090945419642457759167237177604/1531768441524091\ 606227794840061557824990067*c_0110_5^22 + 103452551840939985169227429705814060222622837307667/153176844152409\ 1606227794840061557824990067*c_0110_5^20 - 87022090842983426514391411465079301830144984672244/1531768441524091\ 606227794840061557824990067*c_0110_5^18 + 63524816435809487166741823295349381278363423441114/1531768441524091\ 606227794840061557824990067*c_0110_5^16 - 14832636666729229315431967196344696185926491556472/1531768441524091\ 606227794840061557824990067*c_0110_5^14 - 121957104616724946210708240450100623832372386283811/153176844152409\ 1606227794840061557824990067*c_0110_5^12 + 107218037327404232928723721024885738181198944491182/153176844152409\ 1606227794840061557824990067*c_0110_5^10 - 42732566133347377747862228235140119274159792486330/1531768441524091\ 606227794840061557824990067*c_0110_5^8 + 10093224929121769206675890727742012527032578618292/1531768441524091\ 606227794840061557824990067*c_0110_5^6 - 1449514291447233372600049131161709016421327810224/15317684415240916\ 06227794840061557824990067*c_0110_5^4 + 114815037891913497014570032054571190906437532736/153176844152409160\ 6227794840061557824990067*c_0110_5^2 - 3784211140658413352588405043404607846557964415/15317684415240916062\ 27794840061557824990067, c_0101_3 + 293712077337786526969494320650689000197364444/15317684415240\ 91606227794840061557824990067*c_0110_5^34 - 24623586857488244083116651968481472015570950129/1531768441524091606\ 227794840061557824990067*c_0110_5^32 + 302886005897378139412845976998308039960962009255/153176844152409160\ 6227794840061557824990067*c_0110_5^30 - 1490499479432179228439205433406182748721008412265/15317684415240916\ 06227794840061557824990067*c_0110_5^28 + 6306890728762482759060196396400858797340491906274/15317684415240916\ 06227794840061557824990067*c_0110_5^26 - 14905477681850936616238528840356533783184779119762/1531768441524091\ 606227794840061557824990067*c_0110_5^24 + 28074269511474734634995313997484690239808210896689/1531768441524091\ 606227794840061557824990067*c_0110_5^22 - 45922039131667058579968265012517555550395647601863/1531768441524091\ 606227794840061557824990067*c_0110_5^20 + 38860524730334714825817697541107729136867335768428/1531768441524091\ 606227794840061557824990067*c_0110_5^18 - 28389865478489138362144901171692207762591508723911/1531768441524091\ 606227794840061557824990067*c_0110_5^16 + 6812219344783790903205108020550586349381104727618/15317684415240916\ 06227794840061557824990067*c_0110_5^14 + 53745848377771615287076278052561963885175542110099/1531768441524091\ 606227794840061557824990067*c_0110_5^12 - 47906202860923725342367484031107600474033836071952/1531768441524091\ 606227794840061557824990067*c_0110_5^10 + 19303080315722763376463819420883090135534139689638/1531768441524091\ 606227794840061557824990067*c_0110_5^8 - 4605885210775291142422161168298105873688431440115/15317684415240916\ 06227794840061557824990067*c_0110_5^6 + 669701374991966165764467090311006139332036452375/153176844152409160\ 6227794840061557824990067*c_0110_5^4 - 53939356538124825841999669614627680781128985257/1531768441524091606\ 227794840061557824990067*c_0110_5^2 + 1816580868945417988429881021759907138375227227/15317684415240916062\ 27794840061557824990067, c_0110_5^36 - 84*c_0110_5^34 + 1045*c_0110_5^32 - 5244*c_0110_5^30 + 22306*c_0110_5^28 - 54273*c_0110_5^26 + 103911*c_0110_5^24 - 172031*c_0110_5^22 + 157954*c_0110_5^20 - 118340*c_0110_5^18 + 39030*c_0110_5^16 + 179205*c_0110_5^14 - 193157*c_0110_5^12 + 92448*c_0110_5^10 - 26430*c_0110_5^8 + 4840*c_0110_5^6 - 555*c_0110_5^4 + 36*c_0110_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB