Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 3330759198] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0835 geometric_solution 4.75841463 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0321 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 -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.668229510296 0.761082475187 0 0 2 3 0132 0321 1302 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 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.348562726707 0.741956894671 1 0 4 4 2031 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 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 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.987404876521 1.062820667522 5 5 1 0 0132 3201 2031 0132 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 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.323559107752 0.395048843357 2 6 2 6 2310 0132 0132 2310 0 0 0 0 0 -1 1 0 -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 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.383038879084 1.204465225286 3 5 3 5 0132 1302 2310 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 -1.984770088941 1.657210957244 4 4 6 6 3201 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.422354755031 0.088416558797 ==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' : negation(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_3'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : negation(d['c_0101_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_3, c_0011_4, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 17790454767562952792122598668786957649457/6663135878698033823507754\ 01779073551418*c_0110_6^22 + 11580065521692444323998209469502582357\ 95031/1332627175739606764701550803558147102836*c_0110_6^21 - 360609616826189451286822984534537040565233/666313587869803382350775\ 401779073551418*c_0110_6^20 - 4448068436109651228171077289343286630\ 209978/333156793934901691175387700889536775709*c_0110_6^19 - 2432471088616666459693012548948701124662093/66631358786980338235077\ 5401779073551418*c_0110_6^18 + 236295491724713162459727641122365804\ 1831696/47593827704985955882198242984219539387*c_0110_6^17 + 51579064141927333537039380523781060436106421/1332627175739606764701\ 550803558147102836*c_0110_6^16 - 2095305810994507747017128104162551\ 5159055997/666313587869803382350775401779073551418*c_0110_6^15 - 131467563592235244201529775852747545727550405/133262717573960676470\ 1550803558147102836*c_0110_6^14 - 801069476692000630594784717371629\ 07950678557/1332627175739606764701550803558147102836*c_0110_6^13 + 20968025606469330370127042253774077616816963/3331567939349016911753\ 87700889536775709*c_0110_6^12 + 49850165878212149489733580965613919\ 136903428/333156793934901691175387700889536775709*c_0110_6^11 + 36049587709666657994365394707802132944103537/1332627175739606764701\ 550803558147102836*c_0110_6^10 - 2861947959410474890966978550255146\ 87512306795/1332627175739606764701550803558147102836*c_0110_6^9 + 16192740111498494704396769823021731665487110/3331567939349016911753\ 87700889536775709*c_0110_6^8 + 128167987225328186475250925754374825\ 957804415/1332627175739606764701550803558147102836*c_0110_6^7 - 79259342992126302043077250380637688631338601/1332627175739606764701\ 550803558147102836*c_0110_6^6 + 36378427406851480688214867285494869\ 04186059/666313587869803382350775401779073551418*c_0110_6^5 + 2837119411658849371586193793916785104844183/66631358786980338235077\ 5401779073551418*c_0110_6^4 - 1322502497686955146360468055879921737\ 036505/666313587869803382350775401779073551418*c_0110_6^3 + 709859847237436567685353646236262110731037/133262717573960676470155\ 0803558147102836*c_0110_6^2 + 2031982040433967695921157273686695293\ 1819/333156793934901691175387700889536775709*c_0110_6 - 51388847065203076005132481110038615109353/1332627175739606764701550\ 803558147102836, c_0011_0 - 1, c_0011_3 - 620046649033393070540548425466842423071/19037531081994382352\ 8792971936878157548*c_0110_6^22 - 201225070454159976109735404803777\ 18662857/190375310819943823528792971936878157548*c_0110_6^21 + 3600344825626138213429985645740713825241/47593827704985955882198242\ 984219539387*c_0110_6^20 + 7694735933732090852393236495211912097498\ 3/47593827704985955882198242984219539387*c_0110_6^19 + 28308413412276666477705323495340212559817/9518765540997191176439648\ 5968439078774*c_0110_6^18 - 114410833497152825164808349648492131923\ 4841/190375310819943823528792971936878157548*c_0110_6^17 - 785244064083058546886149052015863359419587/190375310819943823528792\ 971936878157548*c_0110_6^16 + 7550828567581815889688478950519174002\ 23363/190375310819943823528792971936878157548*c_0110_6^15 + 542447373671443142916035299214348989251403/475938277049859558821982\ 42984219539387*c_0110_6^14 + 12066047808385444068242724888927416678\ 58243/190375310819943823528792971936878157548*c_0110_6^13 - 739581443817226242365408626655494288378341/951876554099719117643964\ 85968439078774*c_0110_6^12 - 32542094606706488145951575656737330978\ 12401/190375310819943823528792971936878157548*c_0110_6^11 - 89306778989772123466338644384912328850314/4759382770498595588219824\ 2984219539387*c_0110_6^10 + 487607335735782849911601640374745474307\ 5311/190375310819943823528792971936878157548*c_0110_6^9 - 1640212501704752174593298460304178063813199/19037531081994382352879\ 2971936878157548*c_0110_6^8 - 4727567127955131467938105743997408884\ 54949/47593827704985955882198242984219539387*c_0110_6^7 + 1535236687924292512675256513145468119823765/19037531081994382352879\ 2971936878157548*c_0110_6^6 - 8815817643839604253037225473466976819\ 6222/47593827704985955882198242984219539387*c_0110_6^5 - 11620360873589893981585446983514455655487/9518765540997191176439648\ 5968439078774*c_0110_6^4 + 4260346503305760515848064888986181433054\ 3/190375310819943823528792971936878157548*c_0110_6^3 - 17512186256912464697998944870816307711355/1903753108199438235287929\ 71936878157548*c_0110_6^2 + 147995349716513331383783338520412261930\ 5/190375310819943823528792971936878157548*c_0110_6 + 962463251624215359913215941375857225535/190375310819943823528792971\ 936878157548, c_0011_4 - 30179513637351003082295955979781544619/475938277049859558821\ 98242984219539387*c_0110_6^22 - 79869553173932133301729625363863556\ 06577/380750621639887647057585943873756315096*c_0110_6^21 + 607607043939560475107699309442910638563/380750621639887647057585943\ 873756315096*c_0110_6^20 + 3017596794811302628945810012843408535896\ 1/95187655409971911764396485968439078774*c_0110_6^19 + 97849601264477170578318934840443118696131/3807506216398876470575859\ 43873756315096*c_0110_6^18 - 97788194632407330454200149405633674609\ 881/95187655409971911764396485968439078774*c_0110_6^17 - 139502268390862676456979300718279182930613/951876554099719117643964\ 85968439078774*c_0110_6^16 - 34783825973530521921985958749538996353\ 655/380750621639887647057585943873756315096*c_0110_6^15 + 429105840650514809764725976717913703075137/190375310819943823528792\ 971936878157548*c_0110_6^14 + 1018057509149622462237474464433454704\ 121791/380750621639887647057585943873756315096*c_0110_6^13 + 4307461372125936368603143049757512143733/95187655409971911764396485\ 968439078774*c_0110_6^12 - 3309385589183633292940271328579378087262\ 65/95187655409971911764396485968439078774*c_0110_6^11 - 987340872457334681327077725404051779811331/380750621639887647057585\ 943873756315096*c_0110_6^10 + 1684762212207767081065137102627952280\ 29883/47593827704985955882198242984219539387*c_0110_6^9 + 277159961111111336564766538852114906331193/380750621639887647057585\ 943873756315096*c_0110_6^8 - 15523236562513826709350157281079532841\ 7015/95187655409971911764396485968439078774*c_0110_6^7 + 191870789458410450477669895341357327249453/380750621639887647057585\ 943873756315096*c_0110_6^6 + 14887990919382921715505044294838472726\ 31/95187655409971911764396485968439078774*c_0110_6^5 - 2285524881161968720158000415554772769665/47593827704985955882198242\ 984219539387*c_0110_6^4 + 1229674177169588224804514409253323222712/\ 47593827704985955882198242984219539387*c_0110_6^3 - 919061592631842863731808952637607820645/380750621639887647057585943\ 873756315096*c_0110_6^2 - 937942345760180434695269209142352368547/3\ 80750621639887647057585943873756315096*c_0110_6 + 376273927760515521449319267662021825457/380750621639887647057585943\ 873756315096, c_0101_0 - 982440661666927334394990614554354481873/38075062163988764705\ 7585943873756315096*c_0110_6^22 - 797368819727160994128826962993272\ 5012605/95187655409971911764396485968439078774*c_0110_6^21 + 22477231929137143058296939976263817415807/3807506216398876470575859\ 43873756315096*c_0110_6^20 + 48888840575734525201629301339782656584\ 5143/380750621639887647057585943873756315096*c_0110_6^19 + 95197808118568959580330606706957590262907/3807506216398876470575859\ 43873756315096*c_0110_6^18 - 45648616490282591265792981538041987075\ 3745/95187655409971911764396485968439078774*c_0110_6^17 - 1275422849217978841304373827823958933124601/38075062163988764705758\ 5943873756315096*c_0110_6^16 + 122791256993767476530999207954277750\ 7935155/380750621639887647057585943873756315096*c_0110_6^15 + 3513021983022720934333116900509889974691411/38075062163988764705758\ 5943873756315096*c_0110_6^14 + 195557921598173029825128517868357609\ 1629745/380750621639887647057585943873756315096*c_0110_6^13 - 604735499984855223601972454971335205446337/951876554099719117643964\ 85968439078774*c_0110_6^12 - 52993914144580624732295520194562452359\ 05055/380750621639887647057585943873756315096*c_0110_6^11 - 631153176370471926767708096561836144113809/380750621639887647057585\ 943873756315096*c_0110_6^10 + 7866889725119831600955303133419827900\ 435943/380750621639887647057585943873756315096*c_0110_6^9 - 2398419814068366796328775348353070389036343/38075062163988764705758\ 5943873756315096*c_0110_6^8 - 3174343243335820034910295479723825969\ 196489/380750621639887647057585943873756315096*c_0110_6^7 + 2388122848508580077387158765148984262208547/38075062163988764705758\ 5943873756315096*c_0110_6^6 - 1203618723425007674672907559561007357\ 70831/95187655409971911764396485968439078774*c_0110_6^5 - 17948146421228119789449793705139064232015/9518765540997191176439648\ 5968439078774*c_0110_6^4 + 7981447694713699993929469712702072581340\ 7/380750621639887647057585943873756315096*c_0110_6^3 - 14905067105779364822036555713262578207467/1903753108199438235287929\ 71936878157548*c_0110_6^2 + 758858495768401636529479599636963498247\ /190375310819943823528792971936878157548*c_0110_6 + 1818361028689975681103921439037988880847/38075062163988764705758594\ 3873756315096, c_0101_2 + 597055258458352309722963432938199460887/38075062163988764705\ 7585943873756315096*c_0110_6^22 + 974428971817419600836469003833081\ 5075811/190375310819943823528792971936878157548*c_0110_6^21 - 10208050763605519402435428849451213398629/3807506216398876470575859\ 43873756315096*c_0110_6^20 - 29841465232963370595681955466921972804\ 7063/380750621639887647057585943873756315096*c_0110_6^19 - 110650193094270592131750902854056102011213/380750621639887647057585\ 943873756315096*c_0110_6^18 + 5412339447346313493903675123728751655\ 77117/190375310819943823528792971936878157548*c_0110_6^17 + 961716375343664405301492100512144799471989/380750621639887647057585\ 943873756315096*c_0110_6^16 - 5484245569502593916820935757159847133\ 98759/380750621639887647057585943873756315096*c_0110_6^15 - 2199724912236180934735167091641047944632953/38075062163988764705758\ 5943873756315096*c_0110_6^14 - 158835367468947054280475917421078701\ 9271831/380750621639887647057585943873756315096*c_0110_6^13 + 140207808771578105896427730508890506389950/475938277049859558821982\ 42984219539387*c_0110_6^12 + 33592304740957105611269062900913055879\ 97957/380750621639887647057585943873756315096*c_0110_6^11 + 1001982105059630809354312924511692229303133/38075062163988764705758\ 5943873756315096*c_0110_6^10 - 449511520794158444318842536951330942\ 2939471/380750621639887647057585943873756315096*c_0110_6^9 + 721299283269790236124715667757200115578243/380750621639887647057585\ 943873756315096*c_0110_6^8 + 19400699851641039535120226511062393628\ 79063/380750621639887647057585943873756315096*c_0110_6^7 - 1134169928336071511902714460673066394955041/38075062163988764705758\ 5943873756315096*c_0110_6^6 + 1799534951499993304672274805799977784\ 6189/47593827704985955882198242984219539387*c_0110_6^5 + 15091700438830984059147813415299538593511/9518765540997191176439648\ 5968439078774*c_0110_6^4 - 4084801175674375581559782627794933041939\ 7/380750621639887647057585943873756315096*c_0110_6^3 + 1475486118110403400661455028059910081826/47593827704985955882198242\ 984219539387*c_0110_6^2 + 625790115308911660927443978368278699803/1\ 90375310819943823528792971936878157548*c_0110_6 - 1137612632662015623821320379395870893513/38075062163988764705758594\ 3873756315096, c_0101_4 - 845607006529582001789278606203277534467/38075062163988764705\ 7585943873756315096*c_0110_6^22 - 274604126419288121002404098178888\ 37705877/380750621639887647057585943873756315096*c_0110_6^21 + 2389438105692634413942076882112444079180/47593827704985955882198242\ 984219539387*c_0110_6^20 + 4218503337517644263309709470026371963273\ 17/380750621639887647057585943873756315096*c_0110_6^19 + 10692341534981647828265719470876217417241/4759382770498595588219824\ 2984219539387*c_0110_6^18 - 396095724508751560389074434142417733308\ 081/95187655409971911764396485968439078774*c_0110_6^17 - 1119305658569730495581567982814913700821319/38075062163988764705758\ 5943873756315096*c_0110_6^16 + 548238181414323052734039345270515287\ 881909/190375310819943823528792971936878157548*c_0110_6^15 + 3086995838852928458418846709031512309251615/38075062163988764705758\ 5943873756315096*c_0110_6^14 + 844319713197078244032992235858870632\ 407409/190375310819943823528792971936878157548*c_0110_6^13 - 546006456390630034006267753818881421660725/951876554099719117643964\ 85968439078774*c_0110_6^12 - 46802846030470567844925279800578183577\ 78485/380750621639887647057585943873756315096*c_0110_6^11 - 269739764925837292756553291297217414191451/190375310819943823528792\ 971936878157548*c_0110_6^10 + 6952573910443851085975138411289745688\ 178265/380750621639887647057585943873756315096*c_0110_6^9 - 477110041529608736354153084191884882681843/951876554099719117643964\ 85968439078774*c_0110_6^8 - 295262298890504552365746469187984502598\ 1223/380750621639887647057585943873756315096*c_0110_6^7 + 1001380751333765460557516767835179427988605/19037531081994382352879\ 2971936878157548*c_0110_6^6 - 7724400962391516009130890921338664920\ 2247/95187655409971911764396485968439078774*c_0110_6^5 - 23045540265979050687340240725080059978999/9518765540997191176439648\ 5968439078774*c_0110_6^4 + 6709922734974213397450104844555751034475\ 3/380750621639887647057585943873756315096*c_0110_6^3 - 22998716267247156213373381886077084692043/3807506216398876470575859\ 43873756315096*c_0110_6^2 + 255373604376020555554330700168845237671\ /380750621639887647057585943873756315096*c_0110_6 + 818180136374005551224953491059988235275/190375310819943823528792971\ 936878157548, c_0110_6^23 + 32*c_0110_6^22 - 38*c_0110_6^21 - 488*c_0110_6^20 + 135*c_0110_6^19 + 1919*c_0110_6^18 + 439*c_0110_6^17 - 1909*c_0110_6^16 - 3040*c_0110_6^15 - 299*c_0110_6^14 + 3495*c_0110_6^13 + 4323*c_0110_6^12 - 1923*c_0110_6^11 - 8468*c_0110_6^10 + 6125*c_0110_6^9 + 2324*c_0110_6^8 - 3995*c_0110_6^7 + 1529*c_0110_6^6 - 84*c_0110_6^5 - 131*c_0110_6^4 + 66*c_0110_6^3 - 13*c_0110_6^2 - 2*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB