Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 357861852] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1572 geometric_solution 5.35484506 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 1 -2 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.533334384160 0.707386738274 3 2 4 0 0132 3012 0132 0132 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 1 -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.891517472386 0.893806501943 1 3 0 4 1230 3201 0132 3201 0 0 0 0 0 0 -1 1 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 0 -1 2 -1 -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.891517472386 0.893806501943 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.566640389095 0.424944059998 4 2 4 1 2031 2310 1302 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 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.081989271003 0.968810949243 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.739042960937 0.357432170870 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606028697303 0.114629135645 ==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' : 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' : d['1'], 's_2_4' : negation(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' : negation(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_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 258305543447495384554372569119756430296071453583/175319434619427926\ 271945678441078795340615102664*c_0101_6^21 + 23085592986228731202352764434325281907717217317647/1928513780813707\ 188991402462851866748746766129304*c_0101_6^20 + 23438084714262702531426258066887097702467520498363/4821284452034267\ 97247850615712966687186691532326*c_0101_6^19 - 200572914058764158113302994957467691368203640297711/964256890406853\ 594495701231425933374373383064652*c_0101_6^18 - 106854200883064687728585458331217621709277694835333/241064222601713\ 398623925307856483343593345766163*c_0101_6^17 + 1191636657913209885914667107871446695073381240494267/19285137808137\ 07188991402462851866748746766129304*c_0101_6^16 - 470921388828977759210687737176127788255634447599/876597173097139631\ 35972839220539397670307551332*c_0101_6^15 - 70987949296013097060469602813395399038616960595299/4821284452034267\ 97247850615712966687186691532326*c_0101_6^14 + 1534768618853297927692557311124031538436104330273542/24106422260171\ 3398623925307856483343593345766163*c_0101_6^13 + 161844365901215184269173633568566134706695824658151/964256890406853\ 594495701231425933374373383064652*c_0101_6^12 - 2322984224044820347830138017150481562600406725104776/24106422260171\ 3398623925307856483343593345766163*c_0101_6^11 - 762464136388411675783653759830692358556249396280785/964256890406853\ 594495701231425933374373383064652*c_0101_6^10 - 2536607625850225752368744618941414720015374517106955/19285137808137\ 07188991402462851866748746766129304*c_0101_6^9 - 438229839948790659481264275912718228015696226582709/482128445203426\ 797247850615712966687186691532326*c_0101_6^8 + 1254834358667012909634543772294975119049172069712519/96425689040685\ 3594495701231425933374373383064652*c_0101_6^7 + 3805832072000210463503748685236619713151724542384849/96425689040685\ 3594495701231425933374373383064652*c_0101_6^6 - 3269563119113416814798618733277808471972608057422363/19285137808137\ 07188991402462851866748746766129304*c_0101_6^5 - 2725312725137213126723607109598594398711876554667585/96425689040685\ 3594495701231425933374373383064652*c_0101_6^4 - 1687967090811172581381070190832063482183178762334231/96425689040685\ 3594495701231425933374373383064652*c_0101_6^3 - 11510247285996365011199066087358806337193502879643/1928513780813707\ 188991402462851866748746766129304*c_0101_6^2 + 228872483753567546863399660284065657700276036609261/192851378081370\ 7188991402462851866748746766129304*c_0101_6 + 13682262661474385759418346559148312285902643065101/2410642226017133\ 98623925307856483343593345766163, c_0011_0 - 1, c_0011_1 + 560570276330929481558073297117151551590785172/21914929327428\ 490783993209805134849417576887833*c_0101_6^21 - 4570193857600479791052314416314528242239577620/21914929327428490783\ 993209805134849417576887833*c_0101_6^20 - 18363679538656145098188042504611552086534244653/2191492932742849078\ 3993209805134849417576887833*c_0101_6^19 + 79626866157447703219595441526239072146482157761/2191492932742849078\ 3993209805134849417576887833*c_0101_6^18 + 166158261815210348990802280144029630727492044338/219149293274284907\ 83993209805134849417576887833*c_0101_6^17 - 239532868494793026562088475041348145869606988042/219149293274284907\ 83993209805134849417576887833*c_0101_6^16 + 11989714804352662691742838972559796394897770042/2191492932742849078\ 3993209805134849417576887833*c_0101_6^15 + 58839833345108281642618016712915157495084232919/2191492932742849078\ 3993209805134849417576887833*c_0101_6^14 - 2428968108635065471824412965173962383526246400333/21914929327428490\ 783993209805134849417576887833*c_0101_6^13 + 165555563044578658333203169093366270978686312/219149293274284907839\ 93209805134849417576887833*c_0101_6^12 + 3650462949710800474275573393255544321434368797277/21914929327428490\ 783993209805134849417576887833*c_0101_6^11 + 136032187586564131493972504424443334631984504714/219149293274284907\ 83993209805134849417576887833*c_0101_6^10 + 501755254020731521872938340272092397967049246653/219149293274284907\ 83993209805134849417576887833*c_0101_6^9 + 455846570810179182410697349484807418676046366868/219149293274284907\ 83993209805134849417576887833*c_0101_6^8 - 473668308571746667687486663747067446911567474284/219149293274284907\ 83993209805134849417576887833*c_0101_6^7 - 1496634985169169716269541269341317497246358727911/21914929327428490\ 783993209805134849417576887833*c_0101_6^6 + 720698710418211221683839397902571360748163746877/219149293274284907\ 83993209805134849417576887833*c_0101_6^5 + 1014239674942706842306188722036507255063608375774/21914929327428490\ 783993209805134849417576887833*c_0101_6^4 + 579712953246317388210063094309985066777359288719/219149293274284907\ 83993209805134849417576887833*c_0101_6^3 + 12868915358957531022935766006822940485835284376/2191492932742849078\ 3993209805134849417576887833*c_0101_6^2 - 8468773499137174491892633093947809213634378900/21914929327428490783\ 993209805134849417576887833*c_0101_6 - 6886392671394078866001894763946455813620471243/21914929327428490783\ 993209805134849417576887833, c_0011_4 + 428474775839185933363127439743980014627078960/21914929327428\ 490783993209805134849417576887833*c_0101_6^21 - 3514371768655505384686597967005686598479457379/21914929327428490783\ 993209805134849417576887833*c_0101_6^20 - 13949173250454394573606670558979963427108766146/2191492932742849078\ 3993209805134849417576887833*c_0101_6^19 + 62285408098440564696560348345841019463690454214/2191492932742849078\ 3993209805134849417576887833*c_0101_6^18 + 126462873609551302131711596628130649588633705678/219149293274284907\ 83993209805134849417576887833*c_0101_6^17 - 202470465080365001904999196186589305698966185155/219149293274284907\ 83993209805134849417576887833*c_0101_6^16 - 1121745589380617229010530182328932609609805786/21914929327428490783\ 993209805134849417576887833*c_0101_6^15 + 88748945649368760136865438993822444701747636492/2191492932742849078\ 3993209805134849417576887833*c_0101_6^14 - 1881117313929089611364646405330960782392627674302/21914929327428490\ 783993209805134849417576887833*c_0101_6^13 + 94488580936913415975519221934144399671909450958/2191492932742849078\ 3993209805134849417576887833*c_0101_6^12 + 3159666294215029991913890962733210711701607527480/21914929327428490\ 783993209805134849417576887833*c_0101_6^11 - 196003253341159356656882008773538906010104452976/219149293274284907\ 83993209805134849417576887833*c_0101_6^10 - 93744848211265125129105541279182234979924855850/2191492932742849078\ 3993209805134849417576887833*c_0101_6^9 + 521774947503993327411952693215897613952245186822/219149293274284907\ 83993209805134849417576887833*c_0101_6^8 - 591644125647515828444456381016177057339669339009/219149293274284907\ 83993209805134849417576887833*c_0101_6^7 - 1131432313412334548413368798919014336284007619884/21914929327428490\ 783993209805134849417576887833*c_0101_6^6 + 732950930185806562867940894428322233876355576881/219149293274284907\ 83993209805134849417576887833*c_0101_6^5 + 905496941746991531684331766975602697207984652265/219149293274284907\ 83993209805134849417576887833*c_0101_6^4 + 260947332790864948559173812262529914687023676036/219149293274284907\ 83993209805134849417576887833*c_0101_6^3 - 84299504552285177481729279841871298318007062935/2191492932742849078\ 3993209805134849417576887833*c_0101_6^2 - 55416907566303991951383025503016339791374212509/2191492932742849078\ 3993209805134849417576887833*c_0101_6 - 1586383067365005085165678721932883815202987129/21914929327428490783\ 993209805134849417576887833, c_0101_0 + 641740739743053174971227905454896991361875870/21914929327428\ 490783993209805134849417576887833*c_0101_6^21 - 5266078530265772666302445588625327732028933430/21914929327428490783\ 993209805134849417576887833*c_0101_6^20 - 20782818189090964467375517708077858373005802347/2191492932742849078\ 3993209805134849417576887833*c_0101_6^19 + 92620383656404685095546478683953984156769494936/2191492932742849078\ 3993209805134849417576887833*c_0101_6^18 + 186331257345897657817686524589581479979925037726/219149293274284907\ 83993209805134849417576887833*c_0101_6^17 - 290721546938104030563137270510121419054959712007/219149293274284907\ 83993209805134849417576887833*c_0101_6^16 + 22281880390129143245676983374884024508201806758/2191492932742849078\ 3993209805134849417576887833*c_0101_6^15 + 90302936694941889431133125548279042181024929647/2191492932742849078\ 3993209805134849417576887833*c_0101_6^14 - 2803704182143614903790081724250953784462359424810/21914929327428490\ 783993209805134849417576887833*c_0101_6^13 + 153280994721688225500713410240386480846905687889/219149293274284907\ 83993209805134849417576887833*c_0101_6^12 + 4345538524490032376299901923139100990760470752144/21914929327428490\ 783993209805134849417576887833*c_0101_6^11 - 211220369209307314755856463204305283808866414156/219149293274284907\ 83993209805134849417576887833*c_0101_6^10 + 390425853519407891013316244667407309332519024820/219149293274284907\ 83993209805134849417576887833*c_0101_6^9 + 681385952553652669483044306228967226161663960567/219149293274284907\ 83993209805134849417576887833*c_0101_6^8 - 704668743998527210974755738593860445219176725687/219149293274284907\ 83993209805134849417576887833*c_0101_6^7 - 1673079863559978295400701864798261780800369821977/21914929327428490\ 783993209805134849417576887833*c_0101_6^6 + 947616955710998110182378104385361525061310985940/219149293274284907\ 83993209805134849417576887833*c_0101_6^5 + 1167973940616216800888987159260357603128644937901/21914929327428490\ 783993209805134849417576887833*c_0101_6^4 + 512479887011933899322332356497231702672834009064/219149293274284907\ 83993209805134849417576887833*c_0101_6^3 - 16601496125568445872161674880441679263533572427/2191492932742849078\ 3993209805134849417576887833*c_0101_6^2 + 9575365936931000304104446684137716262840416200/21914929327428490783\ 993209805134849417576887833*c_0101_6 - 4858632616720985518551425187741246691251990787/21914929327428490783\ 993209805134849417576887833, c_0101_1 - 27893156705420258856157900131029213745609738/219149293274284\ 90783993209805134849417576887833*c_0101_6^21 + 138823444065269916629230177090915661534925737/219149293274284907839\ 93209805134849417576887833*c_0101_6^20 + 1651098826642946034297683302080563814921473738/21914929327428490783\ 993209805134849417576887833*c_0101_6^19 - 1180439288986308583201652759250921328454896194/21914929327428490783\ 993209805134849417576887833*c_0101_6^18 - 21383104652824286153463181323520594780234968419/2191492932742849078\ 3993209805134849417576887833*c_0101_6^17 - 12221567537276139963117457230455534249479557270/2191492932742849078\ 3993209805134849417576887833*c_0101_6^16 + 42476176384737562404333862096895292521279423400/2191492932742849078\ 3993209805134849417576887833*c_0101_6^15 - 11641829412799359846716089902245535616182512018/2191492932742849078\ 3993209805134849417576887833*c_0101_6^14 + 108365391053161660980698793395582386747804602669/219149293274284907\ 83993209805134849417576887833*c_0101_6^13 + 390284875041888176042028042080647993859290247205/219149293274284907\ 83993209805134849417576887833*c_0101_6^12 - 247732279976370282017971562721662742481350326428/219149293274284907\ 83993209805134849417576887833*c_0101_6^11 - 599751727812509426432046665939196024792265136773/219149293274284907\ 83993209805134849417576887833*c_0101_6^10 + 88062049566762781705355702112928583993376929400/2191492932742849078\ 3993209805134849417576887833*c_0101_6^9 - 89099956368378042401625569723265312340115135749/2191492932742849078\ 3993209805134849417576887833*c_0101_6^8 - 99418122725307715213133690769606064578515642836/2191492932742849078\ 3993209805134849417576887833*c_0101_6^7 + 179566956926633400482128690831728231218292329869/219149293274284907\ 83993209805134849417576887833*c_0101_6^6 + 203590213659794685393353206873572940239496819399/219149293274284907\ 83993209805134849417576887833*c_0101_6^5 - 202100733532339765465536923471715355798788960510/219149293274284907\ 83993209805134849417576887833*c_0101_6^4 - 174310734731676670085075150676808708074193679651/219149293274284907\ 83993209805134849417576887833*c_0101_6^3 - 26175539030680712137144386320309759707222254028/2191492932742849078\ 3993209805134849417576887833*c_0101_6^2 + 5364561381313998797922934339315544703153876568/21914929327428490783\ 993209805134849417576887833*c_0101_6 - 8784823283650844642822709048169433426258713131/21914929327428490783\ 993209805134849417576887833, c_0101_5 - 96409145288852989269854459273658573406053500/219149293274284\ 90783993209805134849417576887833*c_0101_6^21 + 836628488140448798352158296564558842650553979/219149293274284907839\ 93209805134849417576887833*c_0101_6^20 + 2745160671005868394853300386916669372448046139/21914929327428490783\ 993209805134849417576887833*c_0101_6^19 - 15338343194947012107330430284113950962351654301/2191492932742849078\ 3993209805134849417576887833*c_0101_6^18 - 21479210695878829871652494393315913703556732249/2191492932742849078\ 3993209805134849417576887833*c_0101_6^17 + 55840631962365191034297413299674165099764458197/2191492932742849078\ 3993209805134849417576887833*c_0101_6^16 - 21972538704836069660468739335003168128402456508/2191492932742849078\ 3993209805134849417576887833*c_0101_6^15 - 6682972890168505390325435380637358605121535058/21914929327428490783\ 993209805134849417576887833*c_0101_6^14 + 417880805471119546236629571205271101648128082510/219149293274284907\ 83993209805134849417576887833*c_0101_6^13 - 215614346354558237470682577610501952459834404183/219149293274284907\ 83993209805134849417576887833*c_0101_6^12 - 631477896183223233174799292137881401107048720641/219149293274284907\ 83993209805134849417576887833*c_0101_6^11 + 261740990391127670336252407429731740486795716334/219149293274284907\ 83993209805134849417576887833*c_0101_6^10 - 55462016494683222795215602270674931250687020742/2191492932742849078\ 3993209805134849417576887833*c_0101_6^9 + 15197326324003606038295980012010362061934883698/2191492932742849078\ 3993209805134849417576887833*c_0101_6^8 + 120717758008315356061344496212668505936795172331/219149293274284907\ 83993209805134849417576887833*c_0101_6^7 + 251617691349065442699642272615464971534225555081/219149293274284907\ 83993209805134849417576887833*c_0101_6^6 - 261032273456898750998591934796285366758077414232/219149293274284907\ 83993209805134849417576887833*c_0101_6^5 - 140471558724108067424519842187533400563174430365/219149293274284907\ 83993209805134849417576887833*c_0101_6^4 - 32891118280206536448427095782129513800556178490/2191492932742849078\ 3993209805134849417576887833*c_0101_6^3 + 59845424952930534655148107221380895252040299061/2191492932742849078\ 3993209805134849417576887833*c_0101_6^2 + 15535921379209807289940916678478899428284542760/2191492932742849078\ 3993209805134849417576887833*c_0101_6 + 16644294184893511858081584326919311421716122203/2191492932742849078\ 3993209805134849417576887833, c_0101_6^22 - 8*c_0101_6^21 - 34*c_0101_6^20 + 137*c_0101_6^19 + 318*c_0101_6^18 - 381*c_0101_6^17 - 43*c_0101_6^16 + 101*c_0101_6^15 - 4318*c_0101_6^14 - 650*c_0101_6^13 + 6486*c_0101_6^12 + 1272*c_0101_6^11 + 1045*c_0101_6^10 + 855*c_0101_6^9 - 829*c_0101_6^8 - 2768*c_0101_6^7 + 823*c_0101_6^6 + 2009*c_0101_6^5 + 1401*c_0101_6^4 + 207*c_0101_6^3 - 42*c_0101_6^2 - 38*c_0101_6 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB