Magma V2.19-8 Tue Aug 20 2013 16:18:33 on localhost [Seed = 3836049878] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2734 geometric_solution 5.97932150 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -1 0 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 -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.783255423984 1.155704684037 0 3 5 4 0132 0132 0132 0132 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 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.749802270172 0.830354909464 3 0 4 5 2310 0132 3201 2310 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 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.749802270172 0.830354909464 3 1 2 3 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.184863696147 0.733531470282 2 6 1 6 2310 0132 0132 1023 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 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.951136674801 0.431819023124 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709162945944 0.696701972816 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 1 0 -1 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 0 1 -1 -1 0 1 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.616926122912 0.181627967232 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], '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' : d['c_0101_3'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1225140529591503114513882185314295584560958488505/25281778511038260\ 5491573888956260729881452785248*c_0110_6^20 - 5160911343353881911234086774901731219840087376929/25281778511038260\ 5491573888956260729881452785248*c_0110_6^19 + 5852897254547683535081390000353755008446996525509/25281778511038260\ 5491573888956260729881452785248*c_0110_6^18 + 23555991185143078774429244231878414673310489804485/2528177851103826\ 05491573888956260729881452785248*c_0110_6^17 - 4331010446006488815589144537973418701125689878531/25281778511038260\ 5491573888956260729881452785248*c_0110_6^16 + 1550724910856710410597861009750384500080683531491/12640889255519130\ 2745786944478130364940726392624*c_0110_6^15 + 19869905889125417181850084753758996141677709632271/2528177851103826\ 05491573888956260729881452785248*c_0110_6^14 - 33232002146527541051404502712559027566643779456073/1264088925551913\ 02745786944478130364940726392624*c_0110_6^13 + 3777764689222305360669562647898903838085160425321/31602223138797825\ 686446736119532591235181598156*c_0110_6^12 + 38545865521779480852716578250690289383223213893379/1264088925551913\ 02745786944478130364940726392624*c_0110_6^11 - 351593574800463210354759194023215422582093003264957/252817785110382\ 605491573888956260729881452785248*c_0110_6^10 - 127436410463336357105008792306796037702601470309189/632044462775956\ 51372893472239065182470363196312*c_0110_6^9 - 18069403897692541115312937272282269311348154002359/2528177851103826\ 05491573888956260729881452785248*c_0110_6^8 + 6535969853772097507835860569820897519673741028133/48618804828919731\ 82530267095312706343874092024*c_0110_6^7 + 109611262163874898677460330686019859635340178174637/126408892555191\ 302745786944478130364940726392624*c_0110_6^6 - 560455299705187397041720931453778154089775277457/972376096578394636\ 5060534190625412687748184048*c_0110_6^5 - 6333295258802854023986758431381075126438689503505/19447521931567892\ 730121068381250825375496368096*c_0110_6^4 - 18209249769678124886539737952236773081884625709479/2528177851103826\ 05491573888956260729881452785248*c_0110_6^3 + 537925201689871083533068514207082996980743207585/194475219315678927\ 30121068381250825375496368096*c_0110_6^2 + 692991096331937425403255977805520792445213128439/632044462775956513\ 72893472239065182470363196312*c_0110_6 - 105848437574001372400889887840679822680092189477/158011115693989128\ 43223368059766295617590799078, c_0011_0 - 1, c_0011_4 + 469014544292546757163301069903843505373196955/24309402414459\ 86591265133547656353171937046012*c_0110_6^20 + 3227595032333948005901423258631522058651447559/24309402414459865912\ 65133547656353171937046012*c_0110_6^19 + 2481650555657325347518073684646546500492361657/24309402414459865912\ 65133547656353171937046012*c_0110_6^18 - 15880444663352278459343079445979020510786001467/2430940241445986591\ 265133547656353171937046012*c_0110_6^17 - 15591544750975942376528566945133998964370133035/2430940241445986591\ 265133547656353171937046012*c_0110_6^16 + 1156521898131244632536371796491300637259395831/12154701207229932956\ 32566773828176585968523006*c_0110_6^15 - 23028228706694953030181502969380336537162047205/2430940241445986591\ 265133547656353171937046012*c_0110_6^14 + 9245143555302090957856952088731882603171981045/12154701207229932956\ 32566773828176585968523006*c_0110_6^13 + 10194981355614195092204909214532410025677533493/6077350603614966478\ 16283386914088292984261503*c_0110_6^12 - 37473063469954519567236855347577895106258745387/1215470120722993295\ 632566773828176585968523006*c_0110_6^11 + 111817821142136032893096126997268382502124221635/243094024144598659\ 1265133547656353171937046012*c_0110_6^10 + 126956852514486231317708036225270228557176501999/607735060361496647\ 816283386914088292984261503*c_0110_6^9 + 408397464572563512476385049928425123640631626261/243094024144598659\ 1265133547656353171937046012*c_0110_6^8 - 6809055288923625867396543616483979176109296489/60773506036149664781\ 6283386914088292984261503*c_0110_6^7 - 110814195213842386925406231473252173410883123081/121547012072299329\ 5632566773828176585968523006*c_0110_6^6 - 76262585707388666929599688788605737081963091377/1215470120722993295\ 632566773828176585968523006*c_0110_6^5 - 29178695267391723247875428478047980002448035005/2430940241445986591\ 265133547656353171937046012*c_0110_6^4 + 20833462948312963137832449672742461843106928529/2430940241445986591\ 265133547656353171937046012*c_0110_6^3 + 14734860235303760597869310538430506462776076341/2430940241445986591\ 265133547656353171937046012*c_0110_6^2 + 1301379331300311024113686779135957829714471336/60773506036149664781\ 6283386914088292984261503*c_0110_6 + 223529889613621444272931874499187235775822500/607735060361496647816\ 283386914088292984261503, c_0101_0 - 771418272464362831595013285738313757855508080/60773506036149\ 6647816283386914088292984261503*c_0110_6^20 - 2378116296620785880166122688111058550269756839/60773506036149664781\ 6283386914088292984261503*c_0110_6^19 + 6217962030700308973841615026737667005408475499/60773506036149664781\ 6283386914088292984261503*c_0110_6^18 + 7833285312896654050562537090288392945881438919/60773506036149664781\ 6283386914088292984261503*c_0110_6^17 - 8895103439350828800232906151745434146497362037/60773506036149664781\ 6283386914088292984261503*c_0110_6^16 + 9687956091813770542694663518292981511834130127/60773506036149664781\ 6283386914088292984261503*c_0110_6^15 - 3145434403429510912401134662729513804229229510/60773506036149664781\ 6283386914088292984261503*c_0110_6^14 - 33356269298008201827419061688706816599306099297/6077350603614966478\ 16283386914088292984261503*c_0110_6^13 + 45911185000833449489353172699840155562740993687/6077350603614966478\ 16283386914088292984261503*c_0110_6^12 - 3013417045076899580974889630227524956569956456/60773506036149664781\ 6283386914088292984261503*c_0110_6^11 - 196993654984194471589543901685625134177679395969/607735060361496647\ 816283386914088292984261503*c_0110_6^10 - 126850466850928553252644789639973804785244234202/607735060361496647\ 816283386914088292984261503*c_0110_6^9 + 112890883139994667376230350665287874399002595987/607735060361496647\ 816283386914088292984261503*c_0110_6^8 + 160417213870163046540229689159864143462671076054/607735060361496647\ 816283386914088292984261503*c_0110_6^7 + 54442707604531986580417422237204349993846530889/6077350603614966478\ 16283386914088292984261503*c_0110_6^6 - 31703969624642050254495523804495571731412026931/6077350603614966478\ 16283386914088292984261503*c_0110_6^5 - 33548117500450676997478527572079176935849700281/6077350603614966478\ 16283386914088292984261503*c_0110_6^4 - 6991391110840674659735581296226975874547831588/60773506036149664781\ 6283386914088292984261503*c_0110_6^3 - 183728257975098799267167196150843010957147986/607735060361496647816\ 283386914088292984261503*c_0110_6^2 + 917847213792139541088687396266538397623567418/607735060361496647816\ 283386914088292984261503*c_0110_6 + 497910286846092719394477501592374370378399776/607735060361496647816\ 283386914088292984261503, c_0101_1 + 391674785570418907779829531157791234863174800/60773506036149\ 6647816283386914088292984261503*c_0110_6^20 + 1108572568405730056580467180524623103525435390/60773506036149664781\ 6283386914088292984261503*c_0110_6^19 - 3538064174057964821757507441747111863313438090/60773506036149664781\ 6283386914088292984261503*c_0110_6^18 - 3435940004852383797916377256467136088074815497/60773506036149664781\ 6283386914088292984261503*c_0110_6^17 + 5981489916701015312348949953626423948419777311/60773506036149664781\ 6283386914088292984261503*c_0110_6^16 - 5387781053193763423917098010518603242880805101/60773506036149664781\ 6283386914088292984261503*c_0110_6^15 + 2853678653315996080384482457569641657606914462/60773506036149664781\ 6283386914088292984261503*c_0110_6^14 + 17973477386730283294956316041431002881933282918/6077350603614966478\ 16283386914088292984261503*c_0110_6^13 - 28427394081073036448155344685055845945404411171/6077350603614966478\ 16283386914088292984261503*c_0110_6^12 + 5731720067731038431769339024074965658582527330/60773506036149664781\ 6283386914088292984261503*c_0110_6^11 + 102614028792902188508900522709147616034286788661/607735060361496647\ 816283386914088292984261503*c_0110_6^10 + 36847685151943961609956034395919158867550340433/6077350603614966478\ 16283386914088292984261503*c_0110_6^9 - 87553590024192265617161884023911883580919772401/6077350603614966478\ 16283386914088292984261503*c_0110_6^8 - 87136959667259963841291624582620308746741699179/6077350603614966478\ 16283386914088292984261503*c_0110_6^7 - 20013850757949629467390602017439701280431253454/6077350603614966478\ 16283386914088292984261503*c_0110_6^6 + 28522616964728220866449044220999231690319336541/6077350603614966478\ 16283386914088292984261503*c_0110_6^5 + 25542313386816917312438512397541861012796830566/6077350603614966478\ 16283386914088292984261503*c_0110_6^4 + 3720193636799147649166852998954273638992636511/60773506036149664781\ 6283386914088292984261503*c_0110_6^3 - 631034316390199861765756113733469799117192574/607735060361496647816\ 283386914088292984261503*c_0110_6^2 - 947091777047783353823052667738172558919222024/607735060361496647816\ 283386914088292984261503*c_0110_6 - 731496563641120644877027458120031553571884567/607735060361496647816\ 283386914088292984261503, c_0101_2 + 609476854846632758324273802458958063936139635/24309402414459\ 86591265133547656353171937046012*c_0110_6^20 + 3325223687317500893029849004221310814712683603/24309402414459865912\ 65133547656353171937046012*c_0110_6^19 + 1139622791688504180940078485225349350121521253/24309402414459865912\ 65133547656353171937046012*c_0110_6^18 - 12213477051906960518293143634047101011078345927/2430940241445986591\ 265133547656353171937046012*c_0110_6^17 - 17200195531806587463059931447624170321257236343/2430940241445986591\ 265133547656353171937046012*c_0110_6^16 - 4538099924017493773256293556480015591758007137/12154701207229932956\ 32566773828176585968523006*c_0110_6^15 - 10820908177207919415372647390129238814102288673/2430940241445986591\ 265133547656353171937046012*c_0110_6^14 + 3920719200380138954663771877519952663886988557/12154701207229932956\ 32566773828176585968523006*c_0110_6^13 + 6522651161524902606946792570135392933442136609/60773506036149664781\ 6283386914088292984261503*c_0110_6^12 - 13855684108252931143963098719129125302658424175/1215470120722993295\ 632566773828176585968523006*c_0110_6^11 + 95509768271910660238638472557530051239902027095/2430940241445986591\ 265133547656353171937046012*c_0110_6^10 + 117576283481976153628408267772508183472403914332/607735060361496647\ 816283386914088292984261503*c_0110_6^9 + 518198173597492307300571872446238464893553240105/243094024144598659\ 1265133547656353171937046012*c_0110_6^8 + 25525267555059028145021492944517707314861846066/6077350603614966478\ 16283386914088292984261503*c_0110_6^7 - 103132944005745039914439526467437749841073462345/121547012072299329\ 5632566773828176585968523006*c_0110_6^6 - 97162213535602695835891873975848063801617573583/1215470120722993295\ 632566773828176585968523006*c_0110_6^5 - 69669529513904036205510100197254901687305645661/2430940241445986591\ 265133547656353171937046012*c_0110_6^4 + 14649812625068980614374378438244346317240956641/2430940241445986591\ 265133547656353171937046012*c_0110_6^3 + 17428821656066019238375791545657662842549099829/2430940241445986591\ 265133547656353171937046012*c_0110_6^2 + 1066417656550945081276376373412228864376470292/60773506036149664781\ 6283386914088292984261503*c_0110_6 + 319838190864891867957889802073661481466195168/607735060361496647816\ 283386914088292984261503, c_0101_3 + 184127491113564476272408172277491739207938095/24309402414459\ 86591265133547656353171937046012*c_0110_6^20 + 369142188171663346912536730545859966134532741/243094024144598659126\ 5133547656353171937046012*c_0110_6^19 - 1317881822853988781776419236582904972077581089/24309402414459865912\ 65133547656353171937046012*c_0110_6^18 + 2182574655916090860643945567754069469556026139/24309402414459865912\ 65133547656353171937046012*c_0110_6^17 - 1727722443218484109381105836501480535395622157/24309402414459865912\ 65133547656353171937046012*c_0110_6^16 - 3037397436292019483111280647905206475739301047/60773506036149664781\ 6283386914088292984261503*c_0110_6^15 + 10057980298432596159099284427206994972861656227/2430940241445986591\ 265133547656353171937046012*c_0110_6^14 - 1038627276143411034397688752661536581701901914/60773506036149664781\ 6283386914088292984261503*c_0110_6^13 - 4008331918673235246787693418198261512394895907/60773506036149664781\ 6283386914088292984261503*c_0110_6^12 + 20992405156168669986145732455378519751731208139/1215470120722993295\ 632566773828176585968523006*c_0110_6^11 + 3836379484971605155779192705708720857134052439/24309402414459865912\ 65133547656353171937046012*c_0110_6^10 - 6564685442475113122988412722062518820209660457/12154701207229932956\ 32566773828176585968523006*c_0110_6^9 + 127378343010440135919426037951620697855220281013/243094024144598659\ 1265133547656353171937046012*c_0110_6^8 + 68801792929357399533067310643449171226037250593/1215470120722993295\ 632566773828176585968523006*c_0110_6^7 - 12342318184722138163248736275619065559210635259/1215470120722993295\ 632566773828176585968523006*c_0110_6^6 - 47905849825564806639911933653500198088875959987/1215470120722993295\ 632566773828176585968523006*c_0110_6^5 - 48317961109236614974655633685058259990018357137/2430940241445986591\ 265133547656353171937046012*c_0110_6^4 + 6480222052115775828713986848916560000535452555/24309402414459865912\ 65133547656353171937046012*c_0110_6^3 + 11053274443698463811254044170902189195514066635/2430940241445986591\ 265133547656353171937046012*c_0110_6^2 + 505415675133549918268223760436266615320820421/121547012072299329563\ 2566773828176585968523006*c_0110_6 + 104114233475108887781376351413490535169249712/607735060361496647816\ 283386914088292984261503, c_0110_6^21 + 19/5*c_0110_6^20 - 27/5*c_0110_6^19 - 71/5*c_0110_6^18 + 71/35*c_0110_6^17 - 52/5*c_0110_6^16 - 169/35*c_0110_6^15 + 40*c_0110_6^14 - 156/5*c_0110_6^13 - 778/35*c_0110_6^12 + 1221/5*c_0110_6^11 + 11918/35*c_0110_6^10 + 2741/35*c_0110_6^9 - 5454/35*c_0110_6^8 - 1054/7*c_0110_6^7 - 1262/35*c_0110_6^6 + 117/5*c_0110_6^5 + 543/35*c_0110_6^4 + 17/5*c_0110_6^3 + 18/35*c_0110_6^2 - 8/35 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB