Magma V2.19-8 Tue Aug 20 2013 16:18:10 on localhost [Seed = 4240269766] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2383 geometric_solution 5.74947020 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445899278163 0.263169237453 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 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.890820098822 0.718497059548 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 1 0 -1 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 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 1.087387976141 1.031497037751 5 2 4 1 1023 1230 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 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 0 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 1.087387976141 1.031497037751 6 2 6 3 0132 0132 1023 0132 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 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.621141896461 1.125923873888 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 0 1 -1 1 0 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.107877415337 0.802975237599 4 6 4 6 0132 2310 1023 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.587289600672 0.228179512802 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 444982862620920070680528208993461125128953849966643735/820911538960\ 1797235374592979140332222119508145238296*c_0101_4^37 - 4615190663313744436237524379616619043759690519973815383/20522788474\ 00449308843648244785083055529877036309574*c_0101_4^35 + 74734319369470691178641641487730186455844839144981389965/2052278847\ 400449308843648244785083055529877036309574*c_0101_4^33 - 2503506161208203020717706480781971331336354207984765691833/82091153\ 89601797235374592979140332222119508145238296*c_0101_4^31 + 6623702476055077261505343320112520195172863846657691009679/41045576\ 94800898617687296489570166111059754072619148*c_0101_4^29 - 52279662828788170947690347929648924944718592162420420508181/8209115\ 389601797235374592979140332222119508145238296*c_0101_4^27 + 69814394803937137390007979604877692602493171567539959625109/4104557\ 694800898617687296489570166111059754072619148*c_0101_4^25 - 122661580563401923670996481851473138682851672907086623724219/410455\ 7694800898617687296489570166111059754072619148*c_0101_4^23 + 319091829837113320821544090184854136154898568001022109314467/820911\ 5389601797235374592979140332222119508145238296*c_0101_4^21 - 385502944542217024108368076437891219720092705121224867408273/820911\ 5389601797235374592979140332222119508145238296*c_0101_4^19 + 482904769060151162109346989331233356894818306765605093459263/820911\ 5389601797235374592979140332222119508145238296*c_0101_4^17 - 137903085686577188144296804725379775168007604886855177668649/205227\ 8847400449308843648244785083055529877036309574*c_0101_4^15 + 252882706834630829660799444728442897359944500647611765639661/410455\ 7694800898617687296489570166111059754072619148*c_0101_4^13 - 352374370276927971216392082564021423897126153795137743605433/820911\ 5389601797235374592979140332222119508145238296*c_0101_4^11 + 177351547685031637441948440506794060071421758502155783578051/820911\ 5389601797235374592979140332222119508145238296*c_0101_4^9 - 30039895247468598120522757393915738238773207239689220491567/4104557\ 694800898617687296489570166111059754072619148*c_0101_4^7 + 12524519933867279597481720004245752818434239086247754271843/8209115\ 389601797235374592979140332222119508145238296*c_0101_4^5 - 167301979543412307930209052241948181390183276164616419022/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^3 + 42298149921372724086323267355741920592834792299935313779/8209115389\ 601797235374592979140332222119508145238296*c_0101_4, c_0011_0 - 1, c_0011_1 + 191882109656526280901750899401594759073046533026830/10261394\ 23700224654421824122392541527764938518154787*c_0101_4^36 - 15695831880164507264472467280053825371219679753625551/2052278847400\ 449308843648244785083055529877036309574*c_0101_4^34 + 248644830972328249398006951308679920012946957241211435/205227884740\ 0449308843648244785083055529877036309574*c_0101_4^32 - 2014974955768325633275725507005522276441840866458702777/20522788474\ 00449308843648244785083055529877036309574*c_0101_4^30 + 5135336955101836058732813489686108402049120121317099269/10261394237\ 00224654421824122392541527764938518154787*c_0101_4^28 - 19642965303018376040207046725975976875083705107956233684/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^26 + 98499161705652011643672380032675872952720481470304341315/2052278847\ 400449308843648244785083055529877036309574*c_0101_4^24 - 158051549280948414953164291338084825649820822638269197941/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^22 + 192884991983899648799844453634296416589612520204706824669/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^20 - 117653873654456340841180287671850940589657567510482112347/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^18 + 297264610682127385121458989166137014630529739635011968577/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^16 - 162212969060289234908189152857017534543287722343794271335/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^14 + 137597704077726751857089530874680590286288248474929217961/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^12 - 86826508890357998114518078554274491778915655583352070010/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^10 + 76240625076165705356203012421132624698054948504444195415/2052278847\ 400449308843648244785083055529877036309574*c_0101_4^8 - 10905936805030137675956181405721459367577029998632264718/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^6 + 1843810743680503814459266743305775827193272013448238753/10261394237\ 00224654421824122392541527764938518154787*c_0101_4^4 - 297787102159467319233435458074727895736752183944427379/205227884740\ 0449308843648244785083055529877036309574*c_0101_4^2 + 7132053416105988158453169943839415217812078497847325/20522788474004\ 49308843648244785083055529877036309574, c_0011_3 - 1303051687903257672290951626481011259644190387860663/2052278\ 847400449308843648244785083055529877036309574*c_0101_4^37 + 26672197982427997778381567450021064310431249750175935/1026139423700\ 224654421824122392541527764938518154787*c_0101_4^35 - 423137562857902432663434962965923219542060774345011297/102613942370\ 0224654421824122392541527764938518154787*c_0101_4^33 + 6872890670629546750986398802281476089318893515258678991/20522788474\ 00449308843648244785083055529877036309574*c_0101_4^31 - 17558237746037026280760874476271536007529062503688173738/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^29 + 134575279774471208309579998686254667382772348159153190063/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^27 - 169393657882428465641606066395823932456923741889930399060/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^25 + 273280588644378263696723551251781369884494023254107212617/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^23 - 668476647146085769586826562030839366799992606615948064813/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^21 + 813568126096668008555719041292244224368537476364467293579/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^19 - 1027920154660875184180277267141483674325278159732851713285/20522788\ 47400449308843648244785083055529877036309574*c_0101_4^17 + 562715349073858693607884631415772950870461196052130607674/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^15 - 478825155905760322390309062473094101452733815273262049524/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^13 + 605623326053362251426958812424570394495047924512258024057/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^11 - 266097993073467059770897060830105741878158242813873463063/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^9 + 37752590247880257391624096668103547977758568925236053822/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^7 - 12427884269418545892189714261455920376397877097087591995/2052278847\ 400449308843648244785083055529877036309574*c_0101_4^5 + 470418087904307531520632167615476261426525911711927644/102613942370\ 0224654421824122392541527764938518154787*c_0101_4^3 - 15352522264785871466494079274356500330916208276753371/2052278847400\ 449308843648244785083055529877036309574*c_0101_4, c_0101_0 - 1092867057238557700881230860366455526853383393074567/4104557\ 694800898617687296489570166111059754072619148*c_0101_4^36 + 11152923935209116440790805573869807859343318044596909/1026139423700\ 224654421824122392541527764938518154787*c_0101_4^34 - 176140681625392438823552017594798829493134503128580179/102613942370\ 0224654421824122392541527764938518154787*c_0101_4^32 + 5682661787291659955494102059568231888129511581802891873/41045576948\ 00898617687296489570166111059754072619148*c_0101_4^30 - 14400725715398283438436154407360793804179060919509914707/2052278847\ 400449308843648244785083055529877036309574*c_0101_4^28 + 109616069689320629778964944936409534776404433470601101653/410455769\ 4800898617687296489570166111059754072619148*c_0101_4^26 - 135957253814357332786343172374672262374281352067281312645/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^24 + 214439963323916476826521779394102481275975666806872858857/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^22 - 516095161423758682237933511033826415466166584709284205155/410455769\ 4800898617687296489570166111059754072619148*c_0101_4^20 + 630526290097431152174966816953436773387533748815296567181/410455769\ 4800898617687296489570166111059754072619148*c_0101_4^18 - 798314238298020774567866895725677852845491978882114072867/410455769\ 4800898617687296489570166111059754072619148*c_0101_4^16 + 215682156374425612253340630359142007897586322246169345042/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^14 - 358929880327619204053819402897813592223427564546939769965/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^12 + 440467858237822689058751452990653039872332415271243331269/410455769\ 4800898617687296489570166111059754072619148*c_0101_4^10 - 184781281947125421737556642396823935561738916246293889839/410455769\ 4800898617687296489570166111059754072619148*c_0101_4^8 + 24606314533085824305595857498017205507178853599478769925/2052278847\ 400449308843648244785083055529877036309574*c_0101_4^6 - 7417706627617462136143557298153051217961388699797156199/41045576948\ 00898617687296489570166111059754072619148*c_0101_4^4 + 123040446327977490844775011055472604331378395583517654/102613942370\ 0224654421824122392541527764938518154787*c_0101_4^2 - 6301489436864282305572835537607338851488857724885223/41045576948008\ 98617687296489570166111059754072619148, c_0101_1 + 435119757556173550510324210089835065076315397425107/20522788\ 47400449308843648244785083055529877036309574*c_0101_4^36 - 17770100767661068119819613939382825837200685820652823/2052278847400\ 449308843648244785083055529877036309574*c_0101_4^34 + 280857559739897658185027260572235855102692196027372467/205227884740\ 0449308843648244785083055529877036309574*c_0101_4^32 - 1134013572259190921484485508490831404057511919651429640/10261394237\ 00224654421824122392541527764938518154787*c_0101_4^30 + 5756656559340302526853046936951086222954698338408519867/10261394237\ 00224654421824122392541527764938518154787*c_0101_4^28 - 43887371426550409044359310843193452999244819793676533707/2052278847\ 400449308843648244785083055529877036309574*c_0101_4^26 + 109223516927757820075343356232115657203635795659593185947/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^24 - 173318247435703645217882666272917366930735416074923842409/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^22 + 104962927169968430334692184886987230454195864951378398155/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^20 - 256666955615963996043037959850964335723398532473952143919/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^18 + 162257666134721874766426215716717024860892964081174584156/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^16 - 175952506223073461559618239686134842128651653988765379945/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^14 + 147703343232742683526871548721639591463791787329154243667/102613942\ 3700224654421824122392541527764938518154787*c_0101_4^12 - 183907299190580590201055724922353635642819391322905605489/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^10 + 39586283994030951266222447754999222259102937850874341688/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^8 - 11066185595979448879518756701057408605904723836610508489/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^6 + 3647519577312573617544470368404912417656224177450177657/20522788474\ 00449308843648244785083055529877036309574*c_0101_4^4 - 283771062855240209901571560627182278604460469337600405/205227884740\ 0449308843648244785083055529877036309574*c_0101_4^2 + 2448859479894899099942169017144411535977728663817381/10261394237002\ 24654421824122392541527764938518154787, c_0101_3 + 182055608915740649725183664765509090326744133902989/20522788\ 47400449308843648244785083055529877036309574*c_0101_4^37 - 3757817751894243813719676333336259125163365910696998/10261394237002\ 24654421824122392541527764938518154787*c_0101_4^35 + 60387262950279732238083448043220463679509090685888050/1026139423700\ 224654421824122392541527764938518154787*c_0101_4^33 - 999838290154730962076371487492236750176390310480547567/205227884740\ 0449308843648244785083055529877036309574*c_0101_4^31 + 2609855627790188437422990534221997012438544844925799706/10261394237\ 00224654421824122392541527764938518154787*c_0101_4^29 - 20355747310495965047638873939936927489764389331988141361/2052278847\ 400449308843648244785083055529877036309574*c_0101_4^27 + 26567367661658189035466652331377370046916247257146194452/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^25 - 45075059917496906584288151997008983052972315487706830820/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^23 + 113706896729629935680871060228514789056940047800009341603/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^21 - 136960163726399914880919495386059820080644263723413213985/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^19 + 172549109287217294331453410748427133696831330894064164165/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^17 - 97021849264802948383433167248594835415228863982284558460/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^15 + 85928773376880456302408089132931268608995495852586015857/1026139423\ 700224654421824122392541527764938518154787*c_0101_4^13 - 113987576295703124791056965863637438255042000849477976345/205227884\ 7400449308843648244785083055529877036309574*c_0101_4^11 + 53346844040220405761970541263800653765328416651038961769/2052278847\ 400449308843648244785083055529877036309574*c_0101_4^9 - 8075591365438520746718597085577100188933072752067211120/10261394237\ 00224654421824122392541527764938518154787*c_0101_4^7 + 2834139374198253557880761450089282486796743932755056665/20522788474\ 00449308843648244785083055529877036309574*c_0101_4^5 - 110391888763911169841062536701167644853952247218341694/102613942370\ 0224654421824122392541527764938518154787*c_0101_4^3 - 130145877303517790883310993002443205523468866823115/205227884740044\ 9308843648244785083055529877036309574*c_0101_4, c_0101_4^38 - 41*c_0101_4^36 + 652*c_0101_4^34 - 5315*c_0101_4^32 + 27281*c_0101_4^30 - 104985*c_0101_4^28 + 266585*c_0101_4^26 - 436272*c_0101_4^24 + 540715*c_0101_4^22 - 658696*c_0101_4^20 + 830460*c_0101_4^18 - 916165*c_0101_4^16 + 793046*c_0101_4^14 - 515097*c_0101_4^12 + 236700*c_0101_4^10 - 72611*c_0101_4^8 + 13807*c_0101_4^6 - 1433*c_0101_4^4 + 65*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB