Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 4189611290] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0585 geometric_solution 4.60262908 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.470498759061 0.183480025070 0 2 2 0 3201 0132 3201 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 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.721145516660 0.344768186851 1 1 3 4 2310 0132 0132 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 -1 1 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.432044295177 0.460982070439 5 4 4 2 0132 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -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.783581114533 0.582082548328 3 5 2 3 1230 3201 0132 1302 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 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.783581114533 0.582082548328 3 6 4 6 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -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 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.832326612293 1.437600224514 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 0 0 1 -1 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.217207889390 0.425850487949 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(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_3'], 'c_0011_6' : 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' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_2']), '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_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 212538692708847494227202537861783023/209028194720015257459023698369\ 72550*c_0110_6^17 + 24337674341368476319619206365956795/83611277888\ 0061029836094793478902*c_0110_6^16 - 12197367635888650945569023437797809911/2090281947200152574590236983\ 6972550*c_0110_6^15 + 18681044598171241487399480723712830873/209028\ 19472001525745902369836972550*c_0110_6^14 + 24305922581325803917849829758525511312/1045140973600076287295118491\ 8486275*c_0110_6^13 - 55830884902263280688490713688396275342/104514\ 09736000762872951184918486275*c_0110_6^12 + 1486555810238898872108036075949316415/27870425962668700994536493115\ 9634*c_0110_6^11 - 13938680838578082648622250138573386013/418056389\ 4400305149180473967394510*c_0110_6^10 - 90464812237885602972457520965518964471/6967606490667175248634123278\ 990850*c_0110_6^9 + 189897764177669200208077581092880600457/2090281\ 9472001525745902369836972550*c_0110_6^8 - 358004385317547182800614347621741468113/209028194720015257459023698\ 36972550*c_0110_6^7 + 370044728808319127299280010120096185903/10451\ 409736000762872951184918486275*c_0110_6^6 - 39863494702767593091059186599063409696/3483803245333587624317061639\ 495425*c_0110_6^5 + 6630981417002585156961847185628721499/696760649\ 066717524863412327899085*c_0110_6^4 + 1606863014145314135041334182096729081/13935212981334350497268246557\ 98170*c_0110_6^3 - 10282410466908244785474640261885327031/418056389\ 4400305149180473967394510*c_0110_6^2 - 7555646382810786234083230303564238716/10451409736000762872951184918\ 486275*c_0110_6 - 776519398393196808739198895109141147/696760649066\ 7175248634123278990850, c_0011_0 - 1, c_0011_1 + 6277014396089988948501329903741/1071939460102642345943711273\ 6909*c_0110_6^17 + 18326959423186513358558059539183/107193946010264\ 23459437112736909*c_0110_6^16 - 718585618975992455785329634230543/2\ 1438789202052846918874225473818*c_0110_6^15 + 1061870094623561323916424485996409/21438789202052846918874225473818\ *c_0110_6^14 + 1471953194440459610103278190692044/10719394601026423\ 459437112736909*c_0110_6^13 - 3222329225663183355001432852668260/10\ 719394601026423459437112736909*c_0110_6^12 + 3082817747762317639109671211309249/10719394601026423459437112736909\ *c_0110_6^11 - 1828591750880180353327429193181234/10719394601026423\ 459437112736909*c_0110_6^10 - 16328317796833316263423146308545809/2\ 1438789202052846918874225473818*c_0110_6^9 + 10319231637352818290148064724176641/2143878920205284691887422547381\ 8*c_0110_6^8 - 10126882480649177053338673491596138/1071939460102642\ 3459437112736909*c_0110_6^7 + 21193950013761598305105364357911376/1\ 0719394601026423459437112736909*c_0110_6^6 - 11417035490651430974466123604177309/2143878920205284691887422547381\ 8*c_0110_6^5 + 5235027295688769170961983247982181/10719394601026423\ 459437112736909*c_0110_6^4 + 2085412755598968537902970792226039/214\ 38789202052846918874225473818*c_0110_6^3 - 1463513436878639090836777819097294/10719394601026423459437112736909\ *c_0110_6^2 - 599050338476397383535013833436557/1071939460102642345\ 9437112736909*c_0110_6 - 123346050586823332809141802638391/21438789\ 202052846918874225473818, c_0011_3 + 307758647180040401265550984373/21438789202052846918874225473\ 818*c_0110_6^17 + 1193448883173679065143411496207/21438789202052846\ 918874225473818*c_0110_6^16 - 8423003650615583444402865808764/10719\ 394601026423459437112736909*c_0110_6^15 + 4469751357995312596343703825597/10719394601026423459437112736909*c_\ 0110_6^14 + 51235634892846835047209256141885/1071939460102642345943\ 7112736909*c_0110_6^13 - 49801034139365086774435438935606/107193946\ 01026423459437112736909*c_0110_6^12 - 16648829878241814882117324487145/21438789202052846918874225473818*c\ _0110_6^11 + 113680926569061265806912157431283/21438789202052846918\ 874225473818*c_0110_6^10 - 280001850167480297192759725102729/107193\ 94601026423459437112736909*c_0110_6^9 - 36956505644833274887721152402009/10719394601026423459437112736909*c\ _0110_6^8 - 154042313903480245544847099204723/214387892020528469188\ 74225473818*c_0110_6^7 + 211135190570466432125718904651427/10719394\ 601026423459437112736909*c_0110_6^6 + 912372515755101713376706829168957/21438789202052846918874225473818*\ c_0110_6^5 - 203557195040427846535826115831007/10719394601026423459\ 437112736909*c_0110_6^4 + 283245005634553132190322047082698/1071939\ 4601026423459437112736909*c_0110_6^3 - 191101578481728333501262608538937/21438789202052846918874225473818*\ c_0110_6^2 - 28836957300815249922608057231675/107193946010264234594\ 37112736909*c_0110_6 - 5496403012491770155486293652805/107193946010\ 26423459437112736909, c_0101_0 - 16802339237919146394576759069553/214387892020528469188742254\ 73818*c_0110_6^17 - 23832674557378858054176285168050/10719394601026\ 423459437112736909*c_0110_6^16 + 965451706018729423112358541964649/\ 21438789202052846918874225473818*c_0110_6^15 - 750945186148498228514700445660021/10719394601026423459437112736909*\ c_0110_6^14 - 1900457333815605383244489812680769/107193946010264234\ 59437112736909*c_0110_6^13 + 4457612848434699230941163115108595/107\ 19394601026423459437112736909*c_0110_6^12 - 9044799138262683586929760484219543/21438789202052846918874225473818\ *c_0110_6^11 + 2895112750522901668345068408149767/10719394601026423\ 459437112736909*c_0110_6^10 + 21213339058091774185864410764356457/2\ 1438789202052846918874225473818*c_0110_6^9 - 7730434907001418753532008570243204/10719394601026423459437112736909\ *c_0110_6^8 + 28704210802241468666050310987832501/21438789202052846\ 918874225473818*c_0110_6^7 - 59414966011978762938864513683994795/21\ 438789202052846918874225473818*c_0110_6^6 + 20681763032939439796228893206308013/2143878920205284691887422547381\ 8*c_0110_6^5 - 16679619571457041432331527493223867/2143878920205284\ 6918874225473818*c_0110_6^4 - 489154733408606047457961696607459/107\ 19394601026423459437112736909*c_0110_6^3 + 3746532453133030493117670690754521/21438789202052846918874225473818\ *c_0110_6^2 + 1301003109725582755421430260822237/214387892020528469\ 18874225473818*c_0110_6 + 64394042626261964853157093805387/10719394\ 601026423459437112736909, c_0101_2 + 1334263554999499320850145576230/1071939460102642345943711273\ 6909*c_0110_6^17 + 3095141544840887882903751694788/1071939460102642\ 3459437112736909*c_0110_6^16 - 78481305928247486527818303811122/107\ 19394601026423459437112736909*c_0110_6^15 + 159296312371733142857517263997902/10719394601026423459437112736909*\ c_0110_6^14 + 231967717141796972057410190037657/1071939460102642345\ 9437112736909*c_0110_6^13 - 850569575930357667231966355378689/10719\ 394601026423459437112736909*c_0110_6^12 + 1115269062534036651455977648631444/10719394601026423459437112736909\ *c_0110_6^11 - 909659086495209021736791145104725/107193946010264234\ 59437112736909*c_0110_6^10 - 1363819231392297764490013484955838/107\ 19394601026423459437112736909*c_0110_6^9 + 2043793772109443676344192879541907/10719394601026423459437112736909\ *c_0110_6^8 - 3087804224276146942575054575231588/107193946010264234\ 59437112736909*c_0110_6^7 + 6042392415014935481276672468577334/1071\ 9394601026423459437112736909*c_0110_6^6 - 4332944664437730453389331721191698/10719394601026423459437112736909\ *c_0110_6^5 + 2699102158333672257297842443333037/107193946010264234\ 59437112736909*c_0110_6^4 - 839162837543871556396512866069434/10719\ 394601026423459437112736909*c_0110_6^3 - 185576092302796833806224285343598/10719394601026423459437112736909*\ c_0110_6^2 + 46164070036748723139266511955394/107193946010264234594\ 37112736909*c_0110_6 + 14177436023928089750310554174025/10719394601\ 026423459437112736909, c_0101_3 + 3565572914245491980822792773711/2143878920205284691887422547\ 3818*c_0110_6^17 + 9652911482790091315169595694849/2143878920205284\ 6918874225473818*c_0110_6^16 - 103080281045909432852771517989066/10\ 719394601026423459437112736909*c_0110_6^15 + 172659914967754871372197109397766/10719394601026423459437112736909*\ c_0110_6^14 + 381884598703750482967265690342725/1071939460102642345\ 9437112736909*c_0110_6^13 - 996749574830292740503449593234376/10719\ 394601026423459437112736909*c_0110_6^12 + 2169969732463198374782475872244969/21438789202052846918874225473818\ *c_0110_6^11 - 1494340937052742799778222668663379/21438789202052846\ 918874225473818*c_0110_6^10 - 2162906568377609162487765263574875/10\ 719394601026423459437112736909*c_0110_6^9 + 1927411169357312968388838421691571/10719394601026423459437112736909\ *c_0110_6^8 - 6547963753673827043933338321987189/214387892020528469\ 18874225473818*c_0110_6^7 + 6718013369814126577259129605126438/1071\ 9394601026423459437112736909*c_0110_6^6 - 6062963900561440266274301572770241/21438789202052846918874225473818\ *c_0110_6^5 + 2108107836819539775164384592234884/107193946010264234\ 59437112736909*c_0110_6^4 - 158529142899056952822332768601280/10719\ 394601026423459437112736909*c_0110_6^3 - 820770912979449145295958748341049/21438789202052846918874225473818*\ c_0110_6^2 - 83535209076063894104277459645827/107193946010264234594\ 37112736909*c_0110_6 - 2357677451784282253092444389268/107193946010\ 26423459437112736909, c_0110_6^18 + 3*c_0110_6^17 - 57*c_0110_6^16 + 80*c_0110_6^15 + 241*c_0110_6^14 - 494*c_0110_6^13 + 451*c_0110_6^12 - 255*c_0110_6^11 - 1321*c_0110_6^10 + 716*c_0110_6^9 - 1554*c_0110_6^8 + 3254*c_0110_6^7 - 646*c_0110_6^6 + 779*c_0110_6^5 + 225*c_0110_6^4 - 220*c_0110_6^3 - 114*c_0110_6^2 - 19*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB