Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 4223297339] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0386 geometric_solution 4.45269306 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 0 0 0 0 0 0 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.328044442774 0.128586283763 0 2 2 0 0132 0132 3201 3201 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 0 0 0 0 0 0 0 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.107068022545 0.506050105185 1 1 3 3 2310 0132 0132 3201 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 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.201187260101 0.208114689619 4 2 5 2 0132 2310 0132 0132 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 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.913184830520 1.319483756320 3 5 6 5 0132 3201 0132 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 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.234916241678 1.134226819759 4 6 4 3 3201 0132 2310 0132 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 -1 0 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.234916241678 1.134226819759 6 5 6 4 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.175094227429 0.845393095498 ==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' : 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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 23275365539405743196477/271196526280778547277*c_0101_3^21 + 398751226105812865687775/271196526280778547277*c_0101_3^20 - 2824294496852138280975238/271196526280778547277*c_0101_3^19 + 10320669503993122329384209/271196526280778547277*c_0101_3^18 - 18536013716195387677370731/271196526280778547277*c_0101_3^17 + 5065201920492873285996006/271196526280778547277*c_0101_3^16 + 39067517912603029415453519/271196526280778547277*c_0101_3^15 - 51680646920772532120935928/271196526280778547277*c_0101_3^14 - 29812308788029560627506344/271196526280778547277*c_0101_3^13 + 107001073746059815720158033/271196526280778547277*c_0101_3^12 - 33141283168147797694208824/271196526280778547277*c_0101_3^11 - 85192909957296319136061761/271196526280778547277*c_0101_3^10 + 43492871566465686614773115/271196526280778547277*c_0101_3^9 + 51658860263314860483805518/271196526280778547277*c_0101_3^8 - 29901409582050643926873948/271196526280778547277*c_0101_3^7 - 18741367734404350305958274/271196526280778547277*c_0101_3^6 + 14696335722799772246377185/271196526280778547277*c_0101_3^5 + 574983681675316194515360/271196526280778547277*c_0101_3^4 - 3303403434015224175952050/271196526280778547277*c_0101_3^3 + 776046232803421817219894/271196526280778547277*c_0101_3^2 + 176148591735427194342777/271196526280778547277*c_0101_3 - 48885677505107244896669/271196526280778547277, c_0011_0 - 1, c_0011_3 + 10767594472699169847/271196526280778547277*c_0101_3^21 - 206229968119592266505/271196526280778547277*c_0101_3^20 + 1678248907421846854413/271196526280778547277*c_0101_3^19 - 7404863690578508131228/271196526280778547277*c_0101_3^18 + 18238389182703224206320/271196526280778547277*c_0101_3^17 - 20204136527536858941470/271196526280778547277*c_0101_3^16 - 10619177385752679019836/271196526280778547277*c_0101_3^15 + 54481501924934777324929/271196526280778547277*c_0101_3^14 - 31032086917466417633290/271196526280778547277*c_0101_3^13 - 68330879676438013289728/271196526280778547277*c_0101_3^12 + 100301719663212079279482/271196526280778547277*c_0101_3^11 + 3787660819668455081219/271196526280778547277*c_0101_3^10 - 73514374159474494108861/271196526280778547277*c_0101_3^9 + 5571888717374951737583/271196526280778547277*c_0101_3^8 + 46377245601046192245499/271196526280778547277*c_0101_3^7 - 12000035543758395890384/271196526280778547277*c_0101_3^6 - 14877253983783009429420/271196526280778547277*c_0101_3^5 + 7926015141996747332465/271196526280778547277*c_0101_3^4 + 324400800051808014188/271196526280778547277*c_0101_3^3 - 1253264900987805610302/271196526280778547277*c_0101_3^2 + 276086573827779957351/271196526280778547277*c_0101_3 + 172092536969320208541/271196526280778547277, c_0011_5 + 179721603611766377172/271196526280778547277*c_0101_3^21 - 3041305784956651658975/271196526280778547277*c_0101_3^20 + 21186897391539695660852/271196526280778547277*c_0101_3^19 - 75531212003593351123330/271196526280778547277*c_0101_3^18 + 129274776306929320205207/271196526280778547277*c_0101_3^17 - 19239893100810554607907/271196526280778547277*c_0101_3^16 - 292565426258467235798358/271196526280778547277*c_0101_3^15 + 332924324221264045424909/271196526280778547277*c_0101_3^14 + 276614983675873097892398/271196526280778547277*c_0101_3^13 - 736843868273443934731669/271196526280778547277*c_0101_3^12 + 119382461167912590437640/271196526280778547277*c_0101_3^11 + 620860386825453801349252/271196526280778547277*c_0101_3^10 - 187117108283480161759614/271196526280778547277*c_0101_3^9 - 396316816716395275236179/271196526280778547277*c_0101_3^8 + 134985006971379075911481/271196526280778547277*c_0101_3^7 + 144510795912843993444595/271196526280778547277*c_0101_3^6 - 74101787363572659045133/271196526280778547277*c_0101_3^5 - 12443029373289756987496/271196526280778547277*c_0101_3^4 + 19266582758463388110163/271196526280778547277*c_0101_3^3 - 1588427731541050902519/271196526280778547277*c_0101_3^2 - 1214209370089085725188/271196526280778547277*c_0101_3 + 146958716641374163205/271196526280778547277, c_0101_0 + 433410892120896466692/271196526280778547277*c_0101_3^21 - 7292226077080442936767/271196526280778547277*c_0101_3^20 + 50342437830520738789099/271196526280778547277*c_0101_3^19 - 176525288161601269976533/271196526280778547277*c_0101_3^18 + 289430534435386949984201/271196526280778547277*c_0101_3^17 + 600868585842988705019/271196526280778547277*c_0101_3^16 - 739722055479883137969436/271196526280778547277*c_0101_3^15 + 743277017828760755460030/271196526280778547277*c_0101_3^14 + 800758915701649766228591/271196526280778547277*c_0101_3^13 - 1781120559878876562374970/271196526280778547277*c_0101_3^12 + 67370315796550423558038/271196526280778547277*c_0101_3^11 + 1665767641548003038221758/271196526280778547277*c_0101_3^10 - 337001737359133290883541/271196526280778547277*c_0101_3^9 - 1097762462497234007952944/271196526280778547277*c_0101_3^8 + 251566717556184530451454/271196526280778547277*c_0101_3^7 + 446443809017359743503017/271196526280778547277*c_0101_3^6 - 157323380618215589695860/271196526280778547277*c_0101_3^5 - 64357802130452143825787/271196526280778547277*c_0101_3^4 + 49028130174068432223376/271196526280778547277*c_0101_3^3 - 573889219568151339323/271196526280778547277*c_0101_3^2 - 4099037494600737881022/271196526280778547277*c_0101_3 - 30810574947189551509/271196526280778547277, c_0101_1 - 279395070318073276381/271196526280778547277*c_0101_3^21 + 4659791535323490769721/271196526280778547277*c_0101_3^20 - 31776540220492187260669/271196526280778547277*c_0101_3^19 + 109284221258956243661435/271196526280778547277*c_0101_3^18 - 171738379347200433242825/271196526280778547277*c_0101_3^17 - 20641349256127770216232/271196526280778547277*c_0101_3^16 + 462860444548120601010715/271196526280778547277*c_0101_3^15 - 401879680347190416191647/271196526280778547277*c_0101_3^14 - 564057636603014005291700/271196526280778547277*c_0101_3^13 + 1034997220774712376664356/271196526280778547277*c_0101_3^12 + 114222164259925905406799/271196526280778547277*c_0101_3^11 - 1011712505657749266965663/271196526280778547277*c_0101_3^10 + 26837794751098766681562/271196526280778547277*c_0101_3^9 + 695710295933904992824537/271196526280778547277*c_0101_3^8 - 31230064422959369937067/271196526280778547277*c_0101_3^7 - 282661703717946822546166/271196526280778547277*c_0101_3^6 + 43097454370028329169377/271196526280778547277*c_0101_3^5 + 48352160534292421328553/271196526280778547277*c_0101_3^4 - 20684934907358923571885/271196526280778547277*c_0101_3^3 - 5799805940193835302355/271196526280778547277*c_0101_3^2 + 2254886019477668816722/271196526280778547277*c_0101_3 + 681002578666245217589/271196526280778547277, c_0101_2 - 19916765503954560210/271196526280778547277*c_0101_3^21 + 261900328156113786118/271196526280778547277*c_0101_3^20 - 1095528977149627428377/271196526280778547277*c_0101_3^19 - 170563172390644368963/271196526280778547277*c_0101_3^18 + 15098619805645711370234/271196526280778547277*c_0101_3^17 - 44491986790928439722788/271196526280778547277*c_0101_3^16 + 28453721981298336262575/271196526280778547277*c_0101_3^15 + 85967129997671177915623/271196526280778547277*c_0101_3^14 - 142521761713997306344104/271196526280778547277*c_0101_3^13 - 60004447621096416026151/271196526280778547277*c_0101_3^12 + 264927539762551643658618/271196526280778547277*c_0101_3^11 - 57725991462331206223033/271196526280778547277*c_0101_3^10 - 240087125799912090693012/271196526280778547277*c_0101_3^9 + 72725294027927786063031/271196526280778547277*c_0101_3^8 + 153506075453274332697290/271196526280778547277*c_0101_3^7 - 40701267475152177016591/271196526280778547277*c_0101_3^6 - 56788820276532348830258/271196526280778547277*c_0101_3^5 + 22337487607497382526462/271196526280778547277*c_0101_3^4 + 6367846005172911466126/271196526280778547277*c_0101_3^3 - 6709645160358054324693/271196526280778547277*c_0101_3^2 + 115093649621050176068/271196526280778547277*c_0101_3 + 468192706095690451667/271196526280778547277, c_0101_3^22 - 17*c_0101_3^21 + 119*c_0101_3^20 - 426*c_0101_3^19 + 728*c_0101_3^18 - 77*c_0101_3^17 - 1769*c_0101_3^16 + 2010*c_0101_3^15 + 1713*c_0101_3^14 - 4594*c_0101_3^13 + 692*c_0101_3^12 + 4210*c_0101_3^11 - 1458*c_0101_3^10 - 2773*c_0101_3^9 + 1103*c_0101_3^8 + 1171*c_0101_3^7 - 603*c_0101_3^6 - 184*c_0101_3^5 + 179*c_0101_3^4 - 7*c_0101_3^3 - 22*c_0101_3^2 + 2*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB