Magma V2.19-8 Tue Aug 20 2013 16:19:01 on localhost [Seed = 3886447246] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3160 geometric_solution 6.31237562 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 -1 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 -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.535463511710 0.405639000131 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 -1 1 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 1.277951010519 0.493255763466 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -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.650646718547 0.620862196211 6 5 4 1 0132 1023 1023 0132 0 0 0 0 0 -1 0 1 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 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.650646718547 0.620862196211 5 2 3 5 1230 0132 1023 3012 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 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.494839759060 0.789420978375 3 4 4 2 1023 3012 1230 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.422576259145 0.617215837648 3 6 2 6 0132 2310 0132 3201 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 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.984192546259 1.108170372593 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : 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' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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' : d['c_0101_1'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 14087060038036391254533433923903415/1573642316232711713869259105276\ 352*c_0101_4^17 + 2396780093826739697798097262256329/78682115811635\ 5856934629552638176*c_0101_4^16 + 121434490900948682583228980961195\ 259/1573642316232711713869259105276352*c_0101_4^15 + 6007115248864981487489686272199115/26227371937211861897820985087939\ 2*c_0101_4^14 - 20881408784646484021470045833888749/983526447645444\ 82116828694079772*c_0101_4^13 - 14457499970410255033543034829322691\ /54263528145955576340319279492288*c_0101_4^12 + 3432149602690987869544376239795867/49176322382272241058414347039886\ *c_0101_4^11 + 77296784018815918293505892833217639/2622737193721186\ 18978209850879392*c_0101_4^10 + 14766098622117646557543692655047802\ 5/87424573124039539659403283626464*c_0101_4^9 + 224002660235692776086865092662957223/983526447645444821168286940797\ 72*c_0101_4^8 + 557788440049026063894178464018786469/52454743874423\ 7237956419701758784*c_0101_4^7 - 1269188245185643724125028488188830\ 341/1573642316232711713869259105276352*c_0101_4^6 + 962769194250257420254598107170390251/786821158116355856934629552638\ 176*c_0101_4^5 - 237774056848241330736269557435707187/3934105790581\ 77928467314776319088*c_0101_4^4 + 690017635452186130915355139747525\ 71/143058392384791973988114464116032*c_0101_4^3 - 128141416077735598122513604012659473/786821158116355856934629552638\ 176*c_0101_4^2 + 327889185757086351801710888142439/8941149524049498\ 374257154007252*c_0101_4 + 4295310675648983047050505915101887/19670\ 5289529088964233657388159544, c_0011_0 - 1, c_0011_1 + 1174413878335643349147296745/167480025141838198581232344112*\ c_0101_4^17 + 128101490007571331999228313/8374001257091909929061617\ 2056*c_0101_4^16 - 6280531674410275911375086377/1674800251418381985\ 81232344112*c_0101_4^15 - 5319607531442159653975486673/837400125709\ 19099290616172056*c_0101_4^14 - 609898605071250163850605176/1046750\ 1571364887411327021507*c_0101_4^13 + 45897727020891620845786410697/167480025141838198581232344112*c_0101\ _4^12 + 7327755652013657471599009764/10467501571364887411327021507*\ c_0101_4^11 + 32358353877525858887827674555/83740012570919099290616\ 172056*c_0101_4^10 - 158449158205217548016682485957/837400125709190\ 99290616172056*c_0101_4^9 - 146375225993894332347916444693/41870006\ 285459549645308086028*c_0101_4^8 - 1043351288149738186766823282157/167480025141838198581232344112*c_01\ 01_4^7 - 853874069235010880808032640545/167480025141838198581232344\ 112*c_0101_4^6 - 107949041941139307667507977753/8374001257091909929\ 0616172056*c_0101_4^5 + 85322570690248035047708058579/2093500314272\ 9774822654043014*c_0101_4^4 - 52358670446032327951880163913/1522545\ 6831076199871021122192*c_0101_4^3 + 63703624392119073572612692793/83740012570919099290616172056*c_0101_\ 4^2 - 1010825132961559146719521009/951591051942262491938820137*c_01\ 01_4 + 398646929195384279701599395/20935003142729774822654043014, c_0011_3 - 9645377117305525303729410745/167480025141838198581232344112*\ c_0101_4^17 + 6424570403051694494964439217/837400125709190992906161\ 72056*c_0101_4^16 + 83509557537813416009232040865/16748002514183819\ 8581232344112*c_0101_4^15 - 30370181900911136247323942389/837400125\ 70919099290616172056*c_0101_4^14 - 17876823816860101399928268005/10467501571364887411327021507*c_0101_\ 4^13 - 53998420098586078028920139417/167480025141838198581232344112\ *c_0101_4^12 + 117442604227216894563662715017/418700062854595496453\ 08086028*c_0101_4^11 + 157751646293590156325337829517/8374001257091\ 9099290616172056*c_0101_4^10 + 684196388276146693495835455837/83740\ 012570919099290616172056*c_0101_4^9 + 119866707359971882749540721133/41870006285459549645308086028*c_0101\ _4^8 - 1886955129531009082882042785131/1674800251418381985812323441\ 12*c_0101_4^7 - 2523112123776500559042798910987/1674800251418381985\ 81232344112*c_0101_4^6 + 1294949983508733192957508696099/8374001257\ 0919099290616172056*c_0101_4^5 - 54958141959585802023441940671/1046\ 7501571364887411327021507*c_0101_4^4 + 65229656914288432168437817265/15225456831076199871021122192*c_0101_\ 4^3 - 210768917361610798084630904643/83740012570919099290616172056*\ c_0101_4^2 + 647860460866701202530614624/95159105194226249193882013\ 7*c_0101_4 + 4720942289717794839452650515/2093500314272977482265404\ 3014, c_0101_0 + 32695643759699580658276163905/167480025141838198581232344112\ *c_0101_4^17 + 2424639672181771287105417207/83740012570919099290616\ 172056*c_0101_4^16 - 286836850057907148029055331737/167480025141838\ 198581232344112*c_0101_4^15 - 111736920535766450224915026479/837400\ 12570919099290616172056*c_0101_4^14 + 91498845975302285331847319213/20935003142729774822654043014*c_0101_\ 4^13 + 1368748054094076640221643610321/1674800251418381985812323441\ 12*c_0101_4^12 + 57784536425931351335892869739/41870006285459549645\ 308086028*c_0101_4^11 - 623385119126775558878214415805/837400125709\ 19099290616172056*c_0101_4^10 - 3374742193986348313992634051233/837\ 40012570919099290616172056*c_0101_4^9 - 2820797913527012207994867647815/41870006285459549645308086028*c_010\ 1_4^8 - 7929919223022199784308974823365/167480025141838198581232344\ 112*c_0101_4^7 + 1280806464014675799984501320091/167480025141838198\ 581232344112*c_0101_4^6 - 1367079119627033624856710826879/837400125\ 70919099290616172056*c_0101_4^5 - 4811470135239845802888685493/1046\ 7501571364887411327021507*c_0101_4^4 - 126857869243943837055559673889/15225456831076199871021122192*c_0101\ _4^3 - 89505022992545168884818738649/83740012570919099290616172056*\ c_0101_4^2 + 575148846024863411837886199/19031821038845249838776402\ 74*c_0101_4 - 15616168201835992836684867663/20935003142729774822654\ 043014, c_0101_1 + 419142867867939791064458575/41870006285459549645308086028*c_\ 0101_4^17 + 65587776791620910419395215/2093500314272977482265404301\ 4*c_0101_4^16 - 2588490880487570908905463389/4187000628545954964530\ 8086028*c_0101_4^15 - 2157947224230646365427478927/2093500314272977\ 4822654043014*c_0101_4^14 - 273431734375365022038447247/20935003142\ 729774822654043014*c_0101_4^13 + 20572676881319187127093717351/4187\ 0006285459549645308086028*c_0101_4^12 + 8895865156437354303713333550/10467501571364887411327021507*c_0101_4\ ^11 + 1568612241497737529013625284/10467501571364887411327021507*c_\ 0101_4^10 - 60766108674669840749851640343/2093500314272977482265404\ 3014*c_0101_4^9 - 50404027913016459736088353849/1046750157136488741\ 1327021507*c_0101_4^8 - 302604618220237944618500621511/418700062854\ 59549645308086028*c_0101_4^7 - 172179647700916929413990627947/41870\ 006285459549645308086028*c_0101_4^6 + 5586993722620051885468564577/10467501571364887411327021507*c_0101_4\ ^5 + 115292414574796622109521972767/20935003142729774822654043014*c\ _0101_4^4 - 17735489531527619325285973079/3806364207769049967755280\ 548*c_0101_4^3 + 12650492494057275224396575167/20935003142729774822\ 654043014*c_0101_4^2 - 1930783620696818416019424559/190318210388452\ 4983877640274*c_0101_4 + 12745285256807568594039884846/104675015713\ 64887411327021507, c_0101_3 - 8657495140565370577686341305/167480025141838198581232344112*\ c_0101_4^17 + 3556871074749062270872890583/837400125709190992906161\ 72056*c_0101_4^16 + 73141667748998272057475436297/16748002514183819\ 8581232344112*c_0101_4^15 - 7636316173763754022647445515/8374001257\ 0919099290616172056*c_0101_4^14 - 26977042509485873124307520827/209\ 35003142729774822654043014*c_0101_4^13 - 144919416659415292020055128201/167480025141838198581232344112*c_010\ 1_4^12 + 12627601961413647118801047802/1046750157136488741132702150\ 7*c_0101_4^11 + 106865743108228106005501426773/83740012570919099290\ 616172056*c_0101_4^10 + 714330549270130429328428735737/837400125709\ 19099290616172056*c_0101_4^9 + 352004078825199340155379019787/41870\ 006285459549645308086028*c_0101_4^8 + 43750926449514649229410073701/167480025141838198581232344112*c_0101\ _4^7 - 919855314155665933800194180023/16748002514183819858123234411\ 2*c_0101_4^6 + 1053715909229088348091043954757/83740012570919099290\ 616172056*c_0101_4^5 - 102403064913650071316919674395/2093500314272\ 9774822654043014*c_0101_4^4 + 56995096856513977650834988673/1522545\ 6831076199871021122192*c_0101_4^3 - 148032021503401806395827156909/83740012570919099290616172056*c_0101\ _4^2 + 814519955294411680439481277/1903182103884524983877640274*c_0\ 101_4 - 3746949110665394682522985613/20935003142729774822654043014, c_0101_4^18 - 1/5*c_0101_4^17 - 43/5*c_0101_4^16 - 19/5*c_0101_4^15 + 114/5*c_0101_4^14 + 33*c_0101_4^13 - 11/5*c_0101_4^12 - 162/5*c_0101_4^11 - 968/5*c_0101_4^10 - 282*c_0101_4^9 - 833/5*c_0101_4^8 + 286/5*c_0101_4^7 - 135*c_0101_4^6 + 46*c_0101_4^5 - 63*c_0101_4^4 + 71/5*c_0101_4^3 - 10*c_0101_4^2 - 8/5*c_0101_4 - 8/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB