Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 3263389210] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0835 geometric_solution 4.75841463 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0321 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 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.668229510296 0.761082475187 0 0 2 3 0132 0321 1302 1302 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 0 0 0 0 0 0 0 0 0 0 1 -1 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.348562726707 0.741956894671 1 0 4 4 2031 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 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 0 0 1 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.987404876521 1.062820667522 5 5 1 0 0132 3201 2031 0132 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 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.323559107752 0.395048843357 2 6 2 6 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 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.383038879084 1.204465225286 3 5 3 5 0132 1302 2310 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 0 0 0 0 0 0 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.984770088941 1.657210957244 4 4 6 6 3201 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422354755031 0.088416558797 ==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' : d['1'], 's_3_4' : 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' : 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' : 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_0101_2'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : negation(d['c_0101_4'])})} 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_3, c_0011_4, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 9128146543735167502965766596230319250628915/24644080294641188995595\ 42620518273338724*c_0110_6^22 + 75347504399044578115630225218831703\ 490587/205367335788676574963295218376522778227*c_0110_6^21 + 78382413960540373971180431773598107927789135/6161020073660297248898\ 85655129568334681*c_0110_6^20 - 33171754744414521758895717284528967\ 7024139659/2464408029464118899559542620518273338724*c_0110_6^19 - 639796038481674733035677107495151130953408455/616102007366029724889\ 885655129568334681*c_0110_6^18 + 8954170880923728527381856393518489\ 31279023317/616102007366029724889885655129568334681*c_0110_6^17 + 1248700217611769567611545618991544144330027176/61610200736602972488\ 9885655129568334681*c_0110_6^16 - 162244426734851887806613461852772\ 533117793576/68455778596225524987765072792174259409*c_0110_6^15 - 428922476918370206693997849679578155762644006/205367335788676574963\ 295218376522778227*c_0110_6^14 + 4642151729631294548737141033819240\ 379259012229/2464408029464118899559542620518273338724*c_0110_6^13 + 424061179922880399316019104532497045210560485/136911557192451049975\ 530145584348518818*c_0110_6^12 - 1168887487309925608891168937191179\ 7886797969523/2464408029464118899559542620518273338724*c_0110_6^11 - 21151931177311582954812508170088455192711980231/2464408029464118899\ 559542620518273338724*c_0110_6^10 + 1077201225940172230996420943131120741358113027/61610200736602972488\ 9885655129568334681*c_0110_6^9 + 8477541229638291689939437664743499\ 227804199987/1232204014732059449779771310259136669362*c_0110_6^8 + 3762659661373462299565482611586754641446984821/12322040147320594497\ 79771310259136669362*c_0110_6^7 + 196219010324511327876943966067451\ 481752314849/821469343154706299853180873506091112908*c_0110_6^6 - 573483131976486207638070945830804127618786205/123220401473205944977\ 9771310259136669362*c_0110_6^5 - 3198715030119869603196485393117363\ 37433780333/1232204014732059449779771310259136669362*c_0110_6^4 - 32570531580368230455851442222350648442898415/8214693431547062998531\ 80873506091112908*c_0110_6^3 - 270554024401031795545641697364070386\ 4666242/616102007366029724889885655129568334681*c_0110_6^2 + 795243739835756348597320216324789168507089/273823114384902099951060\ 291168697037636*c_0110_6 + 3706417333716830004818768481504304542147\ 937/2464408029464118899559542620518273338724, c_0011_0 - 1, c_0011_3 - 1005667070461675167764168447008638391670/2053673357886765749\ 63295218376522778227*c_0110_6^22 + 110670864352388700381224297119173059101/273823114384902099951060291\ 168697037636*c_0110_6^21 + 1382271381464510924495251380973568478228\ 37/821469343154706299853180873506091112908*c_0110_6^20 - 143913473399946894284723705375154065026379/821469343154706299853180\ 873506091112908*c_0110_6^19 - 1131989252390485948818086024183140002\ 578681/821469343154706299853180873506091112908*c_0110_6^18 + 520632792179939367699265762283248638703771/273823114384902099951060\ 291168697037636*c_0110_6^17 + 1867802975924898031597383652270008208\ 78494/68455778596225524987765072792174259409*c_0110_6^16 - 1280254778997252231471786513050774556558719/41073467157735314992659\ 0436753045556454*c_0110_6^15 - 777999816826114595758992677167065348\ 938423/273823114384902099951060291168697037636*c_0110_6^14 + 512399362284765463636791043808557031687135/205367335788676574963295\ 218376522778227*c_0110_6^13 + 8513339828086772794347890298377612141\ 13026/205367335788676574963295218376522778227*c_0110_6^12 - 2561324730416884401234057727313480402253257/41073467157735314992659\ 0436753045556454*c_0110_6^11 - 942934176214004058645507420630593076\ 3172715/821469343154706299853180873506091112908*c_0110_6^10 + 906873830748047864565593793764010842957717/410734671577353149926590\ 436753045556454*c_0110_6^9 + 38002508043139322607019366190866833847\ 80337/410734671577353149926590436753045556454*c_0110_6^8 + 3394405756352129830872937998108493201620143/82146934315470629985318\ 0873506091112908*c_0110_6^7 + 1349012931348789748355643785273413841\ 85707/410734671577353149926590436753045556454*c_0110_6^6 - 42871719012525856093131087014619989609038/6845577859622552498776507\ 2792174259409*c_0110_6^5 - 5379056747399762309160876547011866574959\ 1/136911557192451049975530145584348518818*c_0110_6^4 - 29000160444295480290685616342411593012595/4107346715773531499265904\ 36753045556454*c_0110_6^3 - 645511766429906503560558862912800367745\ 9/821469343154706299853180873506091112908*c_0110_6^2 + 3962477567415835188309678225201298178971/82146934315470629985318087\ 3506091112908*c_0110_6 + 212810086583554836677730605258631535507/68\ 455778596225524987765072792174259409, c_0011_4 - 837175879941804545880977390046636359940/68455778596225524987\ 765072792174259409*c_0110_6^22 + 1467469539306918215281695823205028\ 088883/821469343154706299853180873506091112908*c_0110_6^21 + 172459642307009596727027750084599763467175/410734671577353149926590\ 436753045556454*c_0110_6^20 - 3812845665633102655233000699713330429\ 65007/821469343154706299853180873506091112908*c_0110_6^19 - 699039242533475167231162082961576457233737/205367335788676574963295\ 218376522778227*c_0110_6^18 + 4070619238630327246778723404087063496\ 150473/821469343154706299853180873506091112908*c_0110_6^17 + 5285322047420746257749678798631712116758729/82146934315470629985318\ 0873506091112908*c_0110_6^16 - 664669813076086880006314517888033008\ 6044737/821469343154706299853180873506091112908*c_0110_6^15 - 885199030780475178302559899433233412629773/136911557192451049975530\ 145584348518818*c_0110_6^14 + 8835189716547462183865327492459606429\ 09721/136911557192451049975530145584348518818*c_0110_6^13 + 4057814428262534568821907728551626917247017/41073467157735314992659\ 0436753045556454*c_0110_6^12 - 219951439597629572414138476837150351\ 7542309/136911557192451049975530145584348518818*c_0110_6^11 - 22604702045273790750745559472617382931150955/8214693431547062998531\ 80873506091112908*c_0110_6^10 + 57041013700096190775047942054416802\ 46242053/821469343154706299853180873506091112908*c_0110_6^9 + 18226963592595176927459923553201533886359561/8214693431547062998531\ 80873506091112908*c_0110_6^8 + 624435496708631567243819850168922053\ 679692/68455778596225524987765072792174259409*c_0110_6^7 + 108000771402487749903141394020121851141376/205367335788676574963295\ 218376522778227*c_0110_6^6 - 62708278317863084303820387902982821787\ 3205/410734671577353149926590436753045556454*c_0110_6^5 - 323927796706194020418507813570673249385201/410734671577353149926590\ 436753045556454*c_0110_6^4 - 21520567476033424476129454136474676812\ 132/205367335788676574963295218376522778227*c_0110_6^3 - 3736143430731872265243979762514801975811/27382311438490209995106029\ 1168697037636*c_0110_6^2 + 4730243880458250510027270424684396651231\ /410734671577353149926590436753045556454*c_0110_6 + 336947576202226802095619644751976492274/684557785962255249877650727\ 92174259409, c_0101_0 + 14245840771370237828127125705838070158035/164293868630941259\ 9706361747012182225816*c_0110_6^22 - 422145975320301292193799695992044563751/273823114384902099951060291\ 168697037636*c_0110_6^21 - 4891382760201900383657331886535064231411\ 77/1642938686309412599706361747012182225816*c_0110_6^20 + 185367847142657847893349754688771161649377/547646228769804199902120\ 582337394075272*c_0110_6^19 + 1317076838484824540233496396063398803\ 479165/547646228769804199902120582337394075272*c_0110_6^18 - 2949056985763688912252347851566367452639815/82146934315470629985318\ 0873506091112908*c_0110_6^17 - 734477154359770888659306416142405721\ 3534037/1642938686309412599706361747012182225816*c_0110_6^16 + 3225879654321388656487141992457143157071771/54764622876980419990212\ 0582337394075272*c_0110_6^15 + 734522951907000760608778791830324463\ 1770043/1642938686309412599706361747012182225816*c_0110_6^14 - 7817921045597703028917646785763030001596217/16429386863094125997063\ 61747012182225816*c_0110_6^13 - 56958503236640080810388583583464831\ 15414991/821469343154706299853180873506091112908*c_0110_6^12 + 19137436420347637412216592119451857755968995/1642938686309412599706\ 361747012182225816*c_0110_6^11 + 3158603602451328277070286713938347\ 4858984403/1642938686309412599706361747012182225816*c_0110_6^10 - 3062481323783857003798042641788247202876085/54764622876980419990212\ 0582337394075272*c_0110_6^9 - 2597567757855363269701598930156449654\ 5805825/1642938686309412599706361747012182225816*c_0110_6^8 - 9835445929802614724974112774889860225552035/16429386863094125997063\ 61747012182225816*c_0110_6^7 + 346686780289607037053842448752517102\ 90057/1642938686309412599706361747012182225816*c_0110_6^6 + 484189405207126297442578926539000910358819/410734671577353149926590\ 436753045556454*c_0110_6^5 + 10993941289474548185630525958860195950\ 7999/205367335788676574963295218376522778227*c_0110_6^4 + 24044746387442193623562851940740479745363/5476462287698041999021205\ 82337394075272*c_0110_6^3 - 83169368305068142580702047411363762035/\ 136911557192451049975530145584348518818*c_0110_6^2 - 7053622321686168831538808764884274987193/82146934315470629985318087\ 3506091112908*c_0110_6 - 4658815176281189115393873565897767798013/1\ 642938686309412599706361747012182225816, c_0101_2 - 10261866468374319068798976499548780962995/164293868630941259\ 9706361747012182225816*c_0110_6^22 + 223101654482963561291365680779763891883/410734671577353149926590436\ 753045556454*c_0110_6^21 + 3527121583602850109762783762970147302271\ 85/1642938686309412599706361747012182225816*c_0110_6^20 - 368828214337706095760324343932304150523265/164293868630941259970636\ 1747012182225816*c_0110_6^19 - 288931482098059119314128556316819144\ 7649627/1642938686309412599706361747012182225816*c_0110_6^18 + 1001281751729136028132050739372227995934041/41073467157735314992659\ 0436753045556454*c_0110_6^17 + 571929044473882740062993932744587520\ 3696651/1642938686309412599706361747012182225816*c_0110_6^16 - 2207971760419114061964873651106324797175145/54764622876980419990212\ 0582337394075272*c_0110_6^15 - 196951266913217647943860007760867338\ 8763557/547646228769804199902120582337394075272*c_0110_6^14 + 5317962626726820039507894525043738396714945/16429386863094125997063\ 61747012182225816*c_0110_6^13 + 14445112361173330055033082453869346\ 11359405/273823114384902099951060291168697037636*c_0110_6^12 - 13162922713303094845541805023739316875179375/1642938686309412599706\ 361747012182225816*c_0110_6^11 - 2405240868634185841393932047602655\ 1668924921/1642938686309412599706361747012182225816*c_0110_6^10 + 4921822351933049418163090512989379631300981/16429386863094125997063\ 61747012182225816*c_0110_6^9 + 647141937370401149931367379069112220\ 5356885/547646228769804199902120582337394075272*c_0110_6^8 + 8403499591746924922229025896461155947005471/16429386863094125997063\ 61747012182225816*c_0110_6^7 + 519040616766201875332408477418354558\ 722891/1642938686309412599706361747012182225816*c_0110_6^6 - 166022420750717879605250926088727674567897/205367335788676574963295\ 218376522778227*c_0110_6^5 - 89895448338653669148625735877160175023\ 118/205367335788676574963295218376522778227*c_0110_6^4 - 32586879087285491796630797091953614683463/5476462287698041999021205\ 82337394075272*c_0110_6^3 - 479005158997828074220759136670903963991\ 7/821469343154706299853180873506091112908*c_0110_6^2 + 1776600646734821705233719307246998399997/27382311438490209995106029\ 1168697037636*c_0110_6 + 1709681153503405782046542047080925542159/5\ 47646228769804199902120582337394075272, c_0101_4 - 19476969970051149120163106258197034870875/821469343154706299\ 853180873506091112908*c_0110_6^22 + 791348574195592966950082808499133039595/410734671577353149926590436\ 753045556454*c_0110_6^21 + 5576011948271297293000593146227266220855\ 3/68455778596225524987765072792174259409*c_0110_6^20 - 347964692310252237911877407461184336882279/410734671577353149926590\ 436753045556454*c_0110_6^19 - 1369158831249845060931687755569159678\ 682209/205367335788676574963295218376522778227*c_0110_6^18 + 2516586577912038865352004227848968384817693/27382311438490209995106\ 0291168697037636*c_0110_6^17 + 270510356532744503684989861670575699\ 2218273/205367335788676574963295218376522778227*c_0110_6^16 - 12320103265732596702272570781787958940317233/8214693431547062998531\ 80873506091112908*c_0110_6^15 - 11245915119692190515674905667753544\ 843163461/821469343154706299853180873506091112908*c_0110_6^14 + 4893142276622700120526175459373298929589883/41073467157735314992659\ 0436753045556454*c_0110_6^13 + 274949646952842273443222355821030403\ 8521401/136911557192451049975530145584348518818*c_0110_6^12 - 24711346342191250709921789343850312960542157/8214693431547062998531\ 80873506091112908*c_0110_6^11 - 45642024963048562374167561218681150\ 823684903/821469343154706299853180873506091112908*c_0110_6^10 + 2134362630487335216950738261190505033245638/20536733578867657496329\ 5218376522778227*c_0110_6^9 + 3653225251491818559155006454110536127\ 7239521/821469343154706299853180873506091112908*c_0110_6^8 + 16598086238797592776211408493863526821190965/8214693431547062998531\ 80873506091112908*c_0110_6^7 + 693762948205883677041837726516913122\ 344429/410734671577353149926590436753045556454*c_0110_6^6 - 205315816436095033588142233634437346991841/684557785962255249877650\ 72792174259409*c_0110_6^5 - 703747045095935725542828390117510948298\ 031/410734671577353149926590436753045556454*c_0110_6^4 - 220901360619332056553708476204379102277883/821469343154706299853180\ 873506091112908*c_0110_6^3 - 19175617089427040030933195966424391090\ 57/68455778596225524987765072792174259409*c_0110_6^2 + 5473956328898297997315169606816628909943/27382311438490209995106029\ 1168697037636*c_0110_6 + 2099423878874812523280654772928457817091/2\ 05367335788676574963295218376522778227, c_0110_6^23 + 2/5*c_0110_6^22 - 172/5*c_0110_6^21 + 96/5*c_0110_6^20 + 1493/5*c_0110_6^19 - 1263/5*c_0110_6^18 - 3719/5*c_0110_6^17 + 1841/5*c_0110_6^16 + 4422/5*c_0110_6^15 - 1147/5*c_0110_6^14 - 1091*c_0110_6^13 + 865*c_0110_6^12 + 14791/5*c_0110_6^11 + 680*c_0110_6^10 - 10493/5*c_0110_6^9 - 8742/5*c_0110_6^8 - 2357/5*c_0110_6^7 + 473/5*c_0110_6^6 + 664/5*c_0110_6^5 + 227/5*c_0110_6^4 + 32/5*c_0110_6^3 - 1/5*c_0110_6^2 - 4/5*c_0110_6 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB