Magma V2.19-8 Tue Aug 20 2013 23:38:25 on localhost [Seed = 3516380650] Type ? for help. Type -D to quit. Loading file "K14n16280__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16280 geometric_solution 8.13168534 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 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 1 -1 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.569745095709 0.440108381354 0 5 6 5 0132 0132 0132 1230 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 1 -15 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.184077974510 1.708801474150 7 0 8 7 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.648255012931 0.465530967397 7 8 6 0 1230 1023 2310 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 -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 -0.185701936031 2.735139713352 4 6 0 4 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 1 -1 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.377862910677 0.689992621472 1 1 8 9 3012 0132 1023 0132 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 -1 1 0 0 0 0 0 0 0 0 -14 15 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.273962554168 0.395368908553 4 3 9 1 1023 3201 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.223525745508 0.787604431999 2 3 9 2 0132 3012 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.738572329403 0.651834878006 3 9 5 2 1023 3120 1023 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 -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.856935374049 0.892567000034 6 8 5 7 2031 3120 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 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.140607851411 2.132497892832 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0011_9']), 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_9']), 'c_1001_9' : negation(d['c_0101_5']), 'c_1001_8' : d['c_0101_5'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1100_2']), 'c_1100_8' : d['c_1100_2'], 'c_1100_5' : negation(d['c_1100_2']), 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : negation(d['c_1100_2']), 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_1100_2'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0011_9']), 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : negation(d['c_0011_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_5'], 'c_0110_9' : negation(d['c_0101_3']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_9'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0011_9, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_0101_9, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 3262193070139978318089869658891951927/29897629244675621300473952098\ 55680*c_1100_2^17 + 2334095662043762822108174589205899927/934300913\ 89611316563981100307990*c_1100_2^16 + 10089636856362151441540148777869485829/3646052346911661134204140499\ 8240*c_1100_2^15 + 142152816274310766311402794611746105743/72921046\ 938233222684082809996480*c_1100_2^14 + 5792396321109286308932335160761366488477/59795258489351242600947904\ 1971136*c_1100_2^13 + 26812740889527959353487942122700125914173/747\ 440731116890532511848802463920*c_1100_2^12 + 152255627004927558896272752352963416575417/149488146223378106502369\ 7604927840*c_1100_2^11 + 67326148366491189432095394320332009293047/\ 298976292446756213004739520985568*c_1100_2^10 + 289065459986595235730012849163128823336343/747440731116890532511848\ 802463920*c_1100_2^9 + 763355483241957602374817518689031399252023/1\ 494881462233781065023697604927840*c_1100_2^8 + 300358148450723993717837764730635037840131/597952584893512426009479\ 041971136*c_1100_2^7 + 524413155372643965123350579981188511138751/1\ 494881462233781065023697604927840*c_1100_2^6 + 58405156978720287412892051253068292066079/3737203655584452662559244\ 01231960*c_1100_2^5 + 102506626174176648841851206558292295876773/29\ 89762924467562130047395209855680*c_1100_2^4 - 793119270592125783540050353235472306407/597952584893512426009479041\ 971136*c_1100_2^3 - 4806687285372247399769714119488602268603/298976\ 2924467562130047395209855680*c_1100_2^2 - 33453973787931921467553391267528069489/1494881462233781065023697604\ 92784*c_1100_2 - 30487253733143700236133350040933363927/29897629244\ 67562130047395209855680, c_0011_0 - 1, c_0011_3 + 7778303347674509146431693/31314360592324709060865152*c_1100_\ 2^17 + 90541181727470154801206567/15657180296162354530432576*c_1100\ _2^16 + 1020387461456087120105270889/15657180296162354530432576*c_1\ 100_2^15 + 14645858248484444402846336999/31314360592324709060865152\ *c_1100_2^14 + 74296061026665020004149090641/3131436059232470906086\ 5152*c_1100_2^13 + 70389097454309588679401886807/782859014808117726\ 5216288*c_1100_2^12 + 205210848975512508374442781523/78285901480811\ 77265216288*c_1100_2^11 + 935738237840322046842912244281/1565718029\ 6162354530432576*c_1100_2^10 + 1668883039301586410682461102883/1565\ 7180296162354530432576*c_1100_2^9 + 2310494979913012770214301777907/15657180296162354530432576*c_1100_2\ ^8 + 4846926086809172677659137647387/31314360592324709060865152*c_1\ 100_2^7 + 231599883395235742690624454577/1957147537020294316304072*\ c_1100_2^6 + 956131573061223456302955965903/15657180296162354530432\ 576*c_1100_2^5 + 564511803655441760340292142313/3131436059232470906\ 0865152*c_1100_2^4 + 40725601343217537860324178515/3131436059232470\ 9060865152*c_1100_2^3 - 22429598740043115689966085789/3131436059232\ 4709060865152*c_1100_2^2 - 2389485331681599698008232263/15657180296\ 162354530432576*c_1100_2 - 274524164186589848983913797/313143605923\ 24709060865152, c_0011_4 - 193971977609352544007593715/31314360592324709060865152*c_110\ 0_2^17 - 2218617419369671504723863083/15657180296162354530432576*c_\ 1100_2^16 - 24552587391476453763167382959/1565718029616235453043257\ 6*c_1100_2^15 - 345567715847457711269493519349/31314360592324709060\ 865152*c_1100_2^14 - 1715221002082269178313808228859/31314360592324\ 709060865152*c_1100_2^13 - 1585842785189793890391729255559/78285901\ 48081177265216288*c_1100_2^12 - 2247815594872733648989707985433/391\ 4295074040588632608144*c_1100_2^11 - 19842708823025672952709537288683/15657180296162354530432576*c_1100_\ 2^10 - 33998415210927502420882984164827/15657180296162354530432576*\ c_1100_2^9 - 44754432533897831848265713893429/156571802961623545304\ 32576*c_1100_2^8 - 87666029053953556551390275732457/313143605923247\ 09060865152*c_1100_2^7 - 15205876700638981320838416269059/782859014\ 8081177265216288*c_1100_2^6 - 13387342608116822654555611515191/1565\ 7180296162354530432576*c_1100_2^5 - 5701148672214680471183421173099/31314360592324709060865152*c_1100_2\ ^4 + 292188138869379525229843446435/31314360592324709060865152*c_11\ 00_2^3 + 270876431858910547647524369179/31314360592324709060865152*\ c_1100_2^2 + 18200875533596612398628328927/156571802961623545304325\ 76*c_1100_2 + 1622909103557365433465874115/313143605923247090608651\ 52, c_0011_9 + 49941033106425743028486437/15657180296162354530432576*c_1100\ _2^17 + 572165045270975224668787983/7828590148081177265216288*c_110\ 0_2^16 + 6343036601982596168528821521/7828590148081177265216288*c_1\ 100_2^15 + 89447550588341836481252975503/15657180296162354530432576\ *c_1100_2^14 + 444941678548488615598336912201/156571802961623545304\ 32576*c_1100_2^13 + 412409696862482243162878735163/3914295074040588\ 632608144*c_1100_2^12 + 1172566500641726486318075925567/39142950740\ 40588632608144*c_1100_2^11 + 5193710960080117749334800171081/782859\ 0148081177265216288*c_1100_2^10 + 8938921238181011085376364025051/7\ 828590148081177265216288*c_1100_2^9 + 11836455944798953947556165227995/7828590148081177265216288*c_1100_2\ ^8 + 23382557021415868429467951972931/15657180296162354530432576*c_\ 1100_2^7 + 1027139867676434758205806076931/978573768510147158152036\ *c_1100_2^6 + 3704198764756197503929743765071/782859014808117726521\ 6288*c_1100_2^5 + 1675798851881349960080578336593/15657180296162354\ 530432576*c_1100_2^4 - 41768723505751669442561416629/15657180296162\ 354530432576*c_1100_2^3 - 76440860243037848852857240565/15657180296\ 162354530432576*c_1100_2^2 - 5697183142324909442543303015/782859014\ 8081177265216288*c_1100_2 - 551901418094094546068685965/15657180296\ 162354530432576, c_0101_1 + 180380072822709323260880775/15657180296162354530432576*c_110\ 0_2^17 + 2063688141865254654497643457/7828590148081177265216288*c_1\ 100_2^16 + 11422086185774540181190356633/3914295074040588632608144*\ c_1100_2^15 + 321615599590349744425026967777/1565718029616235453043\ 2576*c_1100_2^14 + 1596850250603095768605069921789/1565718029616235\ 4530432576*c_1100_2^13 + 2953870561818855187820900662937/7828590148\ 081177265216288*c_1100_2^12 + 4188637531199112055822255960843/39142\ 95074040588632608144*c_1100_2^11 + 9248330450928534286026411322801/3914295074040588632608144*c_1100_2^\ 10 + 31711054981177503529064650128577/7828590148081177265216288*c_1\ 100_2^9 + 20887381116893483373576115646225/391429507404058863260814\ 4*c_1100_2^8 + 81912998707345252187686295209349/1565718029616235453\ 0432576*c_1100_2^7 + 28456563967666099326923929282691/7828590148081\ 177265216288*c_1100_2^6 + 392360387604015392238091493331/2446434421\ 27536789538009*c_1100_2^5 + 5370340216910502174090830536889/1565718\ 0296162354530432576*c_1100_2^4 - 270076107320276327926477333213/156\ 57180296162354530432576*c_1100_2^3 - 257138042585715284334787117427/15657180296162354530432576*c_1100_2^\ 2 - 16988915008405913318174589375/7828590148081177265216288*c_1100_\ 2 - 1468504899155786864450114857/15657180296162354530432576, c_0101_2 - 5249810655521984867909539/1957147537020294316304072*c_1100_2\ ^17 - 60146017728727311995484821/978573768510147158152036*c_1100_2^\ 16 - 666778105431656839393987617/978573768510147158152036*c_1100_2^\ 15 - 2350661645757506913962470227/489286884255073579076018*c_1100_2\ ^14 - 23385733616078929419954169781/978573768510147158152036*c_1100\ _2^13 - 21675608306680167292765117853/244643442127536789538009*c_11\ 00_2^12 - 493017181670214192972085824363/1957147537020294316304072*\ c_1100_2^11 - 1091845415654535476397082016859/195714753702029431630\ 4072*c_1100_2^10 - 939554606210362343708183034417/97857376851014715\ 8152036*c_1100_2^9 - 1244036793566565050371012770041/97857376851014\ 7158152036*c_1100_2^8 - 1228660161403007505044087848647/97857376851\ 0147158152036*c_1100_2^7 - 1726803880432306432044072690033/19571475\ 37020294316304072*c_1100_2^6 - 389065472761197265788272440809/97857\ 3768510147158152036*c_1100_2^5 - 87899071041348346003264120379/9785\ 73768510147158152036*c_1100_2^4 + 4505379433921371799579678123/1957\ 147537020294316304072*c_1100_2^3 + 1006016312085006898815759214/244643442127536789538009*c_1100_2^2 + 1194513066702344509265946249/1957147537020294316304072*c_1100_2 + 28747618733968307756057701/978573768510147158152036, c_0101_3 + 52618570299769807624427265/31314360592324709060865152*c_1100\ _2^17 + 603348005536449542948210575/15657180296162354530432576*c_11\ 00_2^16 + 6694628824306636644805952507/15657180296162354530432576*c\ _1100_2^15 + 94496277567683569877397339683/313143605923247090608651\ 52*c_1100_2^14 + 470564065078259608155345135873/3131436059232470906\ 0865152*c_1100_2^13 + 218347294930213475906527403263/39142950740405\ 88632608144*c_1100_2^12 + 1243393395359311391849236971585/782859014\ 8081177265216288*c_1100_2^11 + 5516784999500301512951669801219/1565\ 7180296162354530432576*c_1100_2^10 + 9515298355686046688732873728139/15657180296162354530432576*c_1100_2\ ^9 + 12634583580575696994200543758193/15657180296162354530432576*c_\ 1100_2^8 + 25056910073838254060261731403239/31314360592324709060865\ 152*c_1100_2^7 + 4428433962225124707397531518925/782859014808117726\ 5216288*c_1100_2^6 + 4033822363451574481066835866605/15657180296162\ 354530432576*c_1100_2^5 + 1869208775675409832933932585249/313143605\ 92324709060865152*c_1100_2^4 - 28650087480792722269947134173/313143\ 60592324709060865152*c_1100_2^3 - 84493195714235775613930441529/313\ 14360592324709060865152*c_1100_2^2 - 6519002289626515035598162011/15657180296162354530432576*c_1100_2 - 641954851389281546299700093/31314360592324709060865152, c_0101_5 - 25879038145626124767081267/15657180296162354530432576*c_1100\ _2^17 - 592273168655960053797812611/15657180296162354530432576*c_11\ 00_2^16 - 6557622205614376420261055445/15657180296162354530432576*c\ _1100_2^15 - 23086051262502065851622707677/782859014808117726521628\ 8*c_1100_2^14 - 229309173034012739008084231859/15657180296162354530\ 432576*c_1100_2^13 - 848612429905885363926470553725/156571802961623\ 54530432576*c_1100_2^12 - 2407541077035407159821713073209/156571802\ 96162354530432576*c_1100_2^11 - 5317975160128905688592310656351/156\ 57180296162354530432576*c_1100_2^10 - 9122089131514732096715566570661/15657180296162354530432576*c_1100_2\ ^9 - 12025362659626487894973600511187/15657180296162354530432576*c_\ 1100_2^8 - 2950366410906903151792154715103/391429507404058863260814\ 4*c_1100_2^7 - 4105968309227258534001310254023/78285901480811772652\ 16288*c_1100_2^6 - 56768547277648361812302756986/244643442127536789\ 538009*c_1100_2^5 - 782460702927613514033585241211/1565718029616235\ 4530432576*c_1100_2^4 + 18480848422245901477096940033/7828590148081\ 177265216288*c_1100_2^3 + 37307592977419562133653088195/15657180296\ 162354530432576*c_1100_2^2 + 4952048446890571732904832371/156571802\ 96162354530432576*c_1100_2 + 105149648622975620793494153/7828590148\ 081177265216288, c_0101_9 - 22223343540959010035997041/31314360592324709060865152*c_1100\ _2^17 - 127182616246951396546706711/7828590148081177265216288*c_110\ 0_2^16 - 1408510638717574822861196697/7828590148081177265216288*c_1\ 100_2^15 - 39679815625306998480303725937/31314360592324709060865152\ *c_1100_2^14 - 197124549631623973210491358037/313143605923247090608\ 65152*c_1100_2^13 - 364874561906631815016754917385/1565718029616235\ 4530432576*c_1100_2^12 - 1035558527443673804142529615905/1565718029\ 6162354530432576*c_1100_2^11 - 572112940835629923084505531777/39142\ 95074040588632608144*c_1100_2^10 - 490954621836549731635193090679/1957147537020294316304072*c_1100_2^9 - 2590666580773807134613880981765/7828590148081177265216288*c_1100_\ 2^8 - 10179677234532056121067856144553/31314360592324709060865152*c\ _1100_2^7 - 1773366651922559093149433427507/78285901480811772652162\ 88*c_1100_2^6 - 1573046066112271595728217176053/1565718029616235453\ 0432576*c_1100_2^5 - 681460253698460249810180598397/313143605923247\ 09060865152*c_1100_2^4 + 30587995914715947019883105275/313143605923\ 24709060865152*c_1100_2^3 + 32426642910999629365152390489/313143605\ 92324709060865152*c_1100_2^2 + 1095084943940057237928026349/7828590\ 148081177265216288*c_1100_2 + 207865011654630057293181611/313143605\ 92324709060865152, c_1100_2^18 + 23*c_1100_2^17 + 256*c_1100_2^16 + 1813*c_1100_2^15 + 9064*c_1100_2^14 + 33801*c_1100_2^13 + 96768*c_1100_2^12 + 216102*c_1100_2^11 + 375936*c_1100_2^10 + 504924*c_1100_2^9 + 509133*c_1100_2^8 + 369511*c_1100_2^7 + 176782*c_1100_2^6 + 46395*c_1100_2^5 + 2084*c_1100_2^4 - 1594*c_1100_2^3 - 359*c_1100_2^2 - 31*c_1100_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.200 Total time: 0.410 seconds, Total memory usage: 32.09MB