Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 2766485568] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0621 geometric_solution 4.62244776 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 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 -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.249777672858 0.263595893151 0 0 2 2 2310 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560748103059 0.247551801886 1 3 1 4 2310 0132 0132 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 0 0 0 -1 0 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.991252138550 0.233702812868 4 2 5 4 3120 0132 0132 1230 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 -1 0 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 0 0.783676835000 0.566618977361 3 5 2 3 3012 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 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.783676835000 0.566618977361 6 4 6 3 0132 0132 2310 0132 0 0 0 0 0 0 0 0 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 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 1.893455251775 1.424957711991 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 1 0 -1 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210078489917 0.436128057806 ==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' : 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_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_2'], 'c_0101_2' : negation(d['c_0101_0']), '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' : d['c_0011_4'], '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' : d['c_0011_2'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_1001_3'], '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_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 4510854120539259115878591613147595506839644431/12027486494839797565\ 735426721825196465288423459*c_1001_3^18 - 5890547181843122068853324031960408097394786134/40091621649465991885\ 78475573941732155096141153*c_1001_3^17 - 84174433172544137551804239321832585196281642862/1202748649483979756\ 5735426721825196465288423459*c_1001_3^16 + 106467813113010697071256532902554503622054752972/120274864948397975\ 65735426721825196465288423459*c_1001_3^15 + 133360086581420570668569569840178605738518615690/120274864948397975\ 65735426721825196465288423459*c_1001_3^14 - 2254047698926851309075023613386226198804190631303/12027486494839797\ 565735426721825196465288423459*c_1001_3^13 - 2198119072439856660283857672906579300741888143635/12027486494839797\ 565735426721825196465288423459*c_1001_3^12 + 7341713619812414233200582375325117671884354870941/40091621649465991\ 88578475573941732155096141153*c_1001_3^11 + 2343604301818810513292625544847104408389946234381/12027486494839797\ 565735426721825196465288423459*c_1001_3^10 - 41777819906114145389677582738375192191781875484573/4009162164946599\ 188578475573941732155096141153*c_1001_3^9 - 25058563298171083412222552107214968134380008310146/1202748649483979\ 7565735426721825196465288423459*c_1001_3^8 + 307364017927707785690594117285532122789371712851312/120274864948397\ 97565735426721825196465288423459*c_1001_3^7 + 158117449178451187235903376523304223872624027402497/120274864948397\ 97565735426721825196465288423459*c_1001_3^6 - 74764413099870461235315667866706540366834596628375/4009162164946599\ 188578475573941732155096141153*c_1001_3^5 - 140708578837560121967686935366940492910163233876926/120274864948397\ 97565735426721825196465288423459*c_1001_3^4 + 784104615919577074956811676276436354835177163650/293353329142434086\ 969156749312809669885083499*c_1001_3^3 + 19041288490456033376347439984526114268342958403988/1202748649483979\ 7565735426721825196465288423459*c_1001_3^2 + 2061154438451843132805026956366277359356558119036/12027486494839797\ 565735426721825196465288423459*c_1001_3 + 173811057405569996594087481827545988376978918788/120274864948397975\ 65735426721825196465288423459, c_0011_0 - 1, c_0011_2 + 437594937824875278630425297211311395257034/97784443047478028\ 989718916437603223295027833*c_1001_3^18 - 813774651534158337208349367349204294272697/325948143491593429965729\ 72145867741098342611*c_1001_3^17 - 4618527486006725803335807444533568967774130/97784443047478028989718\ 916437603223295027833*c_1001_3^16 + 20438012780489772028109509519711979365044110/9778444304747802898971\ 8916437603223295027833*c_1001_3^15 - 13618615126226248534721228712188645090246186/9778444304747802898971\ 8916437603223295027833*c_1001_3^14 - 214531618062179219603548286905330425385314185/977844430474780289897\ 18916437603223295027833*c_1001_3^13 + 143298985097569197090211755431094249453224609/977844430474780289897\ 18916437603223295027833*c_1001_3^12 + 717542672967959486954948986598009781013087248/325948143491593429965\ 72972145867741098342611*c_1001_3^11 - 3318152510169744548923016295200538693802127396/97784443047478028989\ 718916437603223295027833*c_1001_3^10 - 3057871189471061204608510613184590785029104321/32594814349159342996\ 572972145867741098342611*c_1001_3^9 + 14699191509036185725144907149390575726145067849/9778444304747802898\ 9718916437603223295027833*c_1001_3^8 + 18051410068879773515587382741632333160595844384/9778444304747802898\ 9718916437603223295027833*c_1001_3^7 - 22476564347407680309452432402612692922820788234/9778444304747802898\ 9718916437603223295027833*c_1001_3^6 - 4540984282136177739664142480048926898033799212/32594814349159342996\ 572972145867741098342611*c_1001_3^5 + 14980996513511580196400482614448120136857843322/9778444304747802898\ 9718916437603223295027833*c_1001_3^4 + 2585414207115210138096366701367034596241738298/97784443047478028989\ 718916437603223295027833*c_1001_3^3 - 3975420414917309733291853601768807377984846178/97784443047478028989\ 718916437603223295027833*c_1001_3^2 + 307409594255337646650981523330442868193108154/977844430474780289897\ 18916437603223295027833*c_1001_3 + 144684916383416012955463448597225932676827118/977844430474780289897\ 18916437603223295027833, c_0011_4 - 56701796254921848516943824744796483370/977844430474780289897\ 18916437603223295027833*c_1001_3^18 - 72795280011854060530405003818011307748986/3259481434915934299657297\ 2145867741098342611*c_1001_3^17 + 135847651694588930235606321638701\ 8354803737/97784443047478028989718916437603223295027833*c_1001_3^16 + 1384029931161236799236967264669390773792480/977844430474780289897\ 18916437603223295027833*c_1001_3^15 - 10605665132702675326858225614246739958029418/9778444304747802898971\ 8916437603223295027833*c_1001_3^14 + 13490006503569992134075806055424801869179043/9778444304747802898971\ 8916437603223295027833*c_1001_3^13 + 95250493545499139537618018805332318822089463/9778444304747802898971\ 8916437603223295027833*c_1001_3^12 - 41589582809394565886401126004970718442169331/3259481434915934299657\ 2972145867741098342611*c_1001_3^11 - 973471335619136107286409461051434194633581240/977844430474780289897\ 18916437603223295027833*c_1001_3^10 + 736379409082973660844798407389052487317859313/325948143491593429965\ 72972145867741098342611*c_1001_3^9 + 2939450992381170033667431045740421732611080505/97784443047478028989\ 718916437603223295027833*c_1001_3^8 - 8259471419704741813739969100733209523427513990/97784443047478028989\ 718916437603223295027833*c_1001_3^7 - 3666809046186651137508580682516611798612862009/97784443047478028989\ 718916437603223295027833*c_1001_3^6 + 3517656706851978919243282348039284022546195647/32594814349159342996\ 572972145867741098342611*c_1001_3^5 + 1231759936713083714880315934076443274925899018/97784443047478028989\ 718916437603223295027833*c_1001_3^4 - 5004021491370940483414292815379952733467582334/97784443047478028989\ 718916437603223295027833*c_1001_3^3 + 452237811225308730245467492708877219350207855/977844430474780289897\ 18916437603223295027833*c_1001_3^2 + 715769545853073021576664343565022153709376869/977844430474780289897\ 18916437603223295027833*c_1001_3 - 96799294998927205009776783936082270757844382/9778444304747802898971\ 8916437603223295027833, c_0101_0 - 222079880555171135257012237323042517269458/97784443047478028\ 989718916437603223295027833*c_1001_3^18 + 502305175291015998894869483127674757565038/325948143491593429965729\ 72145867741098342611*c_1001_3^17 + 564705255015292347608507291347617146868640/977844430474780289897189\ 16437603223295027833*c_1001_3^16 - 11392063438734541379509694038381313978787841/9778444304747802898971\ 8916437603223295027833*c_1001_3^15 + 20937367926099437865243955802236079447010298/9778444304747802898971\ 8916437603223295027833*c_1001_3^14 + 86561909373712912131716183832031824658061110/9778444304747802898971\ 8916437603223295027833*c_1001_3^13 - 183838892357477514175470319411005056634508960/977844430474780289897\ 18916437603223295027833*c_1001_3^12 - 294812216383646057639888801146820561228513705/325948143491593429965\ 72972145867741098342611*c_1001_3^11 + 2819961736357556958804634080906360513586253251/97784443047478028989\ 718916437603223295027833*c_1001_3^10 + 466451763429302344019674026063890907839620259/325948143491593429965\ 72972145867741098342611*c_1001_3^9 - 10001929093825873720988217310745069083845764056/9778444304747802898\ 9718916437603223295027833*c_1001_3^8 + 3070979055517860777449017770784321344249288901/97784443047478028989\ 718916437603223295027833*c_1001_3^7 + 11112594049641306925853996449184810499116503966/9778444304747802898\ 9718916437603223295027833*c_1001_3^6 - 2951686358667888713142441781100115307951386276/32594814349159342996\ 572972145867741098342611*c_1001_3^5 - 1952187618631012628408198516465563326807420784/97784443047478028989\ 718916437603223295027833*c_1001_3^4 + 4806422408711412347884342127914927994312613962/97784443047478028989\ 718916437603223295027833*c_1001_3^3 - 2077026597314626791299499531452608006814423036/97784443047478028989\ 718916437603223295027833*c_1001_3^2 + 305688650341921724850744876652677246377374406/977844430474780289897\ 18916437603223295027833*c_1001_3 + 71938105749534978461640358902953843166746918/9778444304747802898971\ 8916437603223295027833, c_0101_1 - 685510935006246277599983492825324962528/97784443047478028989\ 718916437603223295027833*c_1001_3^18 + 7903490256882213469727318571255556876986/32594814349159342996572972\ 145867741098342611*c_1001_3^17 - 1348722352215982014042201538387432\ 38080533/97784443047478028989718916437603223295027833*c_1001_3^16 - 12869715574616378849380990530720831932342/9778444304747802898971891\ 6437603223295027833*c_1001_3^15 + 923098942143297384054544526903358\ 451528226/97784443047478028989718916437603223295027833*c_1001_3^14 - 1981651489640318744374039651338190122930208/97784443047478028989718\ 916437603223295027833*c_1001_3^13 - 6390138444322394191100140427176855796138459/97784443047478028989718\ 916437603223295027833*c_1001_3^12 + 4751515826498556621489965584499099399247008/32594814349159342996572\ 972145867741098342611*c_1001_3^11 + 70659160297208287113555935211161160117255446/9778444304747802898971\ 8916437603223295027833*c_1001_3^10 - 84679180591348074262994949569048297474076653/3259481434915934299657\ 2972145867741098342611*c_1001_3^9 + 25111338532069286538037497864521753818952323/9778444304747802898971\ 8916437603223295027833*c_1001_3^8 + 689593626374317954268790049402369944647486393/977844430474780289897\ 18916437603223295027833*c_1001_3^7 - 700259708703460123865682526798010514272307892/977844430474780289897\ 18916437603223295027833*c_1001_3^6 - 85889116056186063382680239735849382825960950/3259481434915934299657\ 2972145867741098342611*c_1001_3^5 + 1143734128204937424815577055529553582825871588/97784443047478028989\ 718916437603223295027833*c_1001_3^4 - 502244648878498834912201557670364656382308961/977844430474780289897\ 18916437603223295027833*c_1001_3^3 - 354849895574975274952330601942194281300124978/977844430474780289897\ 18916437603223295027833*c_1001_3^2 + 287872989383280973515848394840412322681918698/977844430474780289897\ 18916437603223295027833*c_1001_3 - 109219349235862994103481528446484760582710961/977844430474780289897\ 18916437603223295027833, c_0101_5 - 775073120355636641110365730225770608192285/97784443047478028\ 989718916437603223295027833*c_1001_3^18 + 1428792476413175189815248902543625391012692/32594814349159342996572\ 972145867741098342611*c_1001_3^17 + 8256231701029836560841833264610697707614866/97784443047478028989718\ 916437603223295027833*c_1001_3^16 - 34968419937273382713773537088130061808599512/9778444304747802898971\ 8916437603223295027833*c_1001_3^15 + 23174797875593185727285647794238319387971855/9778444304747802898971\ 8916437603223295027833*c_1001_3^14 + 374983365488028215535840173420024187389140738/977844430474780289897\ 18916437603223295027833*c_1001_3^13 - 226967814260068328315239638282443092252381138/977844430474780289897\ 18916437603223295027833*c_1001_3^12 - 1256199542630157464549179041481793093850631743/32594814349159342996\ 572972145867741098342611*c_1001_3^11 + 5620028528408018736829367289918493446043601995/97784443047478028989\ 718916437603223295027833*c_1001_3^10 + 5317759481218704501906467418786726437157036650/32594814349159342996\ 572972145867741098342611*c_1001_3^9 - 23927396898443070393079032270710819394625639723/9778444304747802898\ 9718916437603223295027833*c_1001_3^8 - 31612563599529660636672362965866084156283956233/9778444304747802898\ 9718916437603223295027833*c_1001_3^7 + 33767439819186919468701699103131338261726769667/9778444304747802898\ 9718916437603223295027833*c_1001_3^6 + 8021781268641107368811498255952101254180688157/32594814349159342996\ 572972145867741098342611*c_1001_3^5 - 20437032779064311871516437311441722402189543340/9778444304747802898\ 9718916437603223295027833*c_1001_3^4 - 5190342619240060528093541738320749026904691306/97784443047478028989\ 718916437603223295027833*c_1001_3^3 + 4988497689188893585193285367239839933896678445/97784443047478028989\ 718916437603223295027833*c_1001_3^2 + 2757943938784101737014316191779175218078158/97784443047478028989718\ 916437603223295027833*c_1001_3 - 2120231048384716057092904184445576\ 04303451380/97784443047478028989718916437603223295027833, c_1001_3^19 - 5*c_1001_3^18 - 14*c_1001_3^17 + 42*c_1001_3^16 - 3*c_1001_3^15 - 520*c_1001_3^14 + 60*c_1001_3^13 + 5204*c_1001_3^12 - 4898*c_1001_3^11 - 26318*c_1001_3^10 + 24014*c_1001_3^9 + 63378*c_1001_3^8 - 37993*c_1001_3^7 - 62207*c_1001_3^6 + 31349*c_1001_3^5 + 22345*c_1001_3^4 - 12738*c_1001_3^3 - 1248*c_1001_3^2 + 907*c_1001_3 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB