Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 2682127285] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0059 geometric_solution 3.61946139 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 0 0 0 0 2.143011073837 0.160195451387 0 1 1 0 0132 3201 2310 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.681679890344 0.025443146399 0 3 3 0 3201 0132 1023 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 -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.935540448793 0.555405653363 4 2 2 4 0132 0132 1023 3201 0 0 0 0 0 0 0 0 1 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 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.113935510844 0.212204482939 3 3 6 5 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 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.095283685015 1.975943074144 6 6 4 6 1023 2031 0132 1302 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.499202633684 0.507825291758 5 5 5 4 1302 1023 2031 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 0 0 0 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.499202633684 0.507825291758 ==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' : d['1'], 's_3_4' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2970151448673078976837807887555268/10201607296393048091793750255932\ 7*c_0101_4^21 + 21240024690409336398830657581961881/102016072963930\ 480917937502559327*c_0101_4^20 - 1421545434290581950096790863892635\ 49/102016072963930480917937502559327*c_0101_4^19 - 275649797274419132296507784048495846/102016072963930480917937502559\ 327*c_0101_4^18 + 55587315087738153807197493982771418/3778373072738\ 165959923611205901*c_0101_4^17 + 6966777908270258085134637188786602\ 82/102016072963930480917937502559327*c_0101_4^16 - 6143337468997294784063133148525206970/10201607296393048091793750255\ 9327*c_0101_4^15 + 702410486802764558738782497850645012/10201607296\ 3930480917937502559327*c_0101_4^14 + 4041413193369340895689743980198592758/34005357654643493639312500853\ 109*c_0101_4^13 - 5094905367927902063230590856656185270/10201607296\ 3930480917937502559327*c_0101_4^12 - 11292339134445344209049962142552440579/1020160729639304809179375025\ 59327*c_0101_4^11 + 6605793368307109094185208131485738643/102016072\ 963930480917937502559327*c_0101_4^10 + 2184136239928079880799085592606698897/10201607296393048091793750255\ 9327*c_0101_4^9 + 131066866036290153346416726859480079/102016072963\ 930480917937502559327*c_0101_4^8 + 4051808275633585325428457176911220024/10201607296393048091793750255\ 9327*c_0101_4^7 - 7333277856709431331692802299411646876/10201607296\ 3930480917937502559327*c_0101_4^6 - 2347813162255544080937756698628363425/10201607296393048091793750255\ 9327*c_0101_4^5 + 6257489232207703811757503434746459308/10201607296\ 3930480917937502559327*c_0101_4^4 - 20186455615281198199004629743767632/1457372470913292584541964322276\ 1*c_0101_4^3 - 82597893677496629604982040677666841/4857908236377641\ 948473214407587*c_0101_4^2 + 36769201955271961471303072361470997/34\ 005357654643493639312500853109*c_0101_4 + 113048172400724758212451434878817572/102016072963930480917937502559\ 327, c_0011_0 - 1, c_0011_2 - 306688084585758401277398752136/53976758181973799427480160084\ 3*c_0101_4^21 - 2478410529448786579630132190248/5397675818197379942\ 74801600843*c_0101_4^20 + 12325156349740131092875570396772/53976758\ 1819737994274801600843*c_0101_4^19 + 39527899927782185626040534313776/539767581819737994274801600843*c_0\ 101_4^18 - 116349986444231623906088173379800/5397675818197379942748\ 01600843*c_0101_4^17 - 173682703368865098300529968089037/5397675818\ 19737994274801600843*c_0101_4^16 + 456018697935125472455938358558248/539767581819737994274801600843*c_\ 0101_4^15 + 322288697032472394806641727229768/539767581819737994274\ 801600843*c_0101_4^14 - 889331906952804246862670568153400/539767581\ 819737994274801600843*c_0101_4^13 - 241925283972823973582490932951206/539767581819737994274801600843*c_\ 0101_4^12 + 825007633289574290518441843505367/539767581819737994274\ 801600843*c_0101_4^11 + 26872479752788669539320956155658/5397675818\ 19737994274801600843*c_0101_4^10 - 101980377699983934858243679307232/539767581819737994274801600843*c_\ 0101_4^9 - 79921772563025826105949880330779/53976758181973799427480\ 1600843*c_0101_4^8 - 492369346048008837251600803559698/539767581819\ 737994274801600843*c_0101_4^7 + 281788880302050838812010248754444/5\ 39767581819737994274801600843*c_0101_4^6 + 429094641263260035165157111278721/539767581819737994274801600843*c_\ 0101_4^5 - 223345865163421938981489128737300/5397675818197379942748\ 01600843*c_0101_4^4 - 129304831239767000624314055908334/53976758181\ 9737994274801600843*c_0101_4^3 + 46482875511910946821808840497746/5\ 39767581819737994274801600843*c_0101_4^2 + 11096397572688566831337694398081/539767581819737994274801600843*c_0\ 101_4 - 2075789101554209941717402886809/539767581819737994274801600\ 843, c_0011_5 + 166770547505753426445967277620/53976758181973799427480160084\ 3*c_0101_4^21 + 1377278402438014730955840157326/5397675818197379942\ 74801600843*c_0101_4^20 - 6444150438794859228745049221794/539767581\ 819737994274801600843*c_0101_4^19 - 22505127544322305826979152870681/539767581819737994274801600843*c_0\ 101_4^18 + 58909959069529033611854412034935/53976758181973799427480\ 1600843*c_0101_4^17 + 102483905957094216240961981256749/53976758181\ 9737994274801600843*c_0101_4^16 - 227851391023425387142933612195779\ /539767581819737994274801600843*c_0101_4^15 - 203402959366855193571913262893427/539767581819737994274801600843*c_\ 0101_4^14 + 442896648491636189365950676084595/539767581819737994274\ 801600843*c_0101_4^13 + 180687862052727264547144253319550/539767581\ 819737994274801600843*c_0101_4^12 - 410361857543835591613274455992259/539767581819737994274801600843*c_\ 0101_4^11 - 50891046717408078880770646539349/5397675818197379942748\ 01600843*c_0101_4^10 + 43401601325891899141805920656531/53976758181\ 9737994274801600843*c_0101_4^9 + 32750787101699735103770309791877/5\ 39767581819737994274801600843*c_0101_4^8 + 266139449876727318239357123792113/539767581819737994274801600843*c_\ 0101_4^7 - 113356445261985837411942966953162/5397675818197379942748\ 01600843*c_0101_4^6 - 235750117263807147815882250078891/53976758181\ 9737994274801600843*c_0101_4^5 + 94745114783147881501618428475800/5\ 39767581819737994274801600843*c_0101_4^4 + 72656792994482598268967284099232/539767581819737994274801600843*c_0\ 101_4^3 - 20147559424802728069448851077247/539767581819737994274801\ 600843*c_0101_4^2 - 6188699502245360561446731627921/539767581819737\ 994274801600843*c_0101_4 + 1094915281963586969027459747695/53976758\ 1819737994274801600843, c_0101_0 - 55037878456405978866155327382/539767581819737994274801600843\ *c_0101_4^21 - 437212117958550809579449788567/539767581819737994274\ 801600843*c_0101_4^20 + 2263244848874058601449739483115/53976758181\ 9737994274801600843*c_0101_4^19 + 6709561520330548653331633000745/5\ 39767581819737994274801600843*c_0101_4^18 - 21484314867544201961985701097492/539767581819737994274801600843*c_0\ 101_4^17 - 27028339841769004989444117462280/53976758181973799427480\ 1600843*c_0101_4^16 + 82879090941206174357243151083768/539767581819\ 737994274801600843*c_0101_4^15 + 41217543686623562864458058133212/5\ 39767581819737994274801600843*c_0101_4^14 - 155943738655502226306341920214741/539767581819737994274801600843*c_\ 0101_4^13 - 11888762885748461621723994142861/5397675818197379942748\ 01600843*c_0101_4^12 + 134162849559292185044220070813915/5397675818\ 19737994274801600843*c_0101_4^11 - 22837565910288029254789457004215/539767581819737994274801600843*c_0\ 101_4^10 - 4625243337691177772152557830064/539767581819737994274801\ 600843*c_0101_4^9 - 10349124447135906839227853313087/53976758181973\ 7994274801600843*c_0101_4^8 - 83563477074027461005388480965141/5397\ 67581819737994274801600843*c_0101_4^7 + 61226379666373295413222254427688/539767581819737994274801600843*c_0\ 101_4^6 + 57676032554869099338645903971106/539767581819737994274801\ 600843*c_0101_4^5 - 46525045277031963219868388483436/53976758181973\ 7994274801600843*c_0101_4^4 - 9315976695735016659277368628205/53976\ 7581819737994274801600843*c_0101_4^3 + 9328310422083044693515721878084/539767581819737994274801600843*c_01\ 01_4^2 - 984064410486980793643034573009/539767581819737994274801600\ 843*c_0101_4 - 508939223981560913290278555435/539767581819737994274\ 801600843, c_0101_1 - 458547433263969792130376669281/53976758181973799427480160084\ 3*c_0101_4^21 - 3721735677722165785263303440979/5397675818197379942\ 74801600843*c_0101_4^20 + 18312985249086019987888898242314/53976758\ 1819737994274801600843*c_0101_4^19 + 59871533124272175055420726662199/539767581819737994274801600843*c_0\ 101_4^18 - 172474113022266265060308905615262/5397675818197379942748\ 01600843*c_0101_4^17 - 267650974516089687480961651186837/5397675818\ 19737994274801600843*c_0101_4^16 + 677927283400044667002773402560553/539767581819737994274801600843*c_\ 0101_4^15 + 512457942177322351427978170943338/539767581819737994274\ 801600843*c_0101_4^14 - 1332020329361226931814997591443444/53976758\ 1819737994274801600843*c_0101_4^13 - 415356927820684015586476308263045/539767581819737994274801600843*c_\ 0101_4^12 + 1254743740561237665940241142386402/53976758181973799427\ 4801600843*c_0101_4^11 + 78172413446693101959859036753416/539767581\ 819737994274801600843*c_0101_4^10 - 176145978404422114841605700423835/539767581819737994274801600843*c_\ 0101_4^9 - 111545625490478046395968526657932/5397675818197379942748\ 01600843*c_0101_4^8 - 744677013391739123506303185370594/53976758181\ 9737994274801600843*c_0101_4^7 + 396249143283878299362578776412297/\ 539767581819737994274801600843*c_0101_4^6 + 673713112990013808591620255146975/539767581819737994274801600843*c_\ 0101_4^5 - 326428750069537547135078943121823/5397675818197379942748\ 01600843*c_0101_4^4 - 210945662330439914162350480244136/53976758181\ 9737994274801600843*c_0101_4^3 + 72754315840409376879846153136061/5\ 39767581819737994274801600843*c_0101_4^2 + 17207778173004504815557119616517/539767581819737994274801600843*c_0\ 101_4 - 3901964587484286118212303775894/539767581819737994274801600\ 843, c_0101_3 - 353891194777031711900381817007/53976758181973799427480160084\ 3*c_0101_4^21 - 2873375218851835788005999894384/5397675818197379942\ 74801600843*c_0101_4^20 + 14134286342615705522319921752728/53976758\ 1819737994274801600843*c_0101_4^19 + 46332440078647786355776723399241/539767581819737994274801600843*c_0\ 101_4^18 - 133301808013961580744336515121849/5397675818197379942748\ 01600843*c_0101_4^17 - 208316686440615926051462010544735/5397675818\ 19737994274801600843*c_0101_4^16 + 525141742153248014579914368557105/539767581819737994274801600843*c_\ 0101_4^15 + 402848342230555387226515965373945/539767581819737994274\ 801600843*c_0101_4^14 - 1035066403690658978693318310562758/53976758\ 1819737994274801600843*c_0101_4^13 - 334139647161443944785374545804825/539767581819737994274801600843*c_\ 0101_4^12 + 979970120486093094430080033396068/539767581819737994274\ 801600843*c_0101_4^11 + 71644933548647734872181534673110/5397675818\ 19737994274801600843*c_0101_4^10 - 142659357594881277256443670850543/539767581819737994274801600843*c_\ 0101_4^9 - 88611936047340270519181804596443/53976758181973799427480\ 1600843*c_0101_4^8 - 580253792567521436574831068640841/539767581819\ 737994274801600843*c_0101_4^7 + 304834150727931511788415818132501/5\ 39767581819737994274801600843*c_0101_4^6 + 531018818296760491231704924511587/539767581819737994274801600843*c_\ 0101_4^5 - 252554400476027442290205841782218/5397675818197379942748\ 01600843*c_0101_4^4 - 168895137851863455753872785210428/53976758181\ 9737994274801600843*c_0101_4^3 + 56799265646336764844910551840590/5\ 39767581819737994274801600843*c_0101_4^2 + 14400807373302808421438047299856/539767581819737994274801600843*c_0\ 101_4 - 3056138471253427878620299057726/539767581819737994274801600\ 843, c_0101_4^22 + 7*c_0101_4^21 - 49*c_0101_4^20 - 86*c_0101_4^19 + 522*c_0101_4^18 + 164*c_0101_4^17 - 2131*c_0101_4^16 + 532*c_0101_4^15 + 4155*c_0101_4^14 - 2333*c_0101_4^13 - 3751*c_0101_4^12 + 2872*c_0101_4^11 + 581*c_0101_4^10 - 169*c_0101_4^9 + 1342*c_0101_4^8 - 2683*c_0101_4^7 - 502*c_0101_4^6 + 2348*c_0101_4^5 - 325*c_0101_4^4 - 672*c_0101_4^3 + 132*c_0101_4^2 + 53*c_0101_4 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB