Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 1579139714] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1763 geometric_solution 5.44933248 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -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 1 0 -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.733544499103 0.507855602514 0 2 3 0 0132 0132 0132 3201 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 -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.670680143318 0.694196382570 4 1 5 3 0132 0132 0132 3201 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 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.006626435858 0.759861661576 5 2 4 1 1023 2310 2310 0132 0 0 0 0 0 0 0 0 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 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.006626435858 0.759861661576 2 3 4 4 0132 3201 1230 3012 0 0 0 0 0 1 0 -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 1 -1 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.340116022852 0.971120422659 6 3 6 2 0132 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391596483602 1.964134298464 5 5 6 6 0132 3201 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 0.401560012901 0.158596235662 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], '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_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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' : 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_0101_5']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 6168756856817205285502608217107/72695297841805103535458212672*c_010\ 1_5^18 - 1157218862534072552146377769613/36347648920902551767729106\ 336*c_0101_5^17 + 11263775208113782182486868255803/9086912230225637\ 941932276584*c_0101_5^16 + 34999214606505877239168881861797/1453905\ 95683610207070916425344*c_0101_5^15 - 1457271652563926901200355031871969/290781191367220414141832850688*c\ _0101_5^14 + 26126975209826237858745080988019/726952978418051035354\ 58212672*c_0101_5^13 + 3945666366478432646644484347872421/116312476\ 5468881656567331402752*c_0101_5^12 + 2598259868974130321969811463254039/1163124765468881656567331402752*\ c_0101_5^11 + 189183625445266403019932348958813/1163124765468881656\ 567331402752*c_0101_5^10 - 2155908363957977388611065508213497/72695\ 297841805103535458212672*c_0101_5^9 + 37969775761962510317610271590747749/1163124765468881656567331402752\ *c_0101_5^8 - 567569054733190590947051419112569/1453905956836102070\ 70916425344*c_0101_5^7 - 1738182991280080171057713075640307/5815623\ 82734440828283665701376*c_0101_5^6 + 2622437506924714390580673808711333/1163124765468881656567331402752*\ c_0101_5^5 - 1571648943975422062056384361787505/1163124765468881656\ 567331402752*c_0101_5^4 - 1232663579793619388731693514936219/116312\ 4765468881656567331402752*c_0101_5^3 + 296246870461050180557142352449651/1163124765468881656567331402752*c\ _0101_5^2 + 155435984302614865536090037819567/116312476546888165656\ 7331402752*c_0101_5 + 19419749155102666614837414468337/116312476546\ 8881656567331402752, c_0011_0 - 1, c_0011_3 + 24385419718315779780332424399/1135864028778204742741534573*c\ _0101_5^18 + 18834946419670277064408163376/113586402877820474274153\ 4573*c_0101_5^17 - 346012775888740443822968607298/11358640287782047\ 42741534573*c_0101_5^16 - 403743133587813037410503186709/2271728057\ 556409485483069146*c_0101_5^15 + 5299114121154289184156925379081/45\ 43456115112818970966138292*c_0101_5^14 + 729721671900633116769570727989/2271728057556409485483069146*c_0101_\ 5^13 - 11540397831958946403316679029569/181738244604512758838645531\ 68*c_0101_5^12 - 12275924413906068386897413808461/18173824460451275\ 883864553168*c_0101_5^11 - 5405272348877901811664553645709/18173824\ 460451275883864553168*c_0101_5^10 + 66271507007307405935337438949861/9086912230225637941932276584*c_010\ 1_5^9 - 99339098887838758732901329241955/18173824460451275883864553\ 168*c_0101_5^8 - 498880930747385866806267353620/1135864028778204742\ 741534573*c_0101_5^7 + 6542338451492854521737419899955/908691223022\ 5637941932276584*c_0101_5^6 - 10337072574387190902667826739493/1817\ 3824460451275883864553168*c_0101_5^5 + 2122572692203632167888698732559/18173824460451275883864553168*c_010\ 1_5^4 + 4931201672550016354347406097879/181738244604512758838645531\ 68*c_0101_5^3 - 149765309310261911291970919345/18173824460451275883\ 864553168*c_0101_5^2 - 594352723319255438186953190551/1817382446045\ 1275883864553168*c_0101_5 - 111280964449162880584423027551/18173824\ 460451275883864553168, c_0101_0 + 2711125001796655635471921208/1135864028778204742741534573*c_\ 0101_5^18 - 1241459203011069728756972650/11358640287782047427415345\ 73*c_0101_5^17 - 41046858468549838466535289566/11358640287782047427\ 41534573*c_0101_5^16 + 24258046321380070571577371046/11358640287782\ 04742741534573*c_0101_5^15 + 174333470383757336145007100071/1135864\ 028778204742741534573*c_0101_5^14 - 263845946364533001596516416909/2271728057556409485483069146*c_0101_\ 5^13 - 123622385817972268148515454515/1135864028778204742741534573*\ c_0101_5^12 - 148433651495896689605783804197/9086912230225637941932\ 276584*c_0101_5^11 + 53538891763707935496814649944/1135864028778204\ 742741534573*c_0101_5^10 + 7837680201950701488976032662151/90869122\ 30225637941932276584*c_0101_5^9 - 14426727053290685246302686282265/\ 9086912230225637941932276584*c_0101_5^8 + 3227794931500769577431293409429/4543456115112818970966138292*c_0101\ _5^7 - 192439705970927650291089294811/4543456115112818970966138292*\ c_0101_5^6 - 114740080276960792599347319263/22717280575564094854830\ 69146*c_0101_5^5 + 907390614280650978022578753103/90869122302256379\ 41932276584*c_0101_5^4 + 21955998765246004373267791349/227172805755\ 6409485483069146*c_0101_5^3 - 188376996351236862654832147449/908691\ 2230225637941932276584*c_0101_5^2 - 4908387156721876077227257010/1135864028778204742741534573*c_0101_5 - 7773574854099322565169499783/9086912230225637941932276584, c_0101_1 + 4045195010498465291021972141/1135864028778204742741534573*c_\ 0101_5^18 + 5392267805668397089476689266/11358640287782047427415345\ 73*c_0101_5^17 - 54228435573770526784014148988/11358640287782047427\ 41534573*c_0101_5^16 - 127656533125005625395403737347/2271728057556\ 409485483069146*c_0101_5^15 + 727549396192929228431981490439/454345\ 6115112818970966138292*c_0101_5^14 + 162045870143866552601317719642/1135864028778204742741534573*c_0101_\ 5^13 - 334440131828285883305853337675/18173824460451275883864553168\ *c_0101_5^12 - 2237370713946556485571767545901/18173824460451275883\ 864553168*c_0101_5^11 - 2201304708569757591276993352747/18173824460\ 451275883864553168*c_0101_5^10 + 5175612251313761884399380514515/45\ 43456115112818970966138292*c_0101_5^9 - 4893569507783290674502395760495/18173824460451275883864553168*c_010\ 1_5^8 - 407516749828919549019079209701/2271728057556409485483069146\ *c_0101_5^7 - 273234392981724206122409469703/9086912230225637941932\ 276584*c_0101_5^6 - 1659034438941760714763108952787/181738244604512\ 75883864553168*c_0101_5^5 - 681186045069016741085409584405/18173824\ 460451275883864553168*c_0101_5^4 + 397462494461292876147802728965/18173824460451275883864553168*c_0101\ _5^3 + 289892444470237844332817155023/18173824460451275883864553168\ *c_0101_5^2 + 23159253228669451639020863335/18173824460451275883864\ 553168*c_0101_5 + 4016446993478530257673833061/18173824460451275883\ 864553168, c_0101_2 + 24824502567987242654291198006/1135864028778204742741534573*c\ _0101_5^18 + 20823782021087527888663676460/113586402877820474274153\ 4573*c_0101_5^17 - 349980404387103064510122720316/11358640287782047\ 42741534573*c_0101_5^16 - 227665110003317311897535049029/1135864028\ 778204742741534573*c_0101_5^15 + 2643286345243142767736878098089/22\ 71728057556409485483069146*c_0101_5^14 + 446396175434982026207478318478/1135864028778204742741534573*c_0101_\ 5^13 - 5313254583501744453929522085861/9086912230225637941932276584\ *c_0101_5^12 - 6349038050362381783015772871491/90869122302256379419\ 32276584*c_0101_5^11 - 3228442590676814077029386031655/908691223022\ 5637941932276584*c_0101_5^10 + 33508686574356496289151739570241/454\ 3456115112818970966138292*c_0101_5^9 - 46324794845883058143292289114909/9086912230225637941932276584*c_010\ 1_5^8 - 2437110711050738732601485288775/454345611511281897096613829\ 2*c_0101_5^7 + 1403703837858377975754315206591/22717280575564094854\ 83069146*c_0101_5^6 - 5155644647006848551535872678219/9086912230225\ 637941932276584*c_0101_5^5 + 716444559533851041255164513455/9086912\ 230225637941932276584*c_0101_5^4 + 2396605931369475120758716877491/9086912230225637941932276584*c_0101\ _5^3 + 22849703470298034619105110497/9086912230225637941932276584*c\ _0101_5^2 - 257723582876257220293883758073/908691223022563794193227\ 6584*c_0101_5 - 51871120493898560392939893015/908691223022563794193\ 2276584, c_0101_4 - 2496027697449671082361765250/1135864028778204742741534573*c_\ 0101_5^18 - 4020196928367952139544852934/11358640287782047427415345\ 73*c_0101_5^17 + 33203531181154709884389681030/11358640287782047427\ 41534573*c_0101_5^16 + 49599211474417550036446103761/11358640287782\ 04742741534573*c_0101_5^15 - 220578170216139358569750727929/2271728\ 057556409485483069146*c_0101_5^14 - 284514206772184960259172064205/2271728057556409485483069146*c_0101_\ 5^13 + 128019032059084457054785763723/9086912230225637941932276584*\ c_0101_5^12 + 238666368634211319532661563651/2271728057556409485483\ 069146*c_0101_5^11 + 813181890116965667851029146573/908691223022563\ 7941932276584*c_0101_5^10 - 6401946464697892573048650544319/9086912\ 230225637941932276584*c_0101_5^9 - 222389379230702125568555497805/4543456115112818970966138292*c_0101_\ 5^8 + 393098767065319336744959033583/1135864028778204742741534573*c\ _0101_5^7 + 78934450455382850663438665125/4543456115112818970966138\ 292*c_0101_5^6 - 17029616249166469180132200235/90869122302256379419\ 32276584*c_0101_5^5 + 234111459480489847577341459199/45434561151128\ 18970966138292*c_0101_5^4 - 239833740343972937339853092121/90869122\ 30225637941932276584*c_0101_5^3 - 41749632461866003187124256565/227\ 1728057556409485483069146*c_0101_5^2 + 13434975328106468730986734683/9086912230225637941932276584*c_0101_5 + 8630599169251541305433290545/4543456115112818970966138292, c_0101_5^19 + c_0101_5^18 - 14*c_0101_5^17 - 23/2*c_0101_5^16 + 209/4*c_0101_5^15 + 109/4*c_0101_5^14 - 407/16*c_0101_5^13 - 305/8*c_0101_5^12 - 171/8*c_0101_5^11 + 5379/16*c_0101_5^10 - 2839/16*c_0101_5^9 - 1181/16*c_0101_5^8 + 197/8*c_0101_5^7 - 289/16*c_0101_5^6 - 5/8*c_0101_5^5 + 109/8*c_0101_5^4 + 21/8*c_0101_5^3 - 3/2*c_0101_5^2 - 5/8*c_0101_5 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB