Magma V2.19-8 Tue Aug 20 2013 16:16:53 on localhost [Seed = 3035965547] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1147 geometric_solution 5.02355287 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 2 -2 0 0 0 0 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.492071902962 0.140965861228 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.246132251622 0.222281901064 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.918662639083 0.736208347437 2 5 4 6 0132 0132 3201 0132 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 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.090328654958 0.690659356828 3 6 2 5 2310 1023 0132 2310 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 -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.090328654958 0.690659356828 4 3 5 5 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 -1 1 0 0 -1 1 -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.290215624398 0.547104050794 4 6 3 6 1023 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186179539119 1.423542073138 ==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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], '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' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 85814433978230719542396314095810668897725354583/3783506290434616234\ 00145078635356973413730010360*c_0110_5^28 + 4145221386345370417958137523266684429903167018583/37835062904346162\ 3400145078635356973413730010360*c_0110_5^26 + 8981709810053382444402020864540254992061467015895/75670125808692324\ 680029015727071394682746002072*c_0110_5^24 + 222537795739346770003163438229189404961396066818047/378350629043461\ 623400145078635356973413730010360*c_0110_5^22 + 428494465793777165577661190669804599425809458882403/378350629043461\ 623400145078635356973413730010360*c_0110_5^20 + 1388446988192130508414363898848974985967047156351783/37835062904346\ 1623400145078635356973413730010360*c_0110_5^18 + 2532145741578639778351424391752532359897407308780991/37835062904346\ 1623400145078635356973413730010360*c_0110_5^16 - 52271642919848139030948301823193375949736525545588/6756261232918957\ 560716876404202803096673750185*c_0110_5^14 - 979895605113752900492662651754050967049233299987463/472938286304327\ 02925018134829419621676716251295*c_0110_5^12 - 3041742362962564686273602430124358465598126361050783/37835062904346\ 1623400145078635356973413730010360*c_0110_5^10 - 1320764317426106538391066098501594074474928409026691/18917531452173\ 0811700072539317678486706865005180*c_0110_5^8 + 1352711815729557744260077475348868818410174405983/55153152921787408\ 6589132767690024742585612260*c_0110_5^6 - 38747573537416334837665575638878928118386964415/1422370785877675275\ 94039503246374802035236846*c_0110_5^4 + 49722626777693506751257405762302192690621403620623/3783506290434616\ 23400145078635356973413730010360*c_0110_5^2 + 21449631024690159851443822149585070495025776709259/3783506290434616\ 23400145078635356973413730010360, c_0011_0 - 1, c_0011_1 - 155874838426393379822321786183221137502/44264167673986684316\ 944844918942595713131*c_0110_5^28 + 7491719348286477493855358246166367157264/44264167673986684316944844\ 918942595713131*c_0110_5^26 + 8339819915475849770341361623190902555\ 9794/44264167673986684316944844918942595713131*c_0110_5^24 + 423833952979610856938631739310808850736613/442641676739866843169448\ 44918942595713131*c_0110_5^22 + 87454705489585563660826517187613426\ 9669642/44264167673986684316944844918942595713131*c_0110_5^20 + 2701507195876649738314949294160841397897635/44264167673986684316944\ 844918942595713131*c_0110_5^18 + 5188212077952966727835902035643673\ 031572498/44264167673986684316944844918942595713131*c_0110_5^16 - 4263608868829922561700520312541004614835527/44264167673986684316944\ 844918942595713131*c_0110_5^14 - 1565571119636304617956687536754181\ 7881468634/44264167673986684316944844918942595713131*c_0110_5^12 - 8956198761346909154848780372755023743583894/44264167673986684316944\ 844918942595713131*c_0110_5^10 - 5760191593331293337154132163381042\ 286532931/44264167673986684316944844918942595713131*c_0110_5^8 + 909616863953229242097545278220657564204259/442641676739866843169448\ 44918942595713131*c_0110_5^6 + 203068604670828077232962279266119433\ 99156/2329693035472983385102360258891715563849*c_0110_5^4 + 80028935127951141469022992150324997707191/4426416767398668431694484\ 4918942595713131*c_0110_5^2 + 3504758651141535049900554870121281818\ 0168/44264167673986684316944844918942595713131, c_0011_4 - 27788405498386298727493491694218194230251/787902184596962980\ 8416182395571782036937318*c_0110_5^29 + 1342937106960811755812400548111793529190787/78790218459696298084161\ 82395571782036937318*c_0110_5^27 + 14510623528629991887179566194748968192499649/7879021845969629808416\ 182395571782036937318*c_0110_5^25 + 71784167798248733059695902936018829541364923/7879021845969629808416\ 182395571782036937318*c_0110_5^23 + 137654043963357735649903650149645211015423695/787902184596962980841\ 6182395571782036937318*c_0110_5^21 + 448945404434187357259284871262545245956204601/787902184596962980841\ 6182395571782036937318*c_0110_5^19 + 813536815471429153664162884990202925132972705/787902184596962980841\ 6182395571782036937318*c_0110_5^17 - 476083673603259931919813874447720398252448931/393951092298481490420\ 8091197785891018468659*c_0110_5^15 - 1247455417344901323290299402548837254715841038/39395109229848149042\ 08091197785891018468659*c_0110_5^13 - 983240304309921279236754914741390367096633629/787902184596962980841\ 6182395571782036937318*c_0110_5^11 - 456496098792419034772240632837510257093385608/393951092298481490420\ 8091197785891018468659*c_0110_5^9 + 170561852156536141501472570665383790117393935/393951092298481490420\ 8091197785891018468659*c_0110_5^7 - 1260225171495242175286375402906825827634640/20734268015709552127411\ 0063041362685182561*c_0110_5^5 + 5169919100781904338624074350644431\ 5230870075/7879021845969629808416182395571782036937318*c_0110_5^3 + 6725540155738417281551169286985513120643387/78790218459696298084161\ 82395571782036937318*c_0110_5, c_0101_0 - 106222782440248017789987799688221911393345/39395109229848149\ 04208091197785891018468659*c_0110_5^29 + 5121765249607587460594749360922231595428732/39395109229848149042080\ 91197785891018468659*c_0110_5^27 + 56034976888064852497221041064517696004208359/3939510922984814904208\ 091197785891018468659*c_0110_5^25 + 280386982365087440080631776961982022208122501/393951092298481490420\ 8091197785891018468659*c_0110_5^23 + 555220725581357513511324521391750559320895076/393951092298481490420\ 8091197785891018468659*c_0110_5^21 + 1768712276956714422618271489872004931703265931/39395109229848149042\ 08091197785891018468659*c_0110_5^19 + 3291075011438456150693197719564686391552507435/39395109229848149042\ 08091197785891018468659*c_0110_5^17 - 3326917711190785187992385723640925987867365301/39395109229848149042\ 08091197785891018468659*c_0110_5^15 - 9980007270284973216898237725124361465281546435/39395109229848149042\ 08091197785891018468659*c_0110_5^13 - 4673735441698636732098024004846607717984056953/39395109229848149042\ 08091197785891018468659*c_0110_5^11 - 3726709666742128574817861212892897295073098066/39395109229848149042\ 08091197785891018468659*c_0110_5^9 + 845410954926355172306618578416601027447966047/393951092298481490420\ 8091197785891018468659*c_0110_5^7 - 3066312190414600684812302854461515836519371/20734268015709552127411\ 0063041362685182561*c_0110_5^5 + 6710557422053360276521306810864107\ 3830178937/3939510922984814904208091197785891018468659*c_0110_5^3 + 23830829334932742872138671069424152986695690/3939510922984814904208\ 091197785891018468659*c_0110_5, c_0101_2 - 53726761740637925391156362962245621950409/393951092298481490\ 4208091197785891018468659*c_0110_5^29 + 2592152690922215374864444762491058530484547/39395109229848149042080\ 91197785891018468659*c_0110_5^27 + 28264917125829917446888955948153031922684499/3939510922984814904208\ 091197785891018468659*c_0110_5^25 + 140979634929491388966854520970822682903756077/393951092298481490420\ 8091197785891018468659*c_0110_5^23 + 276681245998197692973000957159848997224626203/393951092298481490420\ 8091197785891018468659*c_0110_5^21 + 886705486453043235539297272013386928089373176/393951092298481490420\ 8091197785891018468659*c_0110_5^19 + 1639377436193990445476786853050669031649661321/39395109229848149042\ 08091197785891018468659*c_0110_5^17 - 1728833709503206947621154747188714827279113246/39395109229848149042\ 08091197785891018468659*c_0110_5^15 - 4989368680044775491761683552276448344913124704/39395109229848149042\ 08091197785891018468659*c_0110_5^13 - 2208125108214125604973385216323719522728701993/39395109229848149042\ 08091197785891018468659*c_0110_5^11 - 1836294292999647717548839743284946928575441709/39395109229848149042\ 08091197785891018468659*c_0110_5^9 + 447970576193057030102670072360480708316657268/393951092298481490420\ 8091197785891018468659*c_0110_5^7 - 3038712068932926286774622147057010083689874/20734268015709552127411\ 0063041362685182561*c_0110_5^5 + 2703805024167641237569063780508921\ 9892298740/3939510922984814904208091197785891018468659*c_0110_5^3 + 13363460979633378535078798713437432020182431/3939510922984814904208\ 091197785891018468659*c_0110_5, c_0101_3 + 8002897722947964456376847956602564661/2329693035472983385102\ 360258891715563849*c_0110_5^28 - 3858602689390038950437074813649274\ 81545/2329693035472983385102360258891715563849*c_0110_5^26 - 4222661564111612296514815728579106639860/23296930354729833851023602\ 58891715563849*c_0110_5^24 - 21127477617119543721639811681466613043\ 081/2329693035472983385102360258891715563849*c_0110_5^22 - 41811291237147379378548585927413508923141/2329693035472983385102360\ 258891715563849*c_0110_5^20 - 7001686499740338672545250647570268565\ 004/122615422919630704479071592573248187571*c_0110_5^18 - 247671849877368608447937505565586028307323/232969303547298338510236\ 0258891715563849*c_0110_5^16 + 252012577206890005242268812394347433\ 522071/2329693035472983385102360258891715563849*c_0110_5^14 + 755679157475663097105247988681874694879133/232969303547298338510236\ 0258891715563849*c_0110_5^12 + 348823150679802737887691429623452059\ 010566/2329693035472983385102360258891715563849*c_0110_5^10 + 270173132115325905122579412725131220816223/232969303547298338510236\ 0258891715563849*c_0110_5^8 - 6463545456107614371258742343560819939\ 9630/2329693035472983385102360258891715563849*c_0110_5^6 + 5295201691820120649930321161850016055388/23296930354729833851023602\ 58891715563849*c_0110_5^4 - 334390871391763242150860908143835947694\ 4/2329693035472983385102360258891715563849*c_0110_5^2 - 1240811577524568718995150081514028876205/23296930354729833851023602\ 58891715563849, c_0110_5^30 - 48*c_0110_5^28 - 538*c_0110_5^26 - 2754*c_0110_5^24 - 5798*c_0110_5^22 - 17774*c_0110_5^20 - 34570*c_0110_5^18 + 24675*c_0110_5^16 + 100936*c_0110_5^14 + 64385*c_0110_5^12 + 44187*c_0110_5^10 - 784*c_0110_5^8 - 1498*c_0110_5^6 - 681*c_0110_5^4 - 366*c_0110_5^2 - 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB