Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 2816883579] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0869 geometric_solution 4.77754264 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.371975699694 0.200824196870 2 0 3 0 0132 2310 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 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.546415766902 0.923005564761 1 4 3 3 0132 0132 3012 1230 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.387909167160 1.401473910724 2 2 4 1 3012 1230 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1.387909167160 1.401473910724 3 2 5 5 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 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.282642238414 0.446586016120 4 6 4 6 2310 0132 0132 1023 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 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.040667795990 2.971951171851 6 5 6 5 2031 0132 1302 1023 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.347933224949 0.149004683051 ==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_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_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_0011_5'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0110_6'], '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_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0110_6'], '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_0011_5, c_0101_0, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 206182348132298719567627081374477/107722131759419750418117813112*c_\ 0110_6^21 + 1623443961554471312041357582414663/13465266469927468802\ 264726639*c_0110_6^19 - 304409363042576135824245428547265489/107722\ 131759419750418117813112*c_0110_6^17 + 37206647894600371138344656081596263/1252582927435113376954858292*c_\ 0110_6^15 - 13571594240110122919182389220497096903/1077221317594197\ 50418117813112*c_0110_6^13 + 1119849631886862330234588890133475799/\ 13465266469927468802264726639*c_0110_6^11 + 12108492263822524825026432898923424451/1077221317594197504181178131\ 12*c_0110_6^9 + 20485503919721255133635155765114067605/538610658797\ 09875209058906556*c_0110_6^7 - 567516846455273015794512165728038120\ 7/53861065879709875209058906556*c_0110_6^5 + 548813604148561014467745541597106197/107722131759419750418117813112\ *c_0110_6^3 - 22484841589391746840825798786534339/10772213175941975\ 0418117813112*c_0110_6, c_0011_0 - 1, c_0011_1 - 795608386839783077084301/1035789728455959138635748203*c_0110\ _6^20 + 49969353914906128895415966/1035789728455959138635748203*c_0\ 110_6^18 - 1165465653291693777983081394/103578972845595913863574820\ 3*c_0110_6^16 + 282187593287277997130421913/24088133219906026479901\ 121*c_0110_6^14 - 50171092560122955262238132790/1035789728455959138\ 635748203*c_0110_6^12 + 25714642577351404085050024010/1035789728455\ 959138635748203*c_0110_6^10 + 49764171066138969115038788081/1035789\ 728455959138635748203*c_0110_6^8 + 168848570749200477692468074035/1035789728455959138635748203*c_0110_\ 6^6 - 12044711996473772923380315669/1035789728455959138635748203*c_\ 0110_6^4 + 4225020264767925252398472779/103578972845595913863574820\ 3*c_0110_6^2 - 748289897744208742116222537/103578972845595913863574\ 8203, c_0011_3 + 64836232868052028863959/1035789728455959138635748203*c_0110_\ 6^20 - 3971601092201738729680286/1035789728455959138635748203*c_011\ 0_6^18 + 88622196817766194397692279/1035789728455959138635748203*c_\ 0110_6^16 - 19512305231562232152897162/24088133219906026479901121*c\ _0110_6^14 + 2496300298365306340155699167/1035789728455959138635748\ 203*c_0110_6^12 + 4854247075109046309532117458/10357897284559591386\ 35748203*c_0110_6^10 - 9779980663589464848560461779/103578972845595\ 9138635748203*c_0110_6^8 - 19102516278801007874098000661/1035789728\ 455959138635748203*c_0110_6^6 - 17175424072133473984300070285/10357\ 89728455959138635748203*c_0110_6^4 + 9007576327369075094041634546/1035789728455959138635748203*c_0110_6^\ 2 - 243089305444384463087270869/1035789728455959138635748203, c_0011_5 + 5255323230080018969684469/4143158913823836554542992812*c_011\ 0_6^20 - 82527093911778813573213185/1035789728455959138635748203*c_\ 0110_6^18 + 7700614571562522611880117029/41431589138238365545429928\ 12*c_0110_6^16 - 932455926091738712962154627/4817626643981205295980\ 2242*c_0110_6^14 + 331589423438366169792541777475/41431589138238365\ 54542992812*c_0110_6^12 - 41986479941113055969781358980/10357897284\ 55959138635748203*c_0110_6^10 - 346142898638083233657182369431/4143\ 158913823836554542992812*c_0110_6^8 - 550559037941873955311122487723/2071579456911918277271496406*c_0110_\ 6^6 + 52833984836938434772283171087/2071579456911918277271496406*c_\ 0110_6^4 + 26001103002323386705830000243/41431589138238365545429928\ 12*c_0110_6^2 - 57990907828178604133480141/414315891382383655454299\ 2812, c_0101_0 - 59996985971712356861465455/2071579456911918277271496406*c_01\ 10_6^21 + 1890236768611446400025635977/1035789728455959138635748203\ *c_0110_6^19 - 88657292559770553365615809433/2071579456911918277271\ 496406*c_0110_6^17 + 10847789007587522199486840136/2408813321990602\ 6479901121*c_0110_6^15 - 3968172094862452670186678235345/2071579456\ 911918277271496406*c_0110_6^13 + 1343507955721230188022752775028/10\ 35789728455959138635748203*c_0110_6^11 + 3472696122083480252807545414307/2071579456911918277271496406*c_0110\ _6^9 + 5924929241799486303710769282294/1035789728455959138635748203\ *c_0110_6^7 - 1775276121329323632175763767614/103578972845595913863\ 5748203*c_0110_6^5 + 218131795756547672937309964147/207157945691191\ 8277271496406*c_0110_6^3 - 13854391102137105311787432153/2071579456\ 911918277271496406*c_0110_6, c_0101_3 + 181982292852402119861515955/4143158913823836554542992812*c_0\ 110_6^21 - 2866482121036738677802357307/103578972845595913863574820\ 3*c_0110_6^19 + 268853210498278030437029965047/41431589138238365545\ 42992812*c_0110_6^17 - 32886595667000533728334459601/48176266439812\ 052959802242*c_0110_6^15 + 12020805829238131093656371854345/4143158\ 913823836554542992812*c_0110_6^13 - 2020598322477571651057969535510/1035789728455959138635748203*c_0110\ _6^11 - 10592885137686916753204731814085/41431589138238365545429928\ 12*c_0110_6^9 - 17993931259601735276028908787991/207157945691191827\ 7271496406*c_0110_6^7 + 5295820617644913716812776752715/20715794569\ 11918277271496406*c_0110_6^5 - 551313691517378924633328067163/41431\ 58913823836554542992812*c_0110_6^3 + 14400296467177124445003308881/4143158913823836554542992812*c_0110_6\ , c_0110_6^22 - 63*c_0110_6^20 + 1477*c_0110_6^18 - 15533*c_0110_6^16 + 65969*c_0110_6^14 - 44069*c_0110_6^12 - 58319*c_0110_6^10 - 198161*c_0110_6^8 + 56916*c_0110_6^6 - 3179*c_0110_6^4 + 134*c_0110_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB