Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 1377029736] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0118 geometric_solution 3.63551000 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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.461375292417 0.023128756784 2 0 2 0 0132 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376624929906 0.085252354747 1 3 1 3 0132 0132 1023 2310 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 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 -6.373849418157 5.390161432491 2 2 4 4 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -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 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.128091116451 0.164312463455 3 5 3 6 2310 0132 0132 0132 0 0 0 0 0 0 0 0 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 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.975792252040 1.985465334314 6 4 6 6 3201 0132 3012 2310 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 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.002452156724 0.990304285844 5 5 4 5 3201 1230 0132 2310 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 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.002452156724 0.990304285844 ==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' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), '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_4']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : 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_6'], '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' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_4']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 295355796491021517109174066291070699062696506/824744246381213760873\ 2366465284652637128369*c_0101_4^22 + 849255041530696757460372990359860159628816107/824744246381213760873\ 2366465284652637128369*c_0101_4^21 + 1415362688093091180667749926810374020280264533/63441865106247212374\ 8643574252665587471413*c_0101_4^20 - 51437000951167809407312608933421644044759297334/8247442463812137608\ 732366465284652637128369*c_0101_4^19 - 291072739506863151401023708412211196953811063178/824744246381213760\ 8732366465284652637128369*c_0101_4^18 + 361198988494765549209711195590640105448734430626/824744246381213760\ 8732366465284652637128369*c_0101_4^17 + 134740236817561116633205147837879684808649208996/634418651062472123\ 748643574252665587471413*c_0101_4^16 - 63732463636635875353682943243028987040925686821/6344186510624721237\ 48643574252665587471413*c_0101_4^15 - 4862805486615295244744550860196358211008651875436/82474424638121376\ 08732366465284652637128369*c_0101_4^14 + 630285217306911371570823486903081214208911956282/824744246381213760\ 8732366465284652637128369*c_0101_4^13 + 6501792128358982628379124421374897830401650088989/82474424638121376\ 08732366465284652637128369*c_0101_4^12 - 955482897475467522435010445596793296267346556124/824744246381213760\ 8732366465284652637128369*c_0101_4^11 - 4243763621715191399495000928225373574614341405247/82474424638121376\ 08732366465284652637128369*c_0101_4^10 + 2998748057894915199700090797233121658861397499239/82474424638121376\ 08732366465284652637128369*c_0101_4^9 + 1406410513279672190363975246893819449246312486130/82474424638121376\ 08732366465284652637128369*c_0101_4^8 - 3289229467276568170587126128544191558983299840004/82474424638121376\ 08732366465284652637128369*c_0101_4^7 + 1069315130712901508875282952449625857161620630/63441865106247212374\ 8643574252665587471413*c_0101_4^6 + 1259764492604191811340866662740484645119384581076/82474424638121376\ 08732366465284652637128369*c_0101_4^5 - 580036140437070228496323332235302086079081030125/824744246381213760\ 8732366465284652637128369*c_0101_4^4 - 137975213573339736232841577867955175983960827643/824744246381213760\ 8732366465284652637128369*c_0101_4^3 + 313092847471265669611665127421491669063746703434/824744246381213760\ 8732366465284652637128369*c_0101_4^2 + 6693660279907308597956914696646953413665300393/82474424638121376087\ 32366465284652637128369*c_0101_4 - 32370670332095112674545877514255709895846621445/8247442463812137608\ 732366465284652637128369, c_0011_0 - 1, c_0011_1 + 6176971869154683285229869735329876275392/3731874418014541904\ 4037857308980328674789*c_0101_4^22 - 20484546315740834633398970543881267805063/3731874418014541904403785\ 7308980328674789*c_0101_4^21 - 375151984479930571226098227120625516\ 389355/37318744180145419044037857308980328674789*c_0101_4^20 + 1239068904251008892702424067401302442735212/37318744180145419044037\ 857308980328674789*c_0101_4^19 + 5503039067259940951459407361919315\ 042582802/37318744180145419044037857308980328674789*c_0101_4^18 - 9852955603616301932968278956935175522180247/37318744180145419044037\ 857308980328674789*c_0101_4^17 - 3172027043466686643513678645659088\ 6171967112/37318744180145419044037857308980328674789*c_0101_4^16 + 30204010806254210186636491701063535463402946/3731874418014541904403\ 7857308980328674789*c_0101_4^15 + 850824736779831192243099868036445\ 21366459592/37318744180145419044037857308980328674789*c_0101_4^14 - 46659659706277977736514442879219782229268531/3731874418014541904403\ 7857308980328674789*c_0101_4^13 - 106578144417536951798124980394354\ 452904232363/37318744180145419044037857308980328674789*c_0101_4^12 + 58826516418425241756199511520514869159753658/3731874418014541904403\ 7857308980328674789*c_0101_4^11 + 520766721825795065487186715683159\ 76090393835/37318744180145419044037857308980328674789*c_0101_4^10 - 74079487300121322379436508772966060412631086/3731874418014541904403\ 7857308980328674789*c_0101_4^9 + 7157578988348041632421033081409304\ 371653875/37318744180145419044037857308980328674789*c_0101_4^8 + 53891569376743071688724800611276684635022807/3731874418014541904403\ 7857308980328674789*c_0101_4^7 - 2001340472061778048179035586416403\ 6070210634/37318744180145419044037857308980328674789*c_0101_4^6 - 11562373363719860277340056353704272667190346/3731874418014541904403\ 7857308980328674789*c_0101_4^5 + 1216641607249792312424614634077392\ 8252647641/37318744180145419044037857308980328674789*c_0101_4^4 - 2425934379057210994377683548688859627296805/37318744180145419044037\ 857308980328674789*c_0101_4^3 - 36231335335969075990942176386985956\ 98299903/37318744180145419044037857308980328674789*c_0101_4^2 + 526871925830361931269856843456667225459444/373187441801454190440378\ 57308980328674789*c_0101_4 + 35428211664300680956454995216350996403\ 0400/37318744180145419044037857308980328674789, c_0011_4 + 7992516950073000352558610372178902018034/3731874418014541904\ 4037857308980328674789*c_0101_4^22 - 31801056218058250107762789783287199202695/3731874418014541904403785\ 7308980328674789*c_0101_4^21 - 461894683811854092129695564516522840\ 573500/37318744180145419044037857308980328674789*c_0101_4^20 + 1897691151370027046586453306087958766262958/37318744180145419044037\ 857308980328674789*c_0101_4^19 + 5729535275262764600689507110757695\ 733994159/37318744180145419044037857308980328674789*c_0101_4^18 - 15859719315052098888868868581401746393208743/3731874418014541904403\ 7857308980328674789*c_0101_4^17 - 292560153258841857849193285064865\ 89796368921/37318744180145419044037857308980328674789*c_0101_4^16 + 52490562725786087181424111629673752414537198/3731874418014541904403\ 7857308980328674789*c_0101_4^15 + 703297820854851055115087522343012\ 09944954323/37318744180145419044037857308980328674789*c_0101_4^14 - 86011549185854515746822100617235254099866142/3731874418014541904403\ 7857308980328674789*c_0101_4^13 - 724945101791932288214476637722143\ 61780225557/37318744180145419044037857308980328674789*c_0101_4^12 + 88285828878062872066992422109269546098561252/3731874418014541904403\ 7857308980328674789*c_0101_4^11 + 760040120471753136944943641275816\ 7814786842/37318744180145419044037857308980328674789*c_0101_4^10 - 68636240785981158705755639900822362520577321/3731874418014541904403\ 7857308980328674789*c_0101_4^9 + 3835825171830929638635052320587956\ 4957897937/37318744180145419044037857308980328674789*c_0101_4^8 + 31264208060147841753969257846730061637588487/3731874418014541904403\ 7857308980328674789*c_0101_4^7 - 2567372086620261562820087702273958\ 8792085907/37318744180145419044037857308980328674789*c_0101_4^6 - 15606253483721997102726969135035259406872/3731874418014541904403785\ 7308980328674789*c_0101_4^5 + 7772660884470903091574531403110400052\ 922217/37318744180145419044037857308980328674789*c_0101_4^4 - 3957693513656975259847306957880882708276371/37318744180145419044037\ 857308980328674789*c_0101_4^3 - 19863560525305860597797799514136661\ 36758232/37318744180145419044037857308980328674789*c_0101_4^2 + 578887109887560008677668483851703275064150/373187441801454190440378\ 57308980328674789*c_0101_4 + 22911072257431791242193812693534958731\ 0183/37318744180145419044037857308980328674789, c_0011_6 + 3864655925229402611305136251886164453482/3731874418014541904\ 4037857308980328674789*c_0101_4^22 - 15760947622051237901457723694964204183719/3731874418014541904403785\ 7308980328674789*c_0101_4^21 - 221582297188321837246741308049576648\ 883901/37318744180145419044037857308980328674789*c_0101_4^20 + 938578477112983038211312516532992918980151/373187441801454190440378\ 57308980328674789*c_0101_4^19 + 26671656963129732702170800894889355\ 78634214/37318744180145419044037857308980328674789*c_0101_4^18 - 7872773474453408388716018760282954317423456/37318744180145419044037\ 857308980328674789*c_0101_4^17 - 1329531586550576662910407935060356\ 7913499968/37318744180145419044037857308980328674789*c_0101_4^16 + 26156766719715448171294936255253597806097496/3731874418014541904403\ 7857308980328674789*c_0101_4^15 + 312844250621786527354247271443316\ 91482953446/37318744180145419044037857308980328674789*c_0101_4^14 - 42714472727431883231969734653435966697471695/3731874418014541904403\ 7857308980328674789*c_0101_4^13 - 310304670815422712510456929128430\ 78798383621/37318744180145419044037857308980328674789*c_0101_4^12 + 42246843618585777648500974888166722180154367/3731874418014541904403\ 7857308980328674789*c_0101_4^11 + 758875266343253824245194512147378\ 210237303/37318744180145419044037857308980328674789*c_0101_4^10 - 30146409491832890604878440023863124497588600/3731874418014541904403\ 7857308980328674789*c_0101_4^9 + 1909541155300327048509639334126954\ 4376646688/37318744180145419044037857308980328674789*c_0101_4^8 + 12371251127653503758940682815426571502982664/3731874418014541904403\ 7857308980328674789*c_0101_4^7 - 1151929269196737757815232002398669\ 2397061131/37318744180145419044037857308980328674789*c_0101_4^6 + 468324868113517985571363463656457028247357/373187441801454190440378\ 57308980328674789*c_0101_4^5 + 314198222779006692995490327988003430\ 1416832/37318744180145419044037857308980328674789*c_0101_4^4 - 1710620261582790763652945392145562962358021/37318744180145419044037\ 857308980328674789*c_0101_4^3 - 90590111097199003940937770863128129\ 9577716/37318744180145419044037857308980328674789*c_0101_4^2 + 256368270389389594895720791286121975987673/373187441801454190440378\ 57308980328674789*c_0101_4 + 10926077618235365140548576250277868276\ 8402/37318744180145419044037857308980328674789, c_0101_0 + 7388120861607127762346135810614860895093/3731874418014541904\ 4037857308980328674789*c_0101_4^22 - 28976341348984260392974017060598125298049/3731874418014541904403785\ 7308980328674789*c_0101_4^21 - 428745802838712260758487167053243892\ 547626/37318744180145419044037857308980328674789*c_0101_4^20 + 1730527208395522853613443169304571505846712/37318744180145419044037\ 857308980328674789*c_0101_4^19 + 5401529517529080498509109003016451\ 857257814/37318744180145419044037857308980328674789*c_0101_4^18 - 14395005470873404759130759890024986510234402/3731874418014541904403\ 7857308980328674789*c_0101_4^17 - 279116971720379696886930155795680\ 39229998607/37318744180145419044037857308980328674789*c_0101_4^16 + 47308659100912356103298074785909243585217414/3731874418014541904403\ 7857308980328674789*c_0101_4^15 + 678163763430848011713139782967620\ 39844918565/37318744180145419044037857308980328674789*c_0101_4^14 - 77008496625470471133837664624418681595240055/3731874418014541904403\ 7857308980328674789*c_0101_4^13 - 713908862328221908529431489452142\ 20523052316/37318744180145419044037857308980328674789*c_0101_4^12 + 79935025363589208510393177263684861179250673/3731874418014541904403\ 7857308980328674789*c_0101_4^11 + 110352244679827851682404658540698\ 55996323208/37318744180145419044037857308980328674789*c_0101_4^10 - 64941714976658668378117646086874182091939525/3731874418014541904403\ 7857308980328674789*c_0101_4^9 + 3308235143397004565745131284901582\ 9903221291/37318744180145419044037857308980328674789*c_0101_4^8 + 31545046742257963212805037889833561588159041/3731874418014541904403\ 7857308980328674789*c_0101_4^7 - 2315891183642221301475268810540182\ 6779315892/37318744180145419044037857308980328674789*c_0101_4^6 - 1161191787863630830211617122002579578160223/37318744180145419044037\ 857308980328674789*c_0101_4^5 + 75666296356383689146555702275190081\ 84046543/37318744180145419044037857308980328674789*c_0101_4^4 - 3473181584753089280181170581680813067652455/37318744180145419044037\ 857308980328674789*c_0101_4^3 - 21285434987461909319267542428520735\ 30111010/37318744180145419044037857308980328674789*c_0101_4^2 + 464972215989927109209954786808615125367871/373187441801454190440378\ 57308980328674789*c_0101_4 + 24109241060947404304515708780025698165\ 5278/37318744180145419044037857308980328674789, c_0101_1 - 8846010566778389497220663769213542931345/3731874418014541904\ 4037857308980328674789*c_0101_4^22 + 35479488130778397689412962848210320980479/3731874418014541904403785\ 7308980328674789*c_0101_4^21 + 509947948471401687652878313387707801\ 140025/37318744180145419044037857308980328674789*c_0101_4^20 - 2116068523687677308198070670517853522464587/37318744180145419044037\ 857308980328674789*c_0101_4^19 - 6266022099437899414540025746388687\ 040732009/37318744180145419044037857308980328674789*c_0101_4^18 + 17721042885842752218948973682971948298776290/3731874418014541904403\ 7857308980328674789*c_0101_4^17 + 317260153846273350273232537910756\ 99137243697/37318744180145419044037857308980328674789*c_0101_4^16 - 58876264161130224276702628262475621124171834/3731874418014541904403\ 7857308980328674789*c_0101_4^15 - 755507870211486015239569660532681\ 91945526197/37318744180145419044037857308980328674789*c_0101_4^14 + 97082199000030449190398575494254536265594749/3731874418014541904403\ 7857308980328674789*c_0101_4^13 + 762868846932123161238706331316103\ 52440608946/37318744180145419044037857308980328674789*c_0101_4^12 - 100048306461663887677166490932082105258180171/373187441801454190440\ 37857308980328674789*c_0101_4^11 - 4666685958062636711658873832774602140924838/37318744180145419044037\ 857308980328674789*c_0101_4^10 + 7706574914932168151111840841298979\ 4643283891/37318744180145419044037857308980328674789*c_0101_4^9 - 44465062730681721498646638922761061477392303/3731874418014541904403\ 7857308980328674789*c_0101_4^8 - 3434826110144599304346309618107506\ 3069917416/37318744180145419044037857308980328674789*c_0101_4^7 + 29072735929067950726139205396619392964194465/3731874418014541904403\ 7857308980328674789*c_0101_4^6 - 3203258881104287895880452875905806\ 28438048/37318744180145419044037857308980328674789*c_0101_4^5 - 8889070791093013674353923114584466390817275/37318744180145419044037\ 857308980328674789*c_0101_4^4 + 44679209163782429128921660374691276\ 57866095/37318744180145419044037857308980328674789*c_0101_4^3 + 2322490588603263679568842319179281483905009/37318744180145419044037\ 857308980328674789*c_0101_4^2 - 64767773642492608900726973603341658\ 7766855/37318744180145419044037857308980328674789*c_0101_4 - 251691346450424855908746996241716616884762/373187441801454190440378\ 57308980328674789, c_0101_4^23 - 4*c_0101_4^22 - 58*c_0101_4^21 + 240*c_0101_4^20 + 728*c_0101_4^19 - 2079*c_0101_4^18 - 3782*c_0101_4^17 + 7332*c_0101_4^16 + 9336*c_0101_4^15 - 13333*c_0101_4^14 - 10070*c_0101_4^13 + 15301*c_0101_4^12 + 1133*c_0101_4^11 - 12370*c_0101_4^10 + 6753*c_0101_4^9 + 5546*c_0101_4^8 - 5689*c_0101_4^7 + 152*c_0101_4^6 + 1925*c_0101_4^5 - 1007*c_0101_4^4 - 285*c_0101_4^3 + 242*c_0101_4^2 + 18*c_0101_4 - 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB