Magma V2.19-8 Tue Aug 20 2013 16:16:05 on localhost [Seed = 2665415249] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0340 geometric_solution 4.36709811 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 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 -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.672854545224 0.237058622606 0 0 1 1 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4.080588965782 0.495100302302 0 0 3 3 2310 0132 3201 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 -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.405831218819 0.252594101056 2 4 2 5 2310 0132 0132 0132 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 1 -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 0.995527878141 0.368167452491 5 3 6 6 3120 0132 3201 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 -1 0 1 1 0 0 -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.513997526540 1.002643973052 6 6 3 4 1023 2310 0132 3120 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 1 -1 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.513997526540 1.002643973052 4 5 4 5 2310 1023 0132 3201 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 -1 1 0 0 1 -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.404885565693 0.789801606538 ==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' : 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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 370861920794342302440050112699173409016190367415666964688191886363/\ 15116498110380558748146885073941857162980481670323149172786741098*c\ _0101_6^32 + 223226794459155166860501734433472208722015551813764229\ 014025780518433/105815486772663911237028195517593000140863371692262\ 044209507187686*c_0101_6^30 - 3986128150897904230582917307506945784\ 956739895017245797147029843764375/529077433863319556185140977587965\ 00070431685846131022104753593843*c_0101_6^28 + 7446988796862790560899987879037873149701811394490387126633707591146\ 0953/52907743386331955618514097758796500070431685846131022104753593\ 843*c_0101_6^26 - 1505801242551885469305661591882655779987423869288\ 238250513815734440691013/105815486772663911237028195517593000140863\ 371692262044209507187686*c_0101_6^24 + 7687735754767733564150190053964889890882736335955130194441310886953\ 352087/105815486772663911237028195517593000140863371692262044209507\ 187686*c_0101_6^22 - 1774038887671179402399964064565813689858963928\ 0354156838949106067190318489/10581548677266391123702819551759300014\ 0863371692262044209507187686*c_0101_6^20 + 5086274607642040823080400361093773927147977595318652900422098149714\ 292735/151164981103805587481468850739418571629804816703231491727867\ 41098*c_0101_6^18 - 61684066158444331776955958843092447637876651463\ 325957574143472300999440109/105815486772663911237028195517593000140\ 863371692262044209507187686*c_0101_6^16 + 3251406947273095922795071453899234443925073467536695967731212742830\ 7237745/52907743386331955618514097758796500070431685846131022104753\ 593843*c_0101_6^14 - 9572887623777143397011029940792507100409604940\ 996708611217049802237132397/151164981103805587481468850739418571629\ 80481670323149172786741098*c_0101_6^12 + 5103582383266718659221556991952188036397813204866659644176010383011\ 8508625/10581548677266391123702819551759300014086337169226204420950\ 7187686*c_0101_6^10 - 449541364316684693126542019957216495081505178\ 9050471646878900700753332847/52907743386331955618514097758796500070\ 431685846131022104753593843*c_0101_6^8 + 3745028032285648398212155978839359049795675731405675410367578812689\ 60665/1511649811038055874814688507394185716298048167032314917278674\ 1098*c_0101_6^6 - 4285647047193754441708523023689205823588250889044\ 74068819217411772689113/1058154867726639112370281955175930001408633\ 71692262044209507187686*c_0101_6^4 + 1056028467464075447682362235034053916172040042322171626404582907597\ 2215/52907743386331955618514097758796500070431685846131022104753593\ 843*c_0101_6^2 - 10969913266240374959759672787478904120310244679862\ 7484580265842594366/52907743386331955618514097758796500070431685846\ 131022104753593843, c_0011_0 - 1, c_0011_3 - 954212085669090079558382588534480900884369520892661168009909\ 318/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^32 + 820476796373662899560199993014949302922562014332551\ 23772316256735/4809794853302905056228554341708772733675607804193729\ 282250326713*c_0101_6^30 - 4185839527079508764901717211252495869022\ 17378237827070619564181118/6871135504718435794612220488155389619536\ 58257741961326035760959*c_0101_6^28 + 5473661229567453322148191042670722258251012668380875397140010419636\ 6/4809794853302905056228554341708772733675607804193729282250326713*\ c_0101_6^26 - 55332174123250877220399072249154209716793969055334389\ 6082431167924352/48097948533029050562285543417087727336756078041937\ 29282250326713*c_0101_6^24 + 28241418703523391126986353525200569876\ 83836979534357524669717438345832/4809794853302905056228554341708772\ 733675607804193729282250326713*c_0101_6^22 - 6512572356777153018260945121487326208979062562284229311160326905983\ 835/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^20 + 130679345910626620950404987705291988243980404448601\ 58637808909536358768/4809794853302905056228554341708772733675607804\ 193729282250326713*c_0101_6^18 - 2263515860525234402498052511197362\ 9529344660809427353261024874976903996/48097948533029050562285543417\ 08772733675607804193729282250326713*c_0101_6^16 + 2383671348594518082875285214387876138653249092019199303288342452492\ 7476/48097948533029050562285543417087727336756078041937292822503267\ 13*c_0101_6^14 - 24561978443595365629900963967821214193853979645456\ 003525794559876742925/480979485330290505622855434170877273367560780\ 4193729282250326713*c_0101_6^12 + 186883153700843380280082026938581\ 97532041499869853348588900733865269332/4809794853302905056228554341\ 708772733675607804193729282250326713*c_0101_6^10 - 3251083745136452772531001476013076416909620692832074279120346002051\ 431/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^8 + 9546187343183816125154865837929618547756548012932333\ 37804804706082158/4809794853302905056228554341708772733675607804193\ 729282250326713*c_0101_6^6 - 15490892340069135015831600995546008227\ 1862084369991293882410482099327/48097948533029050562285543417087727\ 33675607804193729282250326713*c_0101_6^4 + 7343374543436747761859227257752194079151408702879497608351070607891\ /4809794853302905056228554341708772733675607804193729282250326713*c\ _0101_6^2 - 6840598499551938814670745843847141073790444110324192067\ 7295034797/48097948533029050562285543417087727336756078041937292822\ 50326713, c_0011_5 - 100907845801107062666574474408809486049815778576692825755810\ 2886/48097948533029050562285543417087727336756078041937292822503267\ 13*c_0101_6^32 + 86764875832452410838879653833975355685498400843412\ 582847733814569/480979485330290505622855434170877273367560780419372\ 9282250326713*c_0101_6^30 - 442646346557825787204388874892309930265\ 808049258300026901284874028/687113550471843579461222048815538961953\ 658257741961326035760959*c_0101_6^28 + 5788246752059686706323070893269142224915764489280267739876553419162\ 7/4809794853302905056228554341708772733675607804193729282250326713*\ c_0101_6^26 - 58511020509898685226931728465450759620296140839985347\ 3913440336306300/48097948533029050562285543417087727336756078041937\ 29282250326713*c_0101_6^24 + 29862554963394385780926210587951852517\ 32716031720860801134015311158338/4809794853302905056228554341708772\ 733675607804193729282250326713*c_0101_6^22 - 6885666533143193167642184216271883029276612288358572598358979483314\ 214/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^20 + 138162510184983813621168204678497607829255192875653\ 10756713280503481354/4809794853302905056228554341708772733675607804\ 193729282250326713*c_0101_6^18 - 2393052716717115850176907976675716\ 8972185771541825581458637850372596292/48097948533029050562285543417\ 08772733675607804193729282250326713*c_0101_6^16 + 2519677678489653615430776356431671254329862350139006086798681445740\ 8778/48097948533029050562285543417087727336756078041937292822503267\ 13*c_0101_6^14 - 25963672582598500641895920639307416339195645901768\ 497324436409428218418/480979485330290505622855434170877273367560780\ 4193729282250326713*c_0101_6^12 + 197519592216656066089622595024378\ 34473497474223870403238878859021873034/4809794853302905056228554341\ 708772733675607804193729282250326713*c_0101_6^10 - 3430058877819589591590520848913816068846978994260538437993698674089\ 521/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^8 + 1008883759910165702397847412674912337218095114633160\ 526046487471742378/480979485330290505622855434170877273367560780419\ 3729282250326713*c_0101_6^6 - 1634843959322176855803957996909500543\ 73388233896402553705039981866064/4809794853302905056228554341708772\ 733675607804193729282250326713*c_0101_6^4 + 7742070652235619988509623469532745807799118804507375277521425343658\ /4809794853302905056228554341708772733675607804193729282250326713*c\ _0101_6^2 - 7233853672176953615100446880406933268869515413786334706\ 6902975626/48097948533029050562285543417087727336756078041937292822\ 50326713, c_0101_0 - 195556328188925058639016273732649330740804355341105600940170\ 00/687113550471843579461222048815538961953658257741961326035760959*\ c_0101_6^33 + 11767616986299303182258499758358161157876908683160959\ 039569392683/480979485330290505622855434170877273367560780419372928\ 2250326713*c_0101_6^31 - 420105621389967480637957323796196094652422\ 186667281353084067724634/480979485330290505622855434170877273367560\ 7804193729282250326713*c_0101_6^29 + 7843888402856811063811959417441124474687567644812273030472065343746\ /4809794853302905056228554341708772733675607804193729282250326713*c\ _0101_6^27 - 792198424952928206361877025656242026587452706995948065\ 62456010675603/4809794853302905056228554341708772733675607804193729\ 282250326713*c_0101_6^25 + 4035521574638052672347840573840010913321\ 43542666468760342915603151643/4809794853302905056228554341708772733\ 675607804193729282250326713*c_0101_6^23 - 9262524519249995582774200460971876145765372158845362243599851872446\ 45/4809794853302905056228554341708772733675607804193729282250326713\ *c_0101_6^21 + 2652545517921374222581419314044378667640944945560480\ 05421415690985330/6871135504718435794612220488155389619536582577419\ 61326035760959*c_0101_6^19 - 32115368788988837069726031580111912358\ 94587379396740417599477345703241/4809794853302905056228554341708772\ 733675607804193729282250326713*c_0101_6^17 + 3358470387842511648627543297813569188167526326875227309923721770460\ 020/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^15 - 494659362723169789346614295205061670603303878935874\ 970007189236286977/687113550471843579461222048815538961953658257741\ 961326035760959*c_0101_6^13 + 2618163562227597820774387981863593810\ 000661564782717500477160245490620/480979485330290505622855434170877\ 2733675607804193729282250326713*c_0101_6^11 - 4209902158259684534554544421433181530803328346754693386403734885485\ 68/4809794853302905056228554341708772733675607804193729282250326713\ *c_0101_6^9 + 19186368205662155119457488818220109427689855986613264\ 211113622117343/687113550471843579461222048815538961953658257741961\ 326035760959*c_0101_6^7 - 20382763397518543138448553576405840351936\ 864698357977116288433305312/480979485330290505622855434170877273367\ 5607804193729282250326713*c_0101_6^5 + 946377416695168915799892030141068093048315733173349910581899563934/\ 4809794853302905056228554341708772733675607804193729282250326713*c_\ 0101_6^3 - 38481868538053018236673127154137034990923152463283468262\ 548953005/480979485330290505622855434170877273367560780419372928225\ 0326713*c_0101_6, c_0101_1 - 885975703996732061227623723153162127453290103867871709476654\ 583/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^32 + 761857077129617939340085344310798796204407569861376\ 20114748282555/4809794853302905056228554341708772733675607804193729\ 282250326713*c_0101_6^30 - 2721011809917920408024042835352708506725\ 006601171516922723179878627/480979485330290505622855434170877273367\ 5607804193729282250326713*c_0101_6^28 + 5083865669228641929569734664122791087361005631274061951738844723146\ 5/4809794853302905056228554341708772733675607804193729282250326713*\ c_0101_6^26 - 51405735979044393709422454999204850512511630182286976\ 8469414710744545/48097948533029050562285543417087727336756078041937\ 29282250326713*c_0101_6^24 + 26252515522947577041425070089110867524\ 07480352748160782286637758349532/4809794853302905056228554341708772\ 733675607804193729282250326713*c_0101_6^22 - 6062421523739316849274815603706739505206716554028697362582825300602\ 685/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^20 + 121688830473894521308268626916573492600939409582051\ 15863350362691204595/4809794853302905056228554341708772733675607804\ 193729282250326713*c_0101_6^18 - 2108741613438437302693715840976688\ 2740377897910107565400938882292159880/48097948533029050562285543417\ 08772733675607804193729282250326713*c_0101_6^16 + 2225446154418615651049349535418316979275312245256838564699233531024\ 5976/48097948533029050562285543417087727336756078041937292822503267\ 13*c_0101_6^14 - 22931838473149004491326805257359808020534620213795\ 831181703760435611627/480979485330290505622855434170877273367560780\ 4193729282250326713*c_0101_6^12 + 249744529448493858097656005749102\ 8220934160991843413630934717441673587/68711355047184357946122204881\ 5538961953658257741961326035760959*c_0101_6^10 - 3115873772386235340077450546841880735388248551745716286148436244961\ 769/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^8 + 8994198984171235237055967375521655615505144648223318\ 96693238264973970/4809794853302905056228554341708772733675607804193\ 729282250326713*c_0101_6^6 - 14860030971675794524861308853149741522\ 8223892936016368994069426446077/48097948533029050562285543417087727\ 33675607804193729282250326713*c_0101_6^4 + 7429655321039137351764117388856609833556510370107809570304708778128\ /4809794853302905056228554341708772733675607804193729282250326713*c\ _0101_6^2 - 7526107418722355401235984944104374603769765592880293222\ 1753541196/48097948533029050562285543417087727336756078041937292822\ 50326713, c_0101_2 - 147704664099652869282359277418308581645630138212919333782689\ 230/687113550471843579461222048815538961953658257741961326035760959\ *c_0101_6^32 + 8890250893596521521669397820103958503679208886202147\ 0975938857248/48097948533029050562285543417087727336756078041937292\ 82250326713*c_0101_6^30 - 31748912931720305068700801189253244099480\ 46252252992654740110977552/4809794853302905056228554341708772733675\ 607804193729282250326713*c_0101_6^28 + 5930987208276400799656961186587049413331547190244678455872854713403\ 7/4809794853302905056228554341708772733675607804193729282250326713*\ c_0101_6^26 - 59955396086614819846272249801512406062428145220744175\ 7377833437302653/48097948533029050562285543417087727336756078041937\ 29282250326713*c_0101_6^24 + 30601321704925663587143432297493271954\ 94068419998085253137184407878011/4809794853302905056228554341708772\ 733675607804193729282250326713*c_0101_6^22 - 7056898799024945812828411618098211560278025482953924107542977522041\ 575/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^20 + 202288997254482488440766935265428388131795415463922\ 3816174448146824449/68711355047184357946122204881553896195365825774\ 1961326035760959*c_0101_6^18 - 245272898309228112962292430386967341\ 53014923535180733299140703558052166/4809794853302905056228554341708\ 772733675607804193729282250326713*c_0101_6^16 + 2583000222344574528751830503078722799753303595006002677413794057783\ 7232/48097948533029050562285543417087727336756078041937292822503267\ 13*c_0101_6^14 - 38022802996752750645396609518257530766418859156852\ 86234873417267181613/6871135504718435794612220488155389619536582577\ 41961326035760959*c_0101_6^12 + 20251686112341100916163393000021453\ 252701614239260616662268068402115873/480979485330290505622855434170\ 8772733675607804193729282250326713*c_0101_6^10 - 3524250329399932727793851061459632451887647535686825818469233427752\ 414/480979485330290505622855434170877273367560780419372928225032671\ 3*c_0101_6^8 + 1478146305471699826645390032455663389674910249413551\ 35480896105806548/6871135504718435794612220488155389619536582577419\ 61326035760959*c_0101_6^6 - 168012931876392265374985735278697944011\ 023405215781078842325782859294/480979485330290505622855434170877273\ 3675607804193729282250326713*c_0101_6^4 + 7965729252871656045698907376146781303081843651210112300672286521891\ /4809794853302905056228554341708772733675607804193729282250326713*c\ _0101_6^2 - 7459240982058074624112644436863499563547983605983316006\ 6116349284/48097948533029050562285543417087727336756078041937292822\ 50326713, c_0101_6^34 - 86*c_0101_6^32 + 3072*c_0101_6^30 - 57410*c_0101_6^28 + 580748*c_0101_6^26 - 2968503*c_0101_6^24 + 6870204*c_0101_6^22 - 13798967*c_0101_6^20 + 23929879*c_0101_6^18 - 25341682*c_0101_6^16 + 26120392*c_0101_6^14 - 19976439*c_0101_6^12 + 3704480*c_0101_6^10 - 1051337*c_0101_6^8 + 177472*c_0101_6^6 - 10117*c_0101_6^4 + 181*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB