Magma V2.19-8 Wed Aug 21 2013 01:07:14 on localhost [Seed = 2783165605] Type ? for help. Type -D to quit. Loading file "L14n32998__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32998 geometric_solution 12.39202434 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 0 1 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 -1 0 1 0 0 1 -1 -1 -1 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379182020192 0.576076667261 0 5 7 6 0132 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 -1 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 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134583994852 0.938185348885 4 0 6 3 1023 0132 1302 1230 1 1 1 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 0 0 0 1 0 -1 -1 0 0 1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.064193974195 1.247214506103 2 8 9 0 3012 0132 0132 0132 1 1 1 1 0 0 0 0 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 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.640702229087 0.516349956433 5 2 0 10 0132 1023 0132 0132 1 1 1 0 0 1 0 -1 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 -1 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422045363463 1.065448908124 4 1 8 11 0132 0132 2103 0132 1 1 0 1 0 0 0 0 0 0 0 0 1 -1 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531553318083 0.927395473030 2 10 1 12 2031 3120 0132 0132 1 1 0 1 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 -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.930482090036 1.516493546982 11 10 9 1 0132 1023 3012 0132 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 0 0 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.329393476589 0.925967372418 5 3 9 11 2103 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.041158824940 0.799668258005 8 7 12 3 2031 1230 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607538649913 0.701566381604 7 6 4 12 1023 3120 0132 1230 1 1 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 0 0 0 0 -1 0 1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.102465847253 1.038430808916 7 12 5 8 0132 2103 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531843742604 0.765726837907 10 11 6 9 3012 2103 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130971379673 0.684171685194 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0011_3'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0011_12'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0101_3'], 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : negation(d['c_0011_9']), '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_0110_12'], 'c_1100_7' : negation(d['c_1001_9']), 'c_1100_6' : negation(d['c_1001_9']), 'c_1100_1' : negation(d['c_1001_9']), 'c_1100_0' : d['c_0110_12'], 'c_1100_3' : d['c_0110_12'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0110_12'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_0110_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_0101_7'], 'c_1100_8' : d['c_0101_9'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_9']), 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_6'], '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_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_9']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_9']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_9'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_6'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0101_7, c_0101_9, c_0110_12, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 10950340558442199961461586/81970841781640884535098825*c_1001_9^13 + 11001881534742980359930353/3768774334788086645291900*c_1001_9^12 - 358679623235830293339398815/13115334685062541525615812*c_1001_9^11 + 47808266875524910444126154863/327883367126563538140395300*c_1001_9^\ 10 - 81610752499588495530242014601/163941683563281769070197650*c_10\ 01_9^9 + 27551220212218983681064703267/23420240509040252724313950*c\ _1001_9^8 - 225466106106882214351096661249/109294455708854512713465\ 100*c_1001_9^7 + 44232032612492599369299436647/15613493672693501816\ 209300*c_1001_9^6 - 49453777673789205765245614822/16394168356328176\ 907019765*c_1001_9^5 + 47053979860889590272849730637/21858891141770\ 902542693020*c_1001_9^4 - 54660934056913166141527899463/10929445570\ 8854512713465100*c_1001_9^3 - 32818411114254632276819473513/4684048\ 1018080505448627900*c_1001_9^2 + 46129117678203009971597393909/6557\ 6673425312707628079060*c_1001_9 - 69024050106095591377856631209/327\ 883367126563538140395300, c_0011_0 - 1, c_0011_10 - 3746513241760852/15035150085971513*c_1001_9^13 + 74831512544505594/15035150085971513*c_1001_9^12 - 624226051010436100/15035150085971513*c_1001_9^11 + 2870082858118676653/15035150085971513*c_1001_9^10 - 8147807906110268037/15035150085971513*c_1001_9^9 + 15541237059618957039/15035150085971513*c_1001_9^8 - 21802619720797836291/15035150085971513*c_1001_9^7 + 23598470564742263472/15035150085971513*c_1001_9^6 - 16480087846522431608/15035150085971513*c_1001_9^5 - 337121853665889187/15035150085971513*c_1001_9^4 + 13109039757200126593/15035150085971513*c_1001_9^3 - 8725757698543200348/15035150085971513*c_1001_9^2 - 1261840214034430743/15035150085971513*c_1001_9 + 2358030125423852162/15035150085971513, c_0011_12 - 1230628681673271/15035150085971513*c_1001_9^13 + 24767147042604678/15035150085971513*c_1001_9^12 - 208170118100513501/15035150085971513*c_1001_9^11 + 963038174873581529/15035150085971513*c_1001_9^10 - 2741320667172136774/15035150085971513*c_1001_9^9 + 5215232037103535473/15035150085971513*c_1001_9^8 - 7278564304225775197/15035150085971513*c_1001_9^7 + 7863127460328934802/15035150085971513*c_1001_9^6 - 5453980719656254151/15035150085971513*c_1001_9^5 - 248237989398782572/15035150085971513*c_1001_9^4 + 4436846325825011751/15035150085971513*c_1001_9^3 - 2781455680404060489/15035150085971513*c_1001_9^2 - 16695010421543672/518453451240397*c_1001_9 + 737537404327662755/15035150085971513, c_0011_3 + 1189418586374614/15035150085971513*c_1001_9^13 - 23691135017056746/15035150085971513*c_1001_9^12 + 196772776813768192/15035150085971513*c_1001_9^11 - 898727741046151097/15035150085971513*c_1001_9^10 + 2526563345738551453/15035150085971513*c_1001_9^9 - 4759496931412939140/15035150085971513*c_1001_9^8 + 6597063016960906681/15035150085971513*c_1001_9^7 - 7059373000719480365/15035150085971513*c_1001_9^6 + 4771722565284279443/15035150085971513*c_1001_9^5 + 412141295717863717/15035150085971513*c_1001_9^4 - 4088216354055813478/15035150085971513*c_1001_9^3 + 2489860550910024221/15035150085971513*c_1001_9^2 + 477943088856621784/15035150085971513*c_1001_9 - 678667668063216423/15035150085971513, c_0011_6 - 541259612023021/15035150085971513*c_1001_9^13 + 10984807949439984/15035150085971513*c_1001_9^12 - 93567152308524671/15035150085971513*c_1001_9^11 + 441774939654737028/15035150085971513*c_1001_9^10 - 1294395348843881171/15035150085971513*c_1001_9^9 + 2548938836596422992/15035150085971513*c_1001_9^8 - 3665495291508895277/15035150085971513*c_1001_9^7 + 4065142518284658667/15035150085971513*c_1001_9^6 - 3041083451166569162/15035150085971513*c_1001_9^5 + 289894076742931477/15035150085971513*c_1001_9^4 + 2108007011065215703/15035150085971513*c_1001_9^3 - 1622115962946206549/15035150085971513*c_1001_9^2 - 133818208599664850/15035150085971513*c_1001_9 + 423157670344390388/15035150085971513, c_0011_9 + 318425114197088/15035150085971513*c_1001_9^13 - 6308949682692322/15035150085971513*c_1001_9^12 + 52196650684012887/15035150085971513*c_1001_9^11 - 238420749790492334/15035150085971513*c_1001_9^10 + 675605340944627336/15035150085971513*c_1001_9^9 - 1296580524597277780/15035150085971513*c_1001_9^8 + 1839288154127973514/15035150085971513*c_1001_9^7 - 2006375403913603444/15035150085971513*c_1001_9^6 + 1431379606518374500/15035150085971513*c_1001_9^5 - 59633936256161438/15035150085971513*c_1001_9^4 - 1048292694787334701/15035150085971513*c_1001_9^3 + 780787952503514511/15035150085971513*c_1001_9^2 + 67031473991352764/15035150085971513*c_1001_9 - 222694276201053684/15035150085971513, c_0101_0 - 1, c_0101_1 - 4399402636404371/15035150085971513*c_1001_9^13 + 88143141151334769/15035150085971513*c_1001_9^12 - 737890382138105437/15035150085971513*c_1001_9^11 + 3405847100633739471/15035150085971513*c_1001_9^10 - 9705816383661005294/15035150085971513*c_1001_9^9 + 18570611463171044932/15035150085971513*c_1001_9^8 - 900289380627827465/518453451240397*c_1001_9^7 + 28328764022133577999/15035150085971513*c_1001_9^6 - 686641944768091060/518453451240397*c_1001_9^5 - 202917178504233257/15035150085971513*c_1001_9^4 + 15675385351961350689/15035150085971513*c_1001_9^3 - 10552456170467765647/15035150085971513*c_1001_9^2 - 1484913649963697488/15035150085971513*c_1001_9 + 2836798706844189355/15035150085971513, c_0101_3 + 1658919959008859/15035150085971513*c_1001_9^13 - 33445970509164626/15035150085971513*c_1001_9^12 + 282107548372202588/15035150085971513*c_1001_9^11 - 1313251540257636798/15035150085971513*c_1001_9^10 + 3775199157730410015/15035150085971513*c_1001_9^9 - 7275097020525753128/15035150085971513*c_1001_9^8 + 10275876439674579252/15035150085971513*c_1001_9^7 - 11216772485958574697/15035150085971513*c_1001_9^6 + 8015418829804481511/15035150085971513*c_1001_9^5 - 119675995835201586/15035150085971513*c_1001_9^4 - 6106387232871799955/15035150085971513*c_1001_9^3 + 4187788965916264479/15035150085971513*c_1001_9^2 + 573199052015431317/15035150085971513*c_1001_9 - 1115964360771848098/15035150085971513, c_0101_7 + 1035119786528808/15035150085971513*c_1001_9^13 - 20721298315095641/15035150085971513*c_1001_9^12 + 173226785835771560/15035150085971513*c_1001_9^11 - 797916254773256315/15035150085971513*c_1001_9^10 + 2268289029525241298/15035150085971513*c_1001_9^9 - 4333382131293585577/15035150085971513*c_1001_9^8 + 6103015117072600928/15035150085971513*c_1001_9^7 - 6655667411299982306/15035150085971513*c_1001_9^6 + 4720166030025119305/15035150085971513*c_1001_9^5 - 70876143837209072/15035150085971513*c_1001_9^4 - 3482498979849641995/15035150085971513*c_1001_9^3 + 2354233283328205199/15035150085971513*c_1001_9^2 + 306779758047696049/15035150085971513*c_1001_9 - 629024536065910440/15035150085971513, c_0101_9 + 1438146534358843/15035150085971513*c_1001_9^13 - 28900276330585366/15035150085971513*c_1001_9^12 + 242878091534946554/15035150085971513*c_1001_9^11 - 1126491368366937585/15035150085971513*c_1001_9^10 + 3228628781683913141/15035150085971513*c_1001_9^9 - 6213618446600673876/15035150085971513*c_1001_9^8 + 302705701535174970/518453451240397*c_1001_9^7 - 9574903071326913832/15035150085971513*c_1001_9^6 + 235270472682295328/518453451240397*c_1001_9^5 - 96404842146686505/15035150085971513*c_1001_9^4 - 5216980191400979345/15035150085971513*c_1001_9^3 + 3632501058349533631/15035150085971513*c_1001_9^2 + 446670592662207739/15035150085971513*c_1001_9 - 972422343561914959/15035150085971513, c_0110_12 + 721512529779370/15035150085971513*c_1001_9^13 - 14157583452315615/15035150085971513*c_1001_9^12 + 115580087087322359/15035150085971513*c_1001_9^11 - 518434060565212737/15035150085971513*c_1001_9^10 + 1434644220804393713/15035150085971513*c_1001_9^9 - 2680608517736490790/15035150085971513*c_1001_9^8 + 3715603878332954450/15035150085971513*c_1001_9^7 - 3965781879424028378/15035150085971513*c_1001_9^6 + 2656767965905221590/15035150085971513*c_1001_9^5 + 201223786689427783/15035150085971513*c_1001_9^4 - 2208138092283368231/15035150085971513*c_1001_9^3 + 1384242055837702060/15035150085971513*c_1001_9^2 + 220234591773400282/15035150085971513*c_1001_9 - 379446247593259529/15035150085971513, c_1001_9^14 - 22*c_1001_9^13 + 207*c_1001_9^12 - 1102*c_1001_9^11 + 3714*c_1001_9^10 - 8501*c_1001_9^9 + 14094*c_1001_9^8 - 17887*c_1001_9^7 + 16929*c_1001_9^6 - 8625*c_1001_9^5 - 3709*c_1001_9^4 + 9221*c_1001_9^3 - 4197*c_1001_9^2 - 1299*c_1001_9 + 1217 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.500 Total time: 0.700 seconds, Total memory usage: 32.09MB