Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 475889913] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2019 geometric_solution 5.56371594 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.227157265615 0.212601367956 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 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 -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.426171069781 1.983699087976 1 4 3 5 0132 0132 0213 0132 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 1 0 -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.361613776378 0.565145253919 5 2 4 1 3201 0213 3201 0132 0 0 0 0 0 1 0 -1 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 0 -1 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.361613776378 0.565145253919 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.196688172495 1.255449588450 6 6 2 3 0132 2310 0132 2310 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 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.260704012978 0.967061245309 5 6 6 5 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 -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.793188470123 0.607674914370 ==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' : 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' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : 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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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' : negation(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_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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_3'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_0011_5, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 253869586366604354200170695854228017469644221486937530849/936308090\ 2777791682198367357485336568299017083196124509536*c_0101_4^31 - 2755938558273412793999417547034341266322352052959801903739/46815404\ 51388895841099183678742668284149508541598062254768*c_0101_4^29 + 11637471480915302727322328432363315384004846193707332188997/4681540\ 451388895841099183678742668284149508541598062254768*c_0101_4^27 - 9481182048090216277467094070419004706027269422725157621201/93630809\ 02777791682198367357485336568299017083196124509536*c_0101_4^25 + 6853514279380099726340732877820642599171411710265078135197/29259627\ 8211805990068698979921416767759344283849878890923*c_0101_4^23 - 31430185605855282910237823116823896550196813082738018012429/2340770\ 225694447920549591839371334142074754270799031127384*c_0101_4^21 + 85577571316306150036539990736279856236897854102033595527805/5851925\ 56423611980137397959842833535518688567699757781846*c_0101_4^19 - 307459318837654853221013149920803019198479494530808831096674/292596\ 278211805990068698979921416767759344283849878890923*c_0101_4^17 + 2067543597926036247768219654757208662956237647009598366536188/29259\ 6278211805990068698979921416767759344283849878890923*c_0101_4^15 + 3446095413470647358408359980655223832163302850824335959517239/58519\ 2556423611980137397959842833535518688567699757781846*c_0101_4^13 + 3093209228149787131341752106305731625797279600567963599727762/29259\ 6278211805990068698979921416767759344283849878890923*c_0101_4^11 + 7183873470949230728687271229417612536699501900773649860009177/11703\ 85112847223960274795919685667071037377135399515563692*c_0101_4^9 - 538414460174528117099409876399014821650670263373539641206299/468154\ 0451388895841099183678742668284149508541598062254768*c_0101_4^7 - 1683821054649567982765982762159651889284980807365588511605833/72023\ 6992521368590938335950575795120638385929476624962272*c_0101_4^5 - 259377575182223968260768842170581849792451729924851679721041/117038\ 5112847223960274795919685667071037377135399515563692*c_0101_4^3 - 66112368659035608117272108445943356338358670933538937245239/1170385\ 112847223960274795919685667071037377135399515563692*c_0101_4, c_0011_0 - 1, c_0011_1 + 3623353706458808838618337000743290415291604980091/9675972067\ 2096050491651397774582519494139904131881264*c_0101_4^30 - 38428725115104929399153623120002763565354597768231/4837986033604802\ 5245825698887291259747069952065940632*c_0101_4^28 + 146597820117146116599085052138329587271956917526071/483798603360480\ 25245825698887291259747069952065940632*c_0101_4^26 + 24044542336051937543287180218469748953428439907021/9675972067209605\ 0491651397774582519494139904131881264*c_0101_4^24 + 771393786624625244845067822986883987352068922827643/241899301680240\ 12622912849443645629873534976032970316*c_0101_4^22 - 53624563720593661086378738256018062718012390101465/2418993016802401\ 2622912849443645629873534976032970316*c_0101_4^20 + 1181398183278305417697241346648665881492121568340574/60474825420060\ 03155728212360911407468383744008242579*c_0101_4^18 - 8159591108695102439861472299930567283036657808486561/60474825420060\ 03155728212360911407468383744008242579*c_0101_4^16 + 54728439267942495754034143489403591029948127868461260/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^14 + 78006698416995998690282232812053012351384801046306466/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^12 + 117370944255879447784707876427270000876385484155390351/604748254200\ 6003155728212360911407468383744008242579*c_0101_4^10 + 208987799212565901595185746315526477130742908155945829/120949650840\ 12006311456424721822814936767488016485158*c_0101_4^8 + 21578673823025339527863575679006772295930676611768315/3721527718157\ 540403525053760560866134389996312764664*c_0101_4^6 - 115003741466899590979449081109168279300185392894631903/967597206720\ 96050491651397774582519494139904131881264*c_0101_4^4 - 20377526886299888527533017115823616646846657746305911/2418993016802\ 4012622912849443645629873534976032970316*c_0101_4^2 - 4358705066277579941561140485698301515236590150430716/60474825420060\ 03155728212360911407468383744008242579, c_0011_3 - 7947972810556192863875861758409545171999806383551/1935194413\ 44192100983302795549165038988279808263762528*c_0101_4^31 + 90650592895722823669887565851413650178052250176949/9675972067209605\ 0491651397774582519494139904131881264*c_0101_4^29 - 460889856139982421332907280732160084788850872279127/967597206720960\ 50491651397774582519494139904131881264*c_0101_4^27 + 1170837658989170963625547139862969530856005008359743/19351944134419\ 2100983302795549165038988279808263762528*c_0101_4^25 - 468513469476874833364425362692756307246592734909359/120949650840120\ 06311456424721822814936767488016485158*c_0101_4^23 + 2900722620743842088908460484791692471257691917237761/48379860336048\ 025245825698887291259747069952065940632*c_0101_4^21 - 3134978325775611839878770814849322361771873043469595/12094965084012\ 006311456424721822814936767488016485158*c_0101_4^19 + 11146436730366282419661777223817906108796970964204642/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^17 - 75894521949544062277824182584162979956429602317270655/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^15 + 42565736365512985374004869872787758209678487308761173/1209496508401\ 2006311456424721822814936767488016485158*c_0101_4^13 - 64753656716514847856461611829088836290589854655552568/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^11 + 105023489317373287408293244327583916149162317486263169/241899301680\ 24012622912849443645629873534976032970316*c_0101_4^9 + 17932377290610115185920206539395257300823288875338153/7443055436315\ 080807050107521121732268779992625529328*c_0101_4^7 - 219721043607806215546867515155794914060288272016452693/193519441344\ 192100983302795549165038988279808263762528*c_0101_4^5 - 117809105434811781761250154374428079567105686216384723/241899301680\ 24012622912849443645629873534976032970316*c_0101_4^3 + 2582243331885692802393225617851254508700903053507917/60474825420060\ 03155728212360911407468383744008242579*c_0101_4, c_0011_5 + 3014336240578874248229646259371403972154971390067/9675972067\ 2096050491651397774582519494139904131881264*c_0101_4^31 - 8157843760722653431338411317168227437045113599987/12094965084012006\ 311456424721822814936767488016485158*c_0101_4^29 + 135598955178519195285666544005015943231496738029337/483798603360480\ 25245825698887291259747069952065940632*c_0101_4^27 - 69379137242232219542748421600158305056461072614143/9675972067209605\ 0491651397774582519494139904131881264*c_0101_4^25 + 1237249024123211569306057872744067391320837082397587/48379860336048\ 025245825698887291259747069952065940632*c_0101_4^23 - 307870708619182658441439463889547956647486264742039/241899301680240\ 12622912849443645629873534976032970316*c_0101_4^21 + 1889009138705130768969667109962108083465797276036415/12094965084012\ 006311456424721822814936767488016485158*c_0101_4^19 - 7168640784711109229771313460676542967672069333324561/60474825420060\ 03155728212360911407468383744008242579*c_0101_4^17 + 48233307061860698356189147674369808548890578379555281/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^15 + 46989501157980653521254959642088198817474897305299458/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^13 + 55040592905791260761145721342335763148320160486977725/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^11 + 82699458741487788690406746273574801389163419488318455/1209496508401\ 2006311456424721822814936767488016485158*c_0101_4^9 - 11936548280359176302044133804227113313331863432200653/3721527718157\ 540403525053760560866134389996312764664*c_0101_4^7 - 287417545587220076408623133274721666886162446909563659/967597206720\ 96050491651397774582519494139904131881264*c_0101_4^5 + 69040992674334245500021259679340323058025199114820291/4837986033604\ 8025245825698887291259747069952065940632*c_0101_4^3 + 8105514347448441225352073978940708398982387635186603/12094965084012\ 006311456424721822814936767488016485158*c_0101_4, c_0101_1 - 3693158491666667367292027696863790645040184584047/9675972067\ 2096050491651397774582519494139904131881264*c_0101_4^30 + 38704228701438340591082623728053565522537826825401/4837986033604802\ 5245825698887291259747069952065940632*c_0101_4^28 - 139124651669126997710292187453882492870070201557351/483798603360480\ 25245825698887291259747069952065940632*c_0101_4^26 - 118739980356485789316262798714482414378994414695569/967597206720960\ 50491651397774582519494139904131881264*c_0101_4^24 - 383807973258724271457184121740200680127961922683649/120949650840120\ 06311456424721822814936767488016485158*c_0101_4^22 - 153410435545571041882888513637440633213736604929159/241899301680240\ 12622912849443645629873534976032970316*c_0101_4^20 - 1151499483692880819924761102422640388242350773473467/60474825420060\ 03155728212360911407468383744008242579*c_0101_4^18 + 7985095531335158077773636749026582377309180507924474/60474825420060\ 03155728212360911407468383744008242579*c_0101_4^16 - 53376494273700887035152651657576808969700031321140361/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^14 - 95689351413975570591208502447654980456640059268466751/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^12 - 125272590835665305957941959347751205535637498321654323/604748254200\ 6003155728212360911407468383744008242579*c_0101_4^10 - 251543452964317140820974151180038099620292001695336625/120949650840\ 12006311456424721822814936767488016485158*c_0101_4^8 - 22017895824206220933551680400215866125976107024880823/3721527718157\ 540403525053760560866134389996312764664*c_0101_4^6 + 215837663461141816035419946899761402871741645134835547/967597206720\ 96050491651397774582519494139904131881264*c_0101_4^4 + 11736839247045911792352341836600814113338820755868959/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^2 + 364277893389884737617731826960894635175135507586509/604748254200600\ 3155728212360911407468383744008242579, c_0101_3 + 496123670132209348357478539134902589188581533617/96759720672\ 096050491651397774582519494139904131881264*c_0101_4^30 - 4940908451273020153340969820484033630310410116965/48379860336048025\ 245825698887291259747069952065940632*c_0101_4^28 + 13068754796215102918300858156413533174427086167485/4837986033604802\ 5245825698887291259747069952065940632*c_0101_4^26 + 63989292232755432262478466915678023142516461853495/9675972067209605\ 0491651397774582519494139904131881264*c_0101_4^24 + 96526297026759033621347941488593926090833145346801/2418993016802401\ 2622912849443645629873534976032970316*c_0101_4^22 + 138048861763013228124656507255808905043775736950881/241899301680240\ 12622912849443645629873534976032970316*c_0101_4^20 + 137115366826902177383371910429004982112445997596113/604748254200600\ 3155728212360911407468383744008242579*c_0101_4^18 - 883676573858524792642116420927450310143948149051486/604748254200600\ 3155728212360911407468383744008242579*c_0101_4^16 + 5902311131795827275825287594642826137807523323459936/60474825420060\ 03155728212360911407468383744008242579*c_0101_4^14 + 21405213457934335789852498089245957721265922744155712/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^12 + 22931033879636558972930964876103800990485149613228966/6047482542006\ 003155728212360911407468383744008242579*c_0101_4^10 + 66559537439088388580316332007534599545767195305823201/1209496508401\ 2006311456424721822814936767488016485158*c_0101_4^8 + 9278082023145688728052895861508146737943274148934521/37215277181575\ 40403525053760560866134389996312764664*c_0101_4^6 + 88166862524574740983118242273223787012162417948028611/9675972067209\ 6050491651397774582519494139904131881264*c_0101_4^4 - 21064910741077220728291730850354880554092729102600213/2418993016802\ 4012622912849443645629873534976032970316*c_0101_4^2 - 897593344633079650592298897527413299710195389950548/604748254200600\ 3155728212360911407468383744008242579, c_0101_4^32 - 22*c_0101_4^30 + 98*c_0101_4^28 - 65*c_0101_4^26 + 880*c_0101_4^24 - 748*c_0101_4^22 + 5584*c_0101_4^20 - 40352*c_0101_4^18 + 272096*c_0101_4^16 + 139792*c_0101_4^14 + 342048*c_0101_4^12 + 121512*c_0101_4^10 - 51926*c_0101_4^8 - 78613*c_0101_4^6 + 12808*c_0101_4^4 - 3984*c_0101_4^2 + 1472 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB