Magma V2.19-8 Tue Aug 20 2013 16:18:31 on localhost [Seed = 1393741422] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2703 geometric_solution 5.95542983 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 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 0 0 0 0 0 0 0 0 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.328842332448 0.956633207728 0 3 4 2 0132 0132 0132 2031 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 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.878733721993 0.780656944499 5 1 0 6 0132 1302 0132 0132 0 0 0 0 0 0 1 -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 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.283552712871 0.498061578888 6 1 5 5 0132 0132 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.461771412456 0.156562238980 4 4 5 1 1302 2031 2031 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 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.496993243714 0.583454813107 2 3 3 4 0132 1230 0132 1302 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 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.341936080541 1.149276240873 3 6 2 6 0132 2310 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 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.545733133830 1.241068784556 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : 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' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_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' : d['c_0101_5'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : d['c_0011_2'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 847991410814662836466014314/874831156933528804740542929*c_0101_5^18 - 2241441054345085836352252486/874831156933528804740542929*c_0101_5\ ^17 - 4035799290504050728272841727/874831156933528804740542929*c_01\ 01_5^16 + 523687738606312539602882495/874831156933528804740542929*c\ _0101_5^15 + 20518373244939006549505057841/874831156933528804740542\ 929*c_0101_5^14 + 57914298294138020643891656062/8748311569335288047\ 40542929*c_0101_5^13 + 104759479551178026583551837679/8748311569335\ 28804740542929*c_0101_5^12 + 149092439771361587907155414752/8748311\ 56933528804740542929*c_0101_5^11 + 134131684884195383820508771779/874831156933528804740542929*c_0101_5\ ^10 + 41593878489307492726142295143/874831156933528804740542929*c_0\ 101_5^9 - 121519931749242975951823578178/87483115693352880474054292\ 9*c_0101_5^8 - 269280473119765928116815398445/874831156933528804740\ 542929*c_0101_5^7 - 371566304641212473891592128698/8748311569335288\ 04740542929*c_0101_5^6 - 375544686323294247838031582768/87483115693\ 3528804740542929*c_0101_5^5 - 320658268468241481569537402368/874831\ 156933528804740542929*c_0101_5^4 - 218236844400538444147314170641/874831156933528804740542929*c_0101_5\ ^3 - 67775319862496448991584678463/874831156933528804740542929*c_01\ 01_5^2 + 30550712435299987386552909023/874831156933528804740542929*\ c_0101_5 + 38129201529314863987959324334/87483115693352880474054292\ 9, c_0011_0 - 1, c_0011_2 - 909994422877812304728848/38036137257979513249588823*c_0101_5\ ^18 - 3363560225545774070618382/38036137257979513249588823*c_0101_5\ ^17 - 6046616633025710515088110/38036137257979513249588823*c_0101_5\ ^16 - 2330500421463749526931299/38036137257979513249588823*c_0101_5\ ^15 + 25377600148634589296482285/38036137257979513249588823*c_0101_\ 5^14 + 82658692961655881221593292/38036137257979513249588823*c_0101\ _5^13 + 159108871849265488700988169/38036137257979513249588823*c_01\ 01_5^12 + 234186220995389173860867919/38036137257979513249588823*c_\ 0101_5^11 + 242493512004274751233247320/38036137257979513249588823*\ c_0101_5^10 + 105476742671157065974500437/3803613725797951324958882\ 3*c_0101_5^9 - 143531011862304609035381469/380361372579795132495888\ 23*c_0101_5^8 - 412466273246155282713946839/38036137257979513249588\ 823*c_0101_5^7 - 578579807904156590631818068/3803613725797951324958\ 8823*c_0101_5^6 - 646426292117577412753410200/380361372579795132495\ 88823*c_0101_5^5 - 548067438178763232615794095/38036137257979513249\ 588823*c_0101_5^4 - 420197851371570952071021260/3803613725797951324\ 9588823*c_0101_5^3 - 166307617724882636596049103/380361372579795132\ 49588823*c_0101_5^2 + 18458212381742652699084744/380361372579795132\ 49588823*c_0101_5 + 49810237053395394890489611/38036137257979513249\ 588823, c_0011_4 - 896513232690778835354632/38036137257979513249588823*c_0101_5\ ^18 - 3055977478718923884304472/38036137257979513249588823*c_0101_5\ ^17 - 4670294268308782175321686/38036137257979513249588823*c_0101_5\ ^16 - 314701371629462945757182/38036137257979513249588823*c_0101_5^\ 15 + 25875417093155108493891723/38036137257979513249588823*c_0101_5\ ^14 + 72549337223622880957587117/38036137257979513249588823*c_0101_\ 5^13 + 127292123269975565584316952/38036137257979513249588823*c_010\ 1_5^12 + 178217796180318968420934402/38036137257979513249588823*c_0\ 101_5^11 + 162570293101658477676014633/38036137257979513249588823*c\ _0101_5^10 + 22291117786966043422647183/38036137257979513249588823*\ c_0101_5^9 - 162486143920340470823164748/38036137257979513249588823\ *c_0101_5^8 - 348111766230825573785174342/3803613725797951324958882\ 3*c_0101_5^7 - 435565359440368883134377311/380361372579795132495888\ 23*c_0101_5^6 - 444199785357616769094127030/38036137257979513249588\ 823*c_0101_5^5 - 343701553072010942618985228/3803613725797951324958\ 8823*c_0101_5^4 - 240155516682276207416617672/380361372579795132495\ 88823*c_0101_5^3 - 61644518051583352623380575/380361372579795132495\ 88823*c_0101_5^2 + 66240620629478143105065028/380361372579795132495\ 88823*c_0101_5 + 20398861649607844852603756/38036137257979513249588\ 823, c_0101_0 - 282733783634222610259548/38036137257979513249588823*c_0101_5\ ^18 - 1285167147918030664053732/38036137257979513249588823*c_0101_5\ ^17 - 1616249274682227135586178/38036137257979513249588823*c_0101_5\ ^16 - 384362452852358049413400/38036137257979513249588823*c_0101_5^\ 15 + 10410043672506077668280098/38036137257979513249588823*c_0101_5\ ^14 + 27906122510332137687983517/38036137257979513249588823*c_0101_\ 5^13 + 46872214851566723744133836/38036137257979513249588823*c_0101\ _5^12 + 61866916506672969154249581/38036137257979513249588823*c_010\ 1_5^11 + 55968754280089992747399466/38036137257979513249588823*c_01\ 01_5^10 - 8307661576911927336488201/38036137257979513249588823*c_01\ 01_5^9 - 71820199104965889133480435/38036137257979513249588823*c_01\ 01_5^8 - 137431396891069203590993939/38036137257979513249588823*c_0\ 101_5^7 - 147773218143577683634415855/38036137257979513249588823*c_\ 0101_5^6 - 164368808664793994900496483/38036137257979513249588823*c\ _0101_5^5 - 87424852682817183473727900/38036137257979513249588823*c\ _0101_5^4 - 78149024780302581015242949/38036137257979513249588823*c\ _0101_5^3 + 16038750042703489434996102/38036137257979513249588823*c\ _0101_5^2 + 57911875058184068418326107/38036137257979513249588823*c\ _0101_5 + 34920933545124907440565216/38036137257979513249588823, c_0101_1 + 91931497700606476136086/2925856712152270249968371*c_0101_5^1\ 8 + 151438567874648384531386/2925856712152270249968371*c_0101_5^17 + 272429138116519374092305/2925856712152270249968371*c_0101_5^16 - 347023504153844970440375/2925856712152270249968371*c_0101_5^15 - 1914033269766984543741087/2925856712152270249968371*c_0101_5^14 - 4305955439212134113589095/2925856712152270249968371*c_0101_5^13 - 6798214529244329715180081/2925856712152270249968371*c_0101_5^12 - 8875766720402826988700985/2925856712152270249968371*c_0101_5^11 - 4894364805535755535454646/2925856712152270249968371*c_0101_5^10 + 1428296186776497695828342/2925856712152270249968371*c_0101_5^9 + 12537968508324240100764734/2925856712152270249968371*c_0101_5^8 + 17299129379278735736675234/2925856712152270249968371*c_0101_5^7 + 22556547369576817902189522/2925856712152270249968371*c_0101_5^6 + 18156069852330463117391677/2925856712152270249968371*c_0101_5^5 + 15896479663131194606368771/2925856712152270249968371*c_0101_5^4 + 5316240104756076631847163/2925856712152270249968371*c_0101_5^3 - 2017685803919722531900521/2925856712152270249968371*c_0101_5^2 - 4675572972037635183032487/2925856712152270249968371*c_0101_5 - 1098425244118344793871761/2925856712152270249968371, c_0101_3 + 1843903955120514/24238206566879383*c_0101_5^18 + 3626566238491730/24238206566879383*c_0101_5^17 + 7380825812067275/24238206566879383*c_0101_5^16 - 4255903087045349/24238206566879383*c_0101_5^15 - 38677857464502767/24238206566879383*c_0101_5^14 - 103465245203792022/24238206566879383*c_0101_5^13 - 180620732015912070/24238206566879383*c_0101_5^12 - 252294770514830193/24238206566879383*c_0101_5^11 - 200980235685178246/24238206566879383*c_0101_5^10 - 60615811164092018/24238206566879383*c_0101_5^9 + 241459863419343401/24238206566879383*c_0101_5^8 + 435539699723287046/24238206566879383*c_0101_5^7 + 643570717664159243/24238206566879383*c_0101_5^6 + 582189130681179353/24238206566879383*c_0101_5^5 + 563075531867624674/24238206566879383*c_0101_5^4 + 322552351447356025/24238206566879383*c_0101_5^3 + 125347793397006577/24238206566879383*c_0101_5^2 - 40380706965644069/24238206566879383*c_0101_5 - 45636100014864172/24238206566879383, c_0101_5^19 + 2*c_0101_5^18 + 7/2*c_0101_5^17 - 3*c_0101_5^16 - 45/2*c_0101_5^15 - 109/2*c_0101_5^14 - 177/2*c_0101_5^13 - 233/2*c_0101_5^12 - 153/2*c_0101_5^11 + 12*c_0101_5^10 + 154*c_0101_5^9 + 465/2*c_0101_5^8 + 587/2*c_0101_5^7 + 238*c_0101_5^6 + 395/2*c_0101_5^5 + 88*c_0101_5^4 - 11*c_0101_5^3 - 125/2*c_0101_5^2 - 19*c_0101_5 + 23/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB