Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 2800171626] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0370 geometric_solution 4.42561898 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 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 1 -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.544818918454 0.045429291535 0 0 2 2 0132 2310 2310 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 1 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 3.299492465719 0.554103744022 3 1 1 3 0132 3201 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 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.620790237218 0.618963025208 2 2 5 4 0132 2310 0132 0132 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 -1 0 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.065543803558 0.383367948763 5 5 3 6 1230 1023 0132 0132 0 0 0 0 0 0 -1 1 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 0 -1 1 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.691614853618 1.109173813155 4 4 6 3 1023 3012 2310 0132 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 -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.691614853618 1.109173813155 6 5 4 6 3012 3201 0132 1230 0 0 0 0 0 1 -1 0 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 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.691614853618 1.109173813155 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(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' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_0']), '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_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), '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_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 256967049289393453358451597929/5833473622956900944205694247*c_0101_\ 3^19 - 20321867318812413571662654616/5833473622956900944205694247*c\ _0101_3^18 - 7684205665886177635612830968646/5833473622956900944205\ 694247*c_0101_3^17 - 35109049312385658436134831297694/5833473622956\ 900944205694247*c_0101_3^16 - 66012888740789521028855414639403/5833\ 473622956900944205694247*c_0101_3^15 + 41779732078087885407017709703535/5833473622956900944205694247*c_010\ 1_3^14 + 344073941875155111706623379939428/583347362295690094420569\ 4247*c_0101_3^13 + 302549900207998270790268402871930/58334736229569\ 00944205694247*c_0101_3^12 - 572474761471002725742293564831249/5833\ 473622956900944205694247*c_0101_3^11 - 917987385934689447879164234547256/5833473622956900944205694247*c_01\ 01_3^10 + 343050685762305537417030021199591/58334736229569009442056\ 94247*c_0101_3^9 + 976632908931124676356947410055393/58334736229569\ 00944205694247*c_0101_3^8 - 39936172843752412710569520650618/583347\ 3622956900944205694247*c_0101_3^7 - 490067382671786102673223095989173/5833473622956900944205694247*c_01\ 01_3^6 - 1853439863455441235617086320397/58334736229569009442056942\ 47*c_0101_3^5 + 124032231242525918006882267283230/58334736229569009\ 44205694247*c_0101_3^4 - 13069761690528028805445158535064/583347362\ 2956900944205694247*c_0101_3^3 - 13680776169648383341338868397267/5\ 833473622956900944205694247*c_0101_3^2 + 2524571567847433096341707544705/5833473622956900944205694247*c_0101\ _3 + 383598618456119124093451734603/5833473622956900944205694247, c_0011_0 - 1, c_0011_2 - 234861714341024457296531414/343145507232758879070923191*c_01\ 01_3^19 + 136193647346486696944092371/343145507232758879070923191*c\ _0101_3^18 + 7021121585779059048645198408/3431455072327588790709231\ 91*c_0101_3^17 + 28580562997878962876466931285/34314550723275887907\ 0923191*c_0101_3^16 + 44057043720378022202806818968/343145507232758\ 879070923191*c_0101_3^15 - 69675028468770693714650171879/3431455072\ 32758879070923191*c_0101_3^14 - 298824520222817301565017740895/3431\ 45507232758879070923191*c_0101_3^13 - 121813380866133017184893659996/343145507232758879070923191*c_0101_3\ ^12 + 669744870202706415376834952586/343145507232758879070923191*c_\ 0101_3^11 + 598451340606091638446879466072/343145507232758879070923\ 191*c_0101_3^10 - 726107229972402217335835665373/343145507232758879\ 070923191*c_0101_3^9 - 766880842319219060446246423850/3431455072327\ 58879070923191*c_0101_3^8 + 446235112938519694797331305995/34314550\ 7232758879070923191*c_0101_3^7 + 436045084383132062997751235891/343\ 145507232758879070923191*c_0101_3^6 - 190544423928751901073319968087/343145507232758879070923191*c_0101_3\ ^5 - 105889749021315098454803732841/343145507232758879070923191*c_0\ 101_3^4 + 57393391272095350410486345341/343145507232758879070923191\ *c_0101_3^3 + 2894344528083031807796347841/343145507232758879070923\ 191*c_0101_3^2 - 5813146796182114118769056067/343145507232758879070\ 923191*c_0101_3 + 980332799340406038061417652/343145507232758879070\ 923191, c_0011_4 + 161893443501362999713046849/343145507232758879070923191*c_01\ 01_3^19 - 30222777230903350119256470/343145507232758879070923191*c_\ 0101_3^18 - 4820127195571908454419074176/34314550723275887907092319\ 1*c_0101_3^17 - 21620535273505170360558659656/343145507232758879070\ 923191*c_0101_3^16 - 39786084830227585509343201698/3431455072327588\ 79070923191*c_0101_3^15 + 28710044817503506434168252953/34314550723\ 2758879070923191*c_0101_3^14 + 211422803017373857869503069194/34314\ 5507232758879070923191*c_0101_3^13 + 174893341360102638502216860066/343145507232758879070923191*c_0101_3\ ^12 - 358859914732481869707747549085/343145507232758879070923191*c_\ 0101_3^11 - 539304323261213759763186958064/343145507232758879070923\ 191*c_0101_3^10 + 220129127360325393829346982277/343145507232758879\ 070923191*c_0101_3^9 + 562538024069919766854528932578/3431455072327\ 58879070923191*c_0101_3^8 - 22801711298043631917283989255/343145507\ 232758879070923191*c_0101_3^7 - 263221322306807726703507582702/3431\ 45507232758879070923191*c_0101_3^6 - 6534467851200915944807978278/343145507232758879070923191*c_0101_3^5 + 56563593597717332785590733235/343145507232758879070923191*c_0101_\ 3^4 - 4945288305913423656190177420/343145507232758879070923191*c_01\ 01_3^3 - 4790836470155570010626534334/343145507232758879070923191*c\ _0101_3^2 + 656684085160785812747105447/343145507232758879070923191\ *c_0101_3 + 134806921836511993924416080/343145507232758879070923191\ , c_0011_6 + 177413783149163816717075154/343145507232758879070923191*c_01\ 01_3^19 - 27551334584158039197623168/343145507232758879070923191*c_\ 0101_3^18 - 5306944341971682845951149491/34314550723275887907092319\ 1*c_0101_3^17 - 23819033174460664574530213814/343145507232758879070\ 923191*c_0101_3^16 - 43664586594741843547162624858/3431455072327588\ 79070923191*c_0101_3^15 + 32221785429585005036858489825/34314550723\ 2758879070923191*c_0101_3^14 + 234297371035111495337929211095/34314\ 5507232758879070923191*c_0101_3^13 + 187919526446478992725293455102/343145507232758879070923191*c_0101_3\ ^12 - 409639002686236094827174740950/343145507232758879070923191*c_\ 0101_3^11 - 589764704319949221640585856293/343145507232758879070923\ 191*c_0101_3^10 + 293961728771461426641019545540/343145507232758879\ 070923191*c_0101_3^9 + 626310723684098123064908411807/3431455072327\ 58879070923191*c_0101_3^8 - 104004266696514433180026404759/34314550\ 7232758879070923191*c_0101_3^7 - 304949420538775456705180045587/343\ 145507232758879070923191*c_0101_3^6 + 48233771940499064315843715019/343145507232758879070923191*c_0101_3^\ 5 + 68655266179264270174136985093/343145507232758879070923191*c_010\ 1_3^4 - 23968651179035456302426190639/343145507232758879070923191*c\ _0101_3^3 - 3119074652920182409740249392/34314550723275887907092319\ 1*c_0101_3^2 + 2586975832352208338585464204/34314550723275887907092\ 3191*c_0101_3 - 445426069213661659010474319/34314550723275887907092\ 3191, c_0101_0 + 364572664025802972454769096/343145507232758879070923191*c_01\ 01_3^19 - 101799038245212823627586329/343145507232758879070923191*c\ _0101_3^18 - 10842947255369594403110264161/343145507232758879070923\ 191*c_0101_3^17 - 47659411659939965187883086678/3431455072327588790\ 70923191*c_0101_3^16 - 85243898310095679033881740077/34314550723275\ 8879070923191*c_0101_3^15 + 71492358358743237671137143906/343145507\ 232758879070923191*c_0101_3^14 + 465208303500287451889863798450/343\ 145507232758879070923191*c_0101_3^13 + 343141483281979186229023704812/343145507232758879070923191*c_0101_3\ ^12 - 836711949596126325608523313845/343145507232758879070923191*c_\ 0101_3^11 - 1102890875512165021988923935971/34314550723275887907092\ 3191*c_0101_3^10 + 633283119123192767624886772318/34314550723275887\ 9070923191*c_0101_3^9 + 1167078157765474441055781012031/34314550723\ 2758879070923191*c_0101_3^8 - 244914297803892261522159027339/343145\ 507232758879070923191*c_0101_3^7 - 566086116832009174196083906705/343145507232758879070923191*c_0101_3\ ^6 + 102518037669233198351219880717/343145507232758879070923191*c_0\ 101_3^5 + 127521508860814325131502127811/34314550723275887907092319\ 1*c_0101_3^4 - 43547610407307053693449796784/3431455072327588790709\ 23191*c_0101_3^3 - 8052733926744547485676271845/3431455072327588790\ 70923191*c_0101_3^2 + 5106354311053215957032958076/3431455072327588\ 79070923191*c_0101_3 - 321653821191746801815298214/3431455072327588\ 79070923191, c_0101_1 - 170334066100941406596174237/343145507232758879070923191*c_01\ 01_3^19 - 44351107053352183048130069/343145507232758879070923191*c_\ 0101_3^18 + 5095612335670408310671566626/34314550723275887907092319\ 1*c_0101_3^17 + 24978446583870127297503987692/343145507232758879070\ 923191*c_0101_3^16 + 51744855350073283112681525697/3431455072327588\ 79070923191*c_0101_3^15 - 11810641936538319737403266819/34314550723\ 2758879070923191*c_0101_3^14 - 233905020845053869385493489037/34314\ 5507232758879070923191*c_0101_3^13 - 273267634981660602075738628297/343145507232758879070923191*c_0101_3\ ^12 + 303396581259336273610954106964/343145507232758879070923191*c_\ 0101_3^11 + 707092302561865404388566551103/343145507232758879070923\ 191*c_0101_3^10 - 33873701948971979793118080384/3431455072327588790\ 70923191*c_0101_3^9 - 667711063310727446667300713390/34314550723275\ 8879070923191*c_0101_3^8 - 139648023357136453158183275274/343145507\ 232758879070923191*c_0101_3^7 + 291478832600273206397877087978/3431\ 45507232758879070923191*c_0101_3^6 + 58612170835535925843952453692/343145507232758879070923191*c_0101_3^\ 5 - 68228892591035285671217805577/343145507232758879070923191*c_010\ 1_3^4 + 1710473386644940272981100959/343145507232758879070923191*c_\ 0101_3^3 + 8803758612109530037052246755/343145507232758879070923191\ *c_0101_3^2 - 1622703055757310368685403702/343145507232758879070923\ 191*c_0101_3 - 304923238122307295937366349/343145507232758879070923\ 191, c_0101_3^20 - 30*c_0101_3^18 - 139*c_0101_3^17 - 265*c_0101_3^16 + 155*c_0101_3^15 + 1377*c_0101_3^14 + 1273*c_0101_3^13 - 2255*c_0101_3^12 - 3870*c_0101_3^11 + 1231*c_0101_3^10 + 4238*c_0101_3^9 + 66*c_0101_3^8 - 2243*c_0101_3^7 - 163*c_0101_3^6 + 632*c_0101_3^5 - 15*c_0101_3^4 - 94*c_0101_3^3 + 13*c_0101_3^2 + 6*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB