Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 2682127199] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2132 geometric_solution 5.62003492 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442666970070 0.317669463593 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.066208800464 0.752400512602 1 4 3 5 0132 0132 3012 0132 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 -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.165293877539 0.886977088908 5 2 4 1 1023 1230 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 -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.165293877539 0.886977088908 4 2 3 4 3201 0132 1023 2310 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 1 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 0.003945664824 0.708891672176 6 3 2 6 0132 1023 0132 3201 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 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.767751844049 0.315567866714 5 5 6 6 0132 2310 2031 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.329062667010 0.788080254085 ==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' : negation(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' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], '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_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), '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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 354005735066050479034918385491/2307030761492295788431342556*c_0101_\ 6^23 + 9113604922961430711630234889585/576757690373073947107835639*\ c_0101_6^21 + 48565599287465407565804491852247/11535153807461478942\ 15671278*c_0101_6^19 - 120313858424859870745708987355267/1153515380\ 746147894215671278*c_0101_6^17 - 216641723776665080702950425943324/\ 576757690373073947107835639*c_0101_6^15 - 359706064356579610816817304430777/1153515380746147894215671278*c_01\ 01_6^13 + 1071840995101637837904786004493207/2307030761492295788431\ 342556*c_0101_6^11 + 592789432007122384596145413892849/115351538074\ 6147894215671278*c_0101_6^9 - 2195438517089684450049542437181753/11\ 53515380746147894215671278*c_0101_6^7 + 2393118859045698154876242030212241/2307030761492295788431342556*c_0\ 101_6^5 - 192040714488318582089067459683567/11535153807461478942156\ 71278*c_0101_6^3 + 16858800693438977717339365886691/230703076149229\ 5788431342556*c_0101_6, c_0011_0 - 1, c_0011_1 + 12037377404076107802198993/112538085926453453094211832*c_010\ 1_6^22 - 309514781308993008429951297/28134521481613363273552958*c_0\ 101_6^20 - 432291928240694591553130107/14067260740806681636776479*c\ _0101_6^18 + 3870981306095418336118635153/5626904296322672654710591\ 6*c_0101_6^16 + 15210720978625467293118436117/562690429632267265471\ 05916*c_0101_6^14 + 14158237179437441799337979049/56269042963226726\ 547105916*c_0101_6^12 - 32735003964759809328305522887/1125380859264\ 53453094211832*c_0101_6^10 - 22127776045059563283842427423/56269042\ 963226726547105916*c_0101_6^8 + 71809366541267982171181772831/56269\ 042963226726547105916*c_0101_6^6 - 63616230130769149684042194087/112538085926453453094211832*c_0101_6^\ 4 + 2859043316473199297862395853/56269042963226726547105916*c_0101_\ 6^2 - 32691707578738914328622975/112538085926453453094211832, c_0011_3 - 2495515750084400924405505/56269042963226726547105916*c_0101_\ 6^23 + 256545496919814371710279609/56269042963226726547105916*c_010\ 1_6^21 + 729384090198061554325846935/56269042963226726547105916*c_0\ 101_6^19 - 1563894127870357701552088361/56269042963226726547105916*\ c_0101_6^17 - 6366328975467602959099542677/562690429632267265471059\ 16*c_0101_6^15 - 6212088971418600727258952701/562690429632267265471\ 05916*c_0101_6^13 + 1585587144236609330377182597/140672607408066816\ 36776479*c_0101_6^11 + 4664190014457800079555866389/281345214816133\ 63273552958*c_0101_6^9 - 7301875444141957446375694713/1406726074080\ 6681636776479*c_0101_6^7 + 11961732489836159369764112159/5626904296\ 3226726547105916*c_0101_6^5 - 1180056598157721491906880625/56269042\ 963226726547105916*c_0101_6^3 + 39383807707175897994941839/14067260\ 740806681636776479*c_0101_6, c_0101_0 + 7718490646307737748358753/112538085926453453094211832*c_0101\ _6^22 - 396765086592829426418325841/56269042963226726547105916*c_01\ 01_6^20 - 1125503876475227671716223729/56269042963226726547105916*c\ _0101_6^18 + 1216240582939687705358178075/2813452148161336327355295\ 8*c_0101_6^16 + 4925015646468361368042098875/2813452148161336327355\ 2958*c_0101_6^14 + 4752277017135820622954241811/2813452148161336327\ 3552958*c_0101_6^12 - 20088224291946715346946041533/112538085926453\ 453094211832*c_0101_6^10 - 14546100487569683536084875135/5626904296\ 3226726547105916*c_0101_6^8 + 45421759796423850205354194393/5626904\ 2963226726547105916*c_0101_6^6 - 37044727503272068096860605039/1125\ 38085926453453094211832*c_0101_6^4 + 587106599128127969957096419/28134521481613363273552958*c_0101_6^2 + 47593809393666137974716347/112538085926453453094211832, c_0101_1 + 972445723645346283669763/112538085926453453094211832*c_0101_\ 6^22 - 25124191473710494085206823/28134521481613363273552958*c_0101\ _6^20 - 57525979423411433396457823/28134521481613363273552958*c_010\ 1_6^18 + 383660740362972115571637167/56269042963226726547105916*c_0\ 101_6^16 + 1080372367837895961828828321/56269042963226726547105916*\ c_0101_6^14 + 524380891430563506374635255/5626904296322672654710591\ 6*c_0101_6^12 - 3873361593395062380158078529/1125380859264534530942\ 11832*c_0101_6^10 - 1178691725629723289107874577/562690429632267265\ 47105916*c_0101_6^8 + 6743246918155233095904534853/5626904296322672\ 6547105916*c_0101_6^6 - 10693053951149511051140039093/1125380859264\ 53453094211832*c_0101_6^4 + 1200221256323973030482876143/5626904296\ 3226726547105916*c_0101_6^2 - 72123436243351819106078625/1125380859\ 26453453094211832, c_0101_3 + 16350828822202281156135495/112538085926453453094211832*c_010\ 1_6^23 - 840828910717547778004625727/56269042963226726547105916*c_0\ 101_6^21 - 2351066860497333523635100949/56269042963226726547105916*\ c_0101_6^19 + 2623379188942552198283741367/281345214816133632735529\ 58*c_0101_6^17 + 5165692905698393181033192414/140672607408066816367\ 76479*c_0101_6^15 + 9660263400943532711897198833/281345214816133632\ 73552958*c_0101_6^13 - 44127621147171138888046899447/11253808592645\ 3453094211832*c_0101_6^11 - 30024689511003912455067788533/562690429\ 63226726547105916*c_0101_6^9 + 97323792623897286318525190387/562690\ 42963226726547105916*c_0101_6^7 - 86170393799683698012658537321/112\ 538085926453453094211832*c_0101_6^5 + 2165583395325469021159424395/28134521481613363273552958*c_0101_6^3 - 432656464552120447142682503/112538085926453453094211832*c_0101_6, c_0101_6^24 - 103*c_0101_6^22 - 272*c_0101_6^20 + 686*c_0101_6^18 + 2432*c_0101_6^16 + 1976*c_0101_6^14 - 3073*c_0101_6^12 - 3277*c_0101_6^10 + 12480*c_0101_6^8 - 7049*c_0101_6^6 + 1247*c_0101_6^4 - 73*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB