Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 1831661965] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0655 geometric_solution 4.63749491 oriented_manifold CS_known -0.0000000000000001 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 -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 1.397067869290 0.106556387731 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 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.159986280659 0.114981029193 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 1 0 -1 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 1.185064767012 0.352141914462 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 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 -1 1 -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.530465713897 0.461197797270 6 3 5 5 0132 0132 2103 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553196796346 1.070756659281 4 4 6 3 2103 2310 1023 0132 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 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.553196796346 1.070756659281 4 6 5 6 0132 1302 1023 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 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.446577370329 0.330505000236 ==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' : 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_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], '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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], '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' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), '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_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_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_5, c_0101_0, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 26721910944437638422336285984810154828/6713546553963564985350125022\ 39517949*c_0101_6^20 - 721754419229228631188406002643951494056/6713\ 54655396356498535012502239517949*c_0101_6^19 + 6527870797003131788188353063795513578011/67135465539635649853501250\ 2239517949*c_0101_6^18 - 29181582022440080230723170201240071738/671\ 354655396356498535012502239517949*c_0101_6^17 - 28025869175889830221629893069791304481045/6713546553963564985350125\ 02239517949*c_0101_6^16 + 7644699089405397399738790647002719190587/\ 671354655396356498535012502239517949*c_0101_6^15 - 24893793834111940906061921252868433900325/6713546553963564985350125\ 02239517949*c_0101_6^14 + 29082925798873007686805744173825302024060\ /671354655396356498535012502239517949*c_0101_6^13 + 220555675292183894081287133003115777427617/671354655396356498535012\ 502239517949*c_0101_6^12 - 1747314022095319605961275145640978362189\ 19/671354655396356498535012502239517949*c_0101_6^11 - 221006510829051601353816134554846558030356/671354655396356498535012\ 502239517949*c_0101_6^10 + 1870585024577279387550802195443450105951\ 90/671354655396356498535012502239517949*c_0101_6^9 - 36924739896498328748545740266400224156423/6713546553963564985350125\ 02239517949*c_0101_6^8 + 29385813553038737082182382296052903695718/\ 671354655396356498535012502239517949*c_0101_6^7 + 64327210926790040039535753211880253349596/6713546553963564985350125\ 02239517949*c_0101_6^6 - 50648376614358261383731450936440605349261/\ 671354655396356498535012502239517949*c_0101_6^5 - 16675598935231552667462438791563026787409/6713546553963564985350125\ 02239517949*c_0101_6^4 + 8143028025849894481609017999993396257429/6\ 71354655396356498535012502239517949*c_0101_6^3 + 990983715398965853316228785546700840552/671354655396356498535012502\ 239517949*c_0101_6^2 - 181136079246280736983843731238822404193/6713\ 54655396356498535012502239517949*c_0101_6 + 88956809156931464427679037602822087894/6713546553963564985350125022\ 39517949, c_0011_0 - 1, c_0011_1 + 957128493121964597905693387718055836/67135465539635649853501\ 2502239517949*c_0101_6^20 - 25469304387482105149032620198542453993/\ 671354655396356498535012502239517949*c_0101_6^19 + 223962179151463920023907335238150807054/671354655396356498535012502\ 239517949*c_0101_6^18 + 79935590290861914820006175298736745058/6713\ 54655396356498535012502239517949*c_0101_6^17 - 899403555196978354585788269149123206115/671354655396356498535012502\ 239517949*c_0101_6^16 - 24948036043955501144998027636025085066/6713\ 54655396356498535012502239517949*c_0101_6^15 - 1179855648916531984056064873378270002376/67135465539635649853501250\ 2239517949*c_0101_6^14 + 431581777547062463383305884161002470538/67\ 1354655396356498535012502239517949*c_0101_6^13 + 7603575519588461379226219551100888216247/67135465539635649853501250\ 2239517949*c_0101_6^12 - 3283169109542178162386344454791170520161/6\ 71354655396356498535012502239517949*c_0101_6^11 - 6665536879354777107999276390900638932180/67135465539635649853501250\ 2239517949*c_0101_6^10 + 4110154926973239025848141165358516269986/6\ 71354655396356498535012502239517949*c_0101_6^9 - 1909017589154790128472419319835462599087/67135465539635649853501250\ 2239517949*c_0101_6^8 + 606397345384463442140969547876474052055/671\ 354655396356498535012502239517949*c_0101_6^7 + 2051527669366579302731020436720337273061/67135465539635649853501250\ 2239517949*c_0101_6^6 - 973588456269318706220222586134426496643/671\ 354655396356498535012502239517949*c_0101_6^5 - 301215550091916181190276840171285243284/671354655396356498535012502\ 239517949*c_0101_6^4 + 174941135304640010134500968096626563197/6713\ 54655396356498535012502239517949*c_0101_6^3 - 3378383279882658448588326580805406341/67135465539635649853501250223\ 9517949*c_0101_6^2 - 7974046280220201611820856893717136886/67135465\ 5396356498535012502239517949*c_0101_6 + 1271029064923024221939374010561016084/67135465539635649853501250223\ 9517949, c_0011_5 - 82835294047754555990055754032170260/671354655396356498535012\ 502239517949*c_0101_6^20 + 2092186419934899262678440004648362339/67\ 1354655396356498535012502239517949*c_0101_6^19 - 16450805369797433449021244608049279403/6713546553963564985350125022\ 39517949*c_0101_6^18 - 31837393826222974074532053082514196364/67135\ 4655396356498535012502239517949*c_0101_6^17 + 57498764689947454445912135349985174681/6713546553963564985350125022\ 39517949*c_0101_6^16 + 96927430125048619157320782104877472070/67135\ 4655396356498535012502239517949*c_0101_6^15 + 148417956637013636539282762577323321287/671354655396356498535012502\ 239517949*c_0101_6^14 + 126941390009007588975478830477295254778/671\ 354655396356498535012502239517949*c_0101_6^13 - 640722652958971905988935627961729410848/671354655396356498535012502\ 239517949*c_0101_6^12 - 591040423117268976104279370846723399737/671\ 354655396356498535012502239517949*c_0101_6^11 + 558824448799680574053816681230012141792/671354655396356498535012502\ 239517949*c_0101_6^10 + 377290543408190372555637431774957605063/671\ 354655396356498535012502239517949*c_0101_6^9 + 78212912475633649810565661070097033040/6713546553963564985350125022\ 39517949*c_0101_6^8 + 143703643857633500037598967982794364204/67135\ 4655396356498535012502239517949*c_0101_6^7 - 215576290858607605008063835697612436024/671354655396356498535012502\ 239517949*c_0101_6^6 - 136128569805407396007115741156606768469/6713\ 54655396356498535012502239517949*c_0101_6^5 + 16410783660793338438589640698386957690/6713546553963564985350125022\ 39517949*c_0101_6^4 + 15602106495596911985838172135674725710/671354\ 655396356498535012502239517949*c_0101_6^3 + 6408660864274650479600534006617117842/67135465539635649853501250223\ 9517949*c_0101_6^2 + 63009689587685469731895342011268934/6713546553\ 96356498535012502239517949*c_0101_6 - 165340549717279834532561297101716527/671354655396356498535012502239\ 517949, c_0101_0 + 1023877397802715933795582828125547548/6713546553963564985350\ 12502239517949*c_0101_6^20 - 27382657453805150851622273516101866553\ /671354655396356498535012502239517949*c_0101_6^19 + 242857025539601545549964718888956802695/671354655396356498535012502\ 239517949*c_0101_6^18 + 63218236255246403858299052181351326563/6713\ 54655396356498535012502239517949*c_0101_6^17 - 1057266455532841390697554404940395584389/67135465539635649853501250\ 2239517949*c_0101_6^16 + 38712633578330951245032106491662657463/671\ 354655396356498535012502239517949*c_0101_6^15 - 930615595271552431943512009716734611113/671354655396356498535012502\ 239517949*c_0101_6^14 + 769038859513401175801781889425872189844/671\ 354655396356498535012502239517949*c_0101_6^13 + 8582295791550813271416280430677389059819/67135465539635649853501250\ 2239517949*c_0101_6^12 - 4582190630368283026399160462744752579551/6\ 71354655396356498535012502239517949*c_0101_6^11 - 9632569606395765091657044688965995869559/67135465539635649853501250\ 2239517949*c_0101_6^10 + 5479380346491297765517709223275439509636/6\ 71354655396356498535012502239517949*c_0101_6^9 + 60712297513285804918130471279264819750/6713546553963564985350125022\ 39517949*c_0101_6^8 + 401591690483029428561631770728813678979/67135\ 4655396356498535012502239517949*c_0101_6^7 + 2614683520574495035394279990107084072930/67135465539635649853501250\ 2239517949*c_0101_6^6 - 1402187022180197293455174365831866707256/67\ 1354655396356498535012502239517949*c_0101_6^5 - 1000791299055058910960474493396154376700/67135465539635649853501250\ 2239517949*c_0101_6^4 + 279584591448262414995747804476318400186/671\ 354655396356498535012502239517949*c_0101_6^3 + 120597608477560285790989140296171346633/671354655396356498535012502\ 239517949*c_0101_6^2 - 11943118597970698840608004871069273830/67135\ 4655396356498535012502239517949*c_0101_6 - 3353838414276336153383967484692383497/67135465539635649853501250223\ 9517949, c_0101_2 + 236358353331570987525736184913361601/67135465539635649853501\ 2502239517949*c_0101_6^20 - 6099404160596788582968445726947322999/6\ 71354655396356498535012502239517949*c_0101_6^19 + 50036935246989192714162797706767915497/6713546553963564985350125022\ 39517949*c_0101_6^18 + 69729723389457916004612425217287078165/67135\ 4655396356498535012502239517949*c_0101_6^17 - 252985225018877272893892608578916023208/671354655396356498535012502\ 239517949*c_0101_6^16 - 223164120833769474829784835754901674505/671\ 354655396356498535012502239517949*c_0101_6^15 - 117447415922051346611752104891165170197/671354655396356498535012502\ 239517949*c_0101_6^14 - 42204723798243884216783334984521291926/6713\ 54655396356498535012502239517949*c_0101_6^13 + 2266512491160950714668610821526903963718/67135465539635649853501250\ 2239517949*c_0101_6^12 + 738398450248626403588623426088259830236/67\ 1354655396356498535012502239517949*c_0101_6^11 - 3940627573806819200576596717885643103491/67135465539635649853501250\ 2239517949*c_0101_6^10 - 326681285792818217675799805449655933496/67\ 1354655396356498535012502239517949*c_0101_6^9 + 1757590944424895192502380027282217285339/67135465539635649853501250\ 2239517949*c_0101_6^8 - 460953325877910498464832361240857465428/671\ 354655396356498535012502239517949*c_0101_6^7 + 954977301153731616296423004959028043446/671354655396356498535012502\ 239517949*c_0101_6^6 + 136293674407034330998031253088489799240/6713\ 54655396356498535012502239517949*c_0101_6^5 - 696866466310914016069411489649730269857/671354655396356498535012502\ 239517949*c_0101_6^4 - 7380027227069602701312562817364751672/671354\ 655396356498535012502239517949*c_0101_6^3 + 101962507607840796747426412019324370194/671354655396356498535012502\ 239517949*c_0101_6^2 + 717049856351719358369325953546850274/6713546\ 55396356498535012502239517949*c_0101_6 - 3433730663010114677678420983728556651/67135465539635649853501250223\ 9517949, c_0101_4 - 914075399762659188566927685520836546/67135465539635649853501\ 2502239517949*c_0101_6^20 + 24363111433541165583976558624522407018/\ 671354655396356498535012502239517949*c_0101_6^19 - 214923133297071223004700921045628339411/671354655396356498535012502\ 239517949*c_0101_6^18 - 67510483527193717762430004914731980733/6713\ 54655396356498535012502239517949*c_0101_6^17 + 865939304723059798796460314577774483038/671354655396356498535012502\ 239517949*c_0101_6^16 - 13955391288026527590764553218162488514/6713\ 54655396356498535012502239517949*c_0101_6^15 + 1109370110671048220590034974750856481618/67135465539635649853501250\ 2239517949*c_0101_6^14 - 454606627000784292095505469209717663128/67\ 1354655396356498535012502239517949*c_0101_6^13 - 7255508051560594250996765685929451438000/67135465539635649853501250\ 2239517949*c_0101_6^12 + 3472252027777881508311229690247170387405/6\ 71354655396356498535012502239517949*c_0101_6^11 + 6356401271893363859584384769202637305010/67135465539635649853501250\ 2239517949*c_0101_6^10 - 4317702005458338223770246584627309660004/6\ 71354655396356498535012502239517949*c_0101_6^9 + 1860362905574910345950215928534566735021/67135465539635649853501250\ 2239517949*c_0101_6^8 - 550449255794408096270306225314804288772/671\ 354655396356498535012502239517949*c_0101_6^7 - 1950053100316172821912265603328130102721/67135465539635649853501250\ 2239517949*c_0101_6^6 + 1045562378217983374071512612887114436540/67\ 1354655396356498535012502239517949*c_0101_6^5 + 281897444143786141459295256768558663418/671354655396356498535012502\ 239517949*c_0101_6^4 - 207612068660477752712685343924552399285/6713\ 54655396356498535012502239517949*c_0101_6^3 - 2168750000200413821301918501683406502/67135465539635649853501250223\ 9517949*c_0101_6^2 + 10374673809475449399230656780964631030/6713546\ 55396356498535012502239517949*c_0101_6 - 775159943819779268734799396781839719/671354655396356498535012502239\ 517949, c_0101_6^21 - 27*c_0101_6^20 + 244*c_0101_6^19 + 2*c_0101_6^18 - 1056*c_0101_6^17 + 288*c_0101_6^16 - 890*c_0101_6^15 + 1026*c_0101_6^14 + 8248*c_0101_6^13 - 6568*c_0101_6^12 - 8561*c_0101_6^11 + 7522*c_0101_6^10 - 982*c_0101_6^9 + 505*c_0101_6^8 + 2402*c_0101_6^7 - 1946*c_0101_6^6 - 726*c_0101_6^5 + 475*c_0101_6^4 + 84*c_0101_6^3 - 38*c_0101_6^2 - 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB