Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 1713896122] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1764 geometric_solution 5.45026751 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 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 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.888142971831 0.792018745532 0 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.685116282494 0.137873495550 0 3 4 0 3201 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 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 0.805963978117 0.530340721812 5 2 6 4 0132 0132 0132 3201 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 -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 0.333671597434 0.845986080963 6 3 5 2 1023 2310 1023 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 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.333671597434 0.845986080963 3 6 4 6 0132 2031 1023 1302 0 0 0 0 0 1 0 -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 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.648262512409 0.614152748651 5 4 5 3 1302 1023 2031 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -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 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.137925442168 0.914737301420 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : 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' : negation(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' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 413675552344049241091270841693430775308594272159/137049826774629870\ 8044113044117619289401591936*c_0101_5^19 - 1618258826290508995996039433233271154393468123787/51393685040486201\ 5516542391544107233525596976*c_0101_5^18 + 509140377672499656428369200628569785385001760851/856561417341436692\ 52757065257351205587599496*c_0101_5^17 - 1012069863346797162771764981865820834061951240363/10278737008097240\ 31033084783088214467051193952*c_0101_5^16 - 4847632271959030178770714692289251802080843945041/19578546682089981\ 5434873292016802755628798848*c_0101_5^15 + 187234965602479115619722521580009380329260882479919/205574740161944\ 8062066169566176428934102387904*c_0101_5^14 - 15096236177337528663697556683426359907041011329833/2284163779577164\ 51340685507352936548233598656*c_0101_5^13 - 8081190278211512252587873173963857180633783103731/10278737008097240\ 31033084783088214467051193952*c_0101_5^12 + 8659386206325897446071117111750344752988587173645/73419550057837430\ 788077484506301033360799568*c_0101_5^11 - 2637055728131902575627584980012996902564378189351095/20557474016194\ 48062066169566176428934102387904*c_0101_5^10 - 857604833547742239227657589278293974875540162553775/205574740161944\ 8062066169566176428934102387904*c_0101_5^9 + 9816648386048132604160326690318525412079512453736683/41114948032388\ 96124132339132352857868204775808*c_0101_5^8 + 3458892734605694971932766045680055714468733167407227/41114948032388\ 96124132339132352857868204775808*c_0101_5^7 - 5135073163393529734231462576707573906202016647909501/41114948032388\ 96124132339132352857868204775808*c_0101_5^6 - 628955575728360700124110542452282571619866539236777/137049826774629\ 8708044113044117619289401591936*c_0101_5^5 + 19596624232137047902620267704715536902927253046529/1957854668208998\ 15434873292016802755628798848*c_0101_5^4 + 192912901013020082358735234862181489973735601753711/205574740161944\ 8062066169566176428934102387904*c_0101_5^3 - 54200230238446198102043721622987678859345615736791/2055747401619448\ 062066169566176428934102387904*c_0101_5^2 - 3452990027941222722217796054454622509621441387787/22841637795771645\ 1340685507352936548233598656*c_0101_5 - 4177144959898327717695990478838521982521013227829/41114948032388961\ 24132339132352857868204775808, c_0011_0 - 1, c_0011_2 - 622057723252937895003248731600734411513/18903758131816654253\ 2628582148432315688*c_0101_5^19 + 161975879985224777483610870234354\ 5636455/47259395329541635633157145537108078922*c_0101_5^18 - 1517976380568689086170720705151852935308/23629697664770817816578572\ 768554039461*c_0101_5^17 + 228107202958760366966028988077948231897/\ 23629697664770817816578572768554039461*c_0101_5^16 + 51069952363118793149242647076220153278361/1890375813181665425326285\ 82148432315688*c_0101_5^15 - 93437214150133170294652193202394688835\ 527/94518790659083271266314291074216157844*c_0101_5^14 + 66556909482515828015233417604083462975465/9451879065908327126631429\ 1074216157844*c_0101_5^13 + 464174740424844132226060301607444686595\ 5/47259395329541635633157145537108078922*c_0101_5^12 - 30365092087967598451733871137048084770691/2362969766477081781657857\ 2768554039461*c_0101_5^11 + 131983694276903123714673582099383192660\ 5035/94518790659083271266314291074216157844*c_0101_5^10 + 451445503323968719786868395087453596120483/945187906590832712663142\ 91074216157844*c_0101_5^9 - 490863842128546033210913870511394587135\ 4607/189037581318166542532628582148432315688*c_0101_5^8 - 1814342686053901193693497973046455490224691/18903758131816654253262\ 8582148432315688*c_0101_5^7 + 2549522359267648463893077599142015608\ 031397/189037581318166542532628582148432315688*c_0101_5^6 + 988464511922696115872594208494572502906815/189037581318166542532628\ 582148432315688*c_0101_5^5 - 19340325151984129570337523180563119474\ 4337/189037581318166542532628582148432315688*c_0101_5^4 - 98550684903253881073351863953235895451513/9451879065908327126631429\ 1074216157844*c_0101_5^3 + 2605395399160904882003415767957120978543\ 9/94518790659083271266314291074216157844*c_0101_5^2 + 16125480631042981916834088942002841596533/9451879065908327126631429\ 1074216157844*c_0101_5 + 2450656923998643362214243049101543887961/1\ 89037581318166542532628582148432315688, c_0011_4 + 886587923266847705175774089023758753869709/40788638921020794\ 88226526917016724075599976*c_0101_5^19 - 4673556714161600383716797441055192574145093/20394319460510397441132\ 63458508362037799988*c_0101_5^18 + 9260735477379278814865475034044379223584921/20394319460510397441132\ 63458508362037799988*c_0101_5^17 - 2602257288081065314089849960689478815654095/20394319460510397441132\ 63458508362037799988*c_0101_5^16 - 71660089409216676755670333368673143851899811/4078863892102079488226\ 526917016724075599976*c_0101_5^15 + 137688906069030877003190287367207608836453095/203943194605103974411\ 3263458508362037799988*c_0101_5^14 - 113367686090277329627762838598182044425315923/203943194605103974411\ 3263458508362037799988*c_0101_5^13 + 2411735743486976504356797836921771314134719/10197159730255198720566\ 31729254181018899994*c_0101_5^12 + 42445551403209297590512371556595258559500931/5098579865127599360283\ 15864627090509449997*c_0101_5^11 - 1902879517145010462263028837628546915393259167/20394319460510397441\ 13263458508362037799988*c_0101_5^10 - 395946183938768800236471818918375427836559153/203943194605103974411\ 3263458508362037799988*c_0101_5^9 + 6994243478834632572961203659093050405566007523/40788638921020794882\ 26526917016724075599976*c_0101_5^8 + 1665841426286232245991492147067738937557019813/40788638921020794882\ 26526917016724075599976*c_0101_5^7 - 3668246679895891916326180038190992469903833109/40788638921020794882\ 26526917016724075599976*c_0101_5^6 - 897405560115987394872726197852099849289818097/407886389210207948822\ 6526917016724075599976*c_0101_5^5 + 311832845989847500543048643755676587537616793/407886389210207948822\ 6526917016724075599976*c_0101_5^4 + 29309564484425033245276160923842788120176460/5098579865127599360283\ 15864627090509449997*c_0101_5^3 - 257243275516936673158107653442767\ 59703948661/1019715973025519872056631729254181018899994*c_0101_5^2 - 7356310678173281418460654636961888901576419/10197159730255198720566\ 31729254181018899994*c_0101_5 - 94275949999215230552503049262137606\ 1986771/4078863892102079488226526917016724075599976, c_0101_0 + 24140355887057201089072316620157425245/472593953295416356331\ 57145537108078922*c_0101_5^19 - 12717672077860008661110681484064586\ 2770/23629697664770817816578572768554039461*c_0101_5^18 + 502143909389901889101946235186830283041/472593953295416356331571455\ 37108078922*c_0101_5^17 - 66330303685221585016247967091673225352/23\ 629697664770817816578572768554039461*c_0101_5^16 - 982114691972953448773209105801283367138/236296976647708178165785727\ 68554039461*c_0101_5^15 + 3745346684408385706690338411725487091972/\ 23629697664770817816578572768554039461*c_0101_5^14 - 3041018749672918902013647102636931233626/23629697664770817816578572\ 768554039461*c_0101_5^13 + 22653102876643733993475904638088447787/2\ 3629697664770817816578572768554039461*c_0101_5^12 + 4707278059422006343759526248529112484961/23629697664770817816578572\ 768554039461*c_0101_5^11 - 5180097983195618467402310406375237512411\ 5/23629697664770817816578572768554039461*c_0101_5^10 - 11224963694621820917375554324460150685023/2362969766477081781657857\ 2768554039461*c_0101_5^9 + 1927395241283195425296171462018119286170\ 95/47259395329541635633157145537108078922*c_0101_5^8 + 46729245418669160432988650790105596127705/4725939532954163563315714\ 5537108078922*c_0101_5^7 - 5183173159711595073295318547371192667034\ 4/23629697664770817816578572768554039461*c_0101_5^6 - 12576741021061149323784360500681545637591/2362969766477081781657857\ 2768554039461*c_0101_5^5 + 1003050892474839206150047835862825169453\ 5/47259395329541635633157145537108078922*c_0101_5^4 + 3004201291550894090231034318444800634503/23629697664770817816578572\ 768554039461*c_0101_5^3 - 2720910792555194717681243077691495285535/\ 47259395329541635633157145537108078922*c_0101_5^2 - 403260547764221480917081784246261391545/236296976647708178165785727\ 68554039461*c_0101_5 - 99860389830065987895955204781512668/23629697\ 664770817816578572768554039461, c_0101_1 - 78938048320024527241150023771553203099/236296976647708178165\ 78572768554039461*c_0101_5^19 + 32916448084770550100855262816765519\ 36725/94518790659083271266314291074216157844*c_0101_5^18 - 6195405250945580097424501260089196467421/94518790659083271266314291\ 074216157844*c_0101_5^17 + 991475017203776749890584255250749790805/\ 94518790659083271266314291074216157844*c_0101_5^16 + 25898505204043346641157334378399082188735/9451879065908327126631429\ 1074216157844*c_0101_5^15 - 237727703501002175898100890408263463889\ 98/23629697664770817816578572768554039461*c_0101_5^14 + 34252473148657948227502081647481514380335/4725939532954163563315714\ 5537108078922*c_0101_5^13 + 214251497488942039980590826464790245212\ 8/23629697664770817816578572768554039461*c_0101_5^12 - 30800693312468116475963060292187132574029/2362969766477081781657857\ 2768554039461*c_0101_5^11 + 335242764504470926494501295424312095540\ 701/23629697664770817816578572768554039461*c_0101_5^10 + 222824569109140838573779049610818367024883/472593953295416356331571\ 45537108078922*c_0101_5^9 - 623176778227980986043902307760096340151\ 496/23629697664770817816578572768554039461*c_0101_5^8 - 896920872560065673169443528748676800420917/945187906590832712663142\ 91074216157844*c_0101_5^7 + 324351243668488057819733261466708724988\ 215/23629697664770817816578572768554039461*c_0101_5^6 + 488016989015671693737140198180218077083819/945187906590832712663142\ 91074216157844*c_0101_5^5 - 501305716976433723300172738702194130673\ 73/47259395329541635633157145537108078922*c_0101_5^4 - 98288576010895352692144438755571664617293/9451879065908327126631429\ 1074216157844*c_0101_5^3 + 2698622128358509373485342459416072788991\ 1/94518790659083271266314291074216157844*c_0101_5^2 + 15853049588626818494186122549275649003191/9451879065908327126631429\ 1074216157844*c_0101_5 + 1195736740726070509090728227983592573015/9\ 4518790659083271266314291074216157844, c_0101_3 - 1754253693628922640922464768155801417122830/5098579865127599\ 36028315864627090509449997*c_0101_5^19 + 36579460866228855726016243402646718761545305/1019715973025519872056\ 631729254181018899994*c_0101_5^18 - 68883910028036338924449692597743123962001631/1019715973025519872056\ 631729254181018899994*c_0101_5^17 + 11105294793410099869154160107889832786011875/1019715973025519872056\ 631729254181018899994*c_0101_5^16 + 287733677643707639018858396850182218769701857/101971597302551987205\ 6631729254181018899994*c_0101_5^15 - 528455468382899072569396756943004540170569550/509857986512759936028\ 315864627090509449997*c_0101_5^14 + 381234587978590451353462099431058533862409662/509857986512759936028\ 315864627090509449997*c_0101_5^13 + 47004934534965824210914610097411577964506053/5098579865127599360283\ 15864627090509449997*c_0101_5^12 - 684233249372631530488940601994538180908393207/509857986512759936028\ 315864627090509449997*c_0101_5^11 + 7450687726509184259873658375954893006998709151/50985798651275993602\ 8315864627090509449997*c_0101_5^10 + 2467088385125231520887459997500949035775034493/50985798651275993602\ 8315864627090509449997*c_0101_5^9 - 13849845281163451170475797999675997012204525011/5098579865127599360\ 28315864627090509449997*c_0101_5^8 - 9938913976151877691790360306796773743030441247/10197159730255198720\ 56631729254181018899994*c_0101_5^7 + 7212905846829821894333427808243712821477473742/50985798651275993602\ 8315864627090509449997*c_0101_5^6 + 5418956324859533840053352498381033952006560393/10197159730255198720\ 56631729254181018899994*c_0101_5^5 - 561566091522538142133360034921592810956832908/509857986512759936028\ 315864627090509449997*c_0101_5^4 - 1101269907954865803514480654382007108572690987/10197159730255198720\ 56631729254181018899994*c_0101_5^3 + 302238654909610802855398122429854068197385667/101971597302551987205\ 6631729254181018899994*c_0101_5^2 + 177729613135176728072722571007683853097248409/101971597302551987205\ 6631729254181018899994*c_0101_5 + 133647773958022656404192579042335\ 80611821173/1019715973025519872056631729254181018899994, c_0101_5^20 - 31/3*c_0101_5^19 + 56/3*c_0101_5^18 - 4/3*c_0101_5^17 - 247/3*c_0101_5^16 + 881/3*c_0101_5^15 - 568/3*c_0101_5^14 - 142/3*c_0101_5^13 + 388*c_0101_5^12 - 12634/3*c_0101_5^11 - 1800*c_0101_5^10 + 23311/3*c_0101_5^9 + 3564*c_0101_5^8 - 11572/3*c_0101_5^7 - 5774/3*c_0101_5^6 + 180*c_0101_5^5 + 1027/3*c_0101_5^4 - 172/3*c_0101_5^3 - 176/3*c_0101_5^2 - 25/3*c_0101_5 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB