Magma V2.19-8 Tue Aug 20 2013 16:19:16 on localhost [Seed = 256807424] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3391 geometric_solution 6.55851673 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0.334294946679 0.310235796875 2 0 3 0 0132 2310 0132 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 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.058512872483 1.181287039192 1 4 5 6 0132 0132 0132 0132 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 -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.265903968975 1.012044300778 6 5 4 1 1023 3201 3201 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.265903968975 1.012044300778 3 2 4 4 2310 0132 1230 3012 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 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.268246866615 0.749390418562 5 5 3 2 1302 2031 2310 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 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.309846970133 0.800231118375 6 3 2 6 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.347690460513 0.971289433794 ==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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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_1'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : d['c_0011_1'], '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' : negation(d['c_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], '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_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], '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_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 57480145957420670585531196580823328467/4115349980047789199619245713\ 81341360*c_0101_0*c_0101_3^19 + 36759535407572570002930810890537871\ 799/20576749900238945998096228569067068*c_0101_0*c_0101_3^18 - 823029490288854577266950680632872409239/411534998004778919961924571\ 381341360*c_0101_0*c_0101_3^17 - 1810190582130858685350972256910773\ 0073/3810509240784989999647449735012420*c_0101_0*c_0101_3^16 + 1488823015754519957814018232922186723821/41153499800477891996192457\ 138134136*c_0101_0*c_0101_3^15 + 3100510919645928267384247920672597\ 0323/1693559662571106666509977660005520*c_0101_0*c_0101_3^14 - 1617143702968107698535440202642278719141/14697678500170675712925877\ 549333620*c_0101_0*c_0101_3^13 - 4608846989701421043658627188074526\ 741317/34294583167064909996827047615111780*c_0101_0*c_0101_3^12 - 75798074186750665129096983827437340113571/4115349980047789199619245\ 71381341360*c_0101_0*c_0101_3^11 - 29410131294405471663722443544036487430373/6858916633412981999365409\ 5230223560*c_0101_0*c_0101_3^10 - 414297105343842038356296166349712\ 53874805/82306999600955783992384914276268272*c_0101_0*c_0101_3^9 - 10862559323398650299840296532391790740329/5879071400068270285170351\ 0197334480*c_0101_0*c_0101_3^8 + 1116289006908190056984324925208495\ 4252761/51441874750597364995240571422667670*c_0101_0*c_0101_3^7 + 32021118687701819831109046268786101606967/1028837495011947299904811\ 42845335340*c_0101_0*c_0101_3^6 + 432026218855528513458202863719626\ 92039541/411534998004778919961924571381341360*c_0101_0*c_0101_3^5 - 1792551255990659828346128628558680968211/51441874750597364995240571\ 422667670*c_0101_0*c_0101_3^4 - 12012638284777821708986221236118300\ 10243/58790714000682702851703510197334480*c_0101_0*c_0101_3^3 + 153011892901781321953072962451667395517/411534998004778919961924571\ 381341360*c_0101_0*c_0101_3^2 - 29519381908606022493487491028180649\ 4487/411534998004778919961924571381341360*c_0101_0*c_0101_3 - 310855148530507772087425345903905454939/411534998004778919961924571\ 381341360*c_0101_0, c_0011_0 - 1, c_0011_1 + 1516450641142395633807658157674/1512106841581345237955337196\ 4335*c_0101_3^19 - 21252541207999717060730058075068/151210684158134\ 52379553371964335*c_0101_3^18 + 46797931992690653596756240364294/15\ 121068415813452379553371964335*c_0101_3^17 + 1424576032899376848853251255615/3024213683162690475910674392867*c_0\ 101_3^16 - 85333804144023728113885228972292/30242136831626904759106\ 74392867*c_0101_3^15 + 311469825408133398974570293115407/1512106841\ 5813452379553371964335*c_0101_3^14 + 1073908789680189998622254853997127/15121068415813452379553371964335\ *c_0101_3^13 + 27390142027184264437627868831084/1512106841581345237\ 9553371964335*c_0101_3^12 + 1258322569229641716747760683007169/1512\ 1068415813452379553371964335*c_0101_3^11 + 2898080382011090633703273577177633/15121068415813452379553371964335\ *c_0101_3^10 + 1115619622423878623976492644413899/15121068415813452\ 379553371964335*c_0101_3^9 - 1357998173879866266708342240739307/151\ 21068415813452379553371964335*c_0101_3^8 - 1912469316982826973274577447111272/15121068415813452379553371964335\ *c_0101_3^7 - 428768561667877516801431710628252/1512106841581345237\ 9553371964335*c_0101_3^6 + 828445765106327245682223353559957/151210\ 68415813452379553371964335*c_0101_3^5 + 27675799761534532198814304377522/15121068415813452379553371964335*c\ _0101_3^4 - 183471859754400276897137539894587/151210684158134523795\ 53371964335*c_0101_3^3 + 14423542403853311711046742785133/302421368\ 3162690475910674392867*c_0101_3^2 - 3839000561176175683685660854331/15121068415813452379553371964335*c_\ 0101_3 - 2302934506014662573187058728532/30242136831626904759106743\ 92867, c_0011_3 - 10106969203131392187644149147/604842736632538095182134878573\ 4*c_0101_0*c_0101_3^19 + 198322090707255660773508754114/15121068415\ 813452379553371964335*c_0101_0*c_0101_3^18 + 3873241294161344495186369059929/30242136831626904759106743928670*c_\ 0101_0*c_0101_3^17 - 12240360803557805195704014359346/1512106841581\ 3452379553371964335*c_0101_0*c_0101_3^16 + 4145386522275896177670841933018/3024213683162690475910674392867*c_0\ 101_0*c_0101_3^15 + 17886189507613259590894906726985/60484273663253\ 80951821348785734*c_0101_0*c_0101_3^14 - 195978930030850228083574095861813/15121068415813452379553371964335*\ c_0101_0*c_0101_3^13 - 45933137463586647139881347613448/15121068415\ 813452379553371964335*c_0101_0*c_0101_3^12 + 723935519019483197559516311465863/30242136831626904759106743928670*\ c_0101_0*c_0101_3^11 - 31974391775885176900786600782216/15121068415\ 813452379553371964335*c_0101_0*c_0101_3^10 + 367034400098415368988672317995561/30242136831626904759106743928670*\ c_0101_0*c_0101_3^9 + 2085556988642435904631731912388993/3024213683\ 1626904759106743928670*c_0101_0*c_0101_3^8 + 919109630461699468323877163798083/15121068415813452379553371964335*\ c_0101_0*c_0101_3^7 - 27980874345413634365321915944157/151210684158\ 13452379553371964335*c_0101_0*c_0101_3^6 - 1548145100354848660800987531987109/30242136831626904759106743928670\ *c_0101_0*c_0101_3^5 - 574303746041497275709200204373353/1512106841\ 5813452379553371964335*c_0101_0*c_0101_3^4 + 296909532181465044246108948008339/30242136831626904759106743928670*\ c_0101_0*c_0101_3^3 + 262474643131484252545176482176841/30242136831\ 626904759106743928670*c_0101_0*c_0101_3^2 - 2891656984439803007742608770097/6048427366325380951821348785734*c_0\ 101_0*c_0101_3 + 7336287325359856572853045485063/302421368316269047\ 59106743928670*c_0101_0, c_0011_5 + 8432251127133534366917722795251/3024213683162690475910674392\ 8670*c_0101_0*c_0101_3^19 - 54996988079781198965250250132617/151210\ 68415813452379553371964335*c_0101_0*c_0101_3^18 + 29998442479267973102375714134955/6048427366325380951821348785734*c_\ 0101_0*c_0101_3^17 + 115543178405159280155154872088484/151210684158\ 13452379553371964335*c_0101_0*c_0101_3^16 - 221212586412213376984801732885971/3024213683162690475910674392867*c\ _0101_0*c_0101_3^15 - 518806491877264970688908305425097/30242136831\ 626904759106743928670*c_0101_0*c_0101_3^14 + 3208921515837845283188631099462681/15121068415813452379553371964335\ *c_0101_0*c_0101_3^13 + 655373644077320578622806316459618/302421368\ 3162690475910674392867*c_0101_0*c_0101_3^12 + 10452967000034827576259974454786219/3024213683162690475910674392867\ 0*c_0101_0*c_0101_3^11 + 2380333721393920354509228842136125/3024213\ 683162690475910674392867*c_0101_0*c_0101_3^10 + 25609278031163062955411885854490087/3024213683162690475910674392867\ 0*c_0101_0*c_0101_3^9 + 1548621883451251097308940321996223/60484273\ 66325380951821348785734*c_0101_0*c_0101_3^8 - 6261486062614871376439179585878776/15121068415813452379553371964335\ *c_0101_0*c_0101_3^7 - 7882545577907587635263101984591596/151210684\ 15813452379553371964335*c_0101_0*c_0101_3^6 - 4360764573851072224039199175406391/30242136831626904759106743928670\ *c_0101_0*c_0101_3^5 + 905753706202967212019731139109531/1512106841\ 5813452379553371964335*c_0101_0*c_0101_3^4 + 1002025737778294833928520930115521/30242136831626904759106743928670\ *c_0101_0*c_0101_3^3 + 75126182125316927867499238171711/30242136831\ 626904759106743928670*c_0101_0*c_0101_3^2 - 11454089063403490760795044588799/30242136831626904759106743928670*c\ _0101_0*c_0101_3 + 14244857795726821505718456841113/302421368316269\ 04759106743928670*c_0101_0, c_0101_0^2 - 1516450641142395633807658157674/15121068415813452379553371\ 964335*c_0101_3^19 + 21252541207999717060730058075068/1512106841581\ 3452379553371964335*c_0101_3^18 - 46797931992690653596756240364294/\ 15121068415813452379553371964335*c_0101_3^17 - 1424576032899376848853251255615/3024213683162690475910674392867*c_0\ 101_3^16 + 85333804144023728113885228972292/30242136831626904759106\ 74392867*c_0101_3^15 - 311469825408133398974570293115407/1512106841\ 5813452379553371964335*c_0101_3^14 - 1073908789680189998622254853997127/15121068415813452379553371964335\ *c_0101_3^13 - 27390142027184264437627868831084/1512106841581345237\ 9553371964335*c_0101_3^12 - 1258322569229641716747760683007169/1512\ 1068415813452379553371964335*c_0101_3^11 - 2898080382011090633703273577177633/15121068415813452379553371964335\ *c_0101_3^10 - 1115619622423878623976492644413899/15121068415813452\ 379553371964335*c_0101_3^9 + 1357998173879866266708342240739307/151\ 21068415813452379553371964335*c_0101_3^8 + 1912469316982826973274577447111272/15121068415813452379553371964335\ *c_0101_3^7 + 428768561667877516801431710628252/1512106841581345237\ 9553371964335*c_0101_3^6 - 828445765106327245682223353559957/151210\ 68415813452379553371964335*c_0101_3^5 - 27675799761534532198814304377522/15121068415813452379553371964335*c\ _0101_3^4 + 183471859754400276897137539894587/151210684158134523795\ 53371964335*c_0101_3^3 - 14423542403853311711046742785133/302421368\ 3162690475910674392867*c_0101_3^2 + 3839000561176175683685660854331/15121068415813452379553371964335*c_\ 0101_3 - 721279177148027902723615664335/302421368316269047591067439\ 2867, c_0101_1 - 3041936303123680004229804531762/1512106841581345237955337196\ 4335*c_0101_3^19 + 40185976680633684279636988930711/151210684158134\ 52379553371964335*c_0101_3^18 - 60004839983147634020275693747841/15\ 121068415813452379553371964335*c_0101_3^17 - 83986069926434852826950893503838/15121068415813452379553371964335*c\ _0101_3^16 + 166151203650622003222952294680632/30242136831626904759\ 10674392867*c_0101_3^15 + 62861899786491644030273268444369/15121068\ 415813452379553371964335*c_0101_3^14 - 507985584849272616473548743431238/3024213683162690475910674392867*c\ _0101_3^13 - 1892144557723064762815815718030926/1512106841581345237\ 9553371964335*c_0101_3^12 - 572662234876355882146677298684329/30242\ 13683162690475910674392867*c_0101_3^11 - 7787608309944544194359013804297572/15121068415813452379553371964335\ *c_0101_3^10 - 7173705035471645410846301453591543/15121068415813452\ 379553371964335*c_0101_3^9 + 253896919373825101925253442207033/1512\ 1068415813452379553371964335*c_0101_3^8 + 1194275419341322922092105272265503/3024213683162690475910674392867*\ c_0101_3^7 + 923342099736245538955684735483709/30242136831626904759\ 10674392867*c_0101_3^6 - 348774461804558995607169123393207/15121068\ 415813452379553371964335*c_0101_3^5 - 276819317742155852437420438719449/3024213683162690475910674392867*c\ _0101_3^4 - 20807506406685284536001849397093/1512106841581345237955\ 3371964335*c_0101_3^3 + 121283332313534956402930348286024/151210684\ 15813452379553371964335*c_0101_3^2 - 39408992894307880071099993943207/15121068415813452379553371964335*c\ _0101_3 + 2318546580879724368775370264777/1512106841581345237955337\ 1964335, c_0101_3^20 - 13*c_0101_3^19 + 17*c_0101_3^18 + 31*c_0101_3^17 - 266*c_0101_3^16 - 77*c_0101_3^15 + 815*c_0101_3^14 + 800*c_0101_3^13 + 1117*c_0101_3^12 + 2785*c_0101_3^11 + 2953*c_0101_3^10 + 554*c_0101_3^9 - 1861*c_0101_3^8 - 1932*c_0101_3^7 - 291*c_0101_3^6 + 423*c_0101_3^5 + 111*c_0101_3^4 - 30*c_0101_3^3 + 4*c_0101_3^2 + 4*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB