Magma V2.19-8 Tue Aug 20 2013 23:40:40 on localhost [Seed = 1999705061] Type ? for help. Type -D to quit. Loading file "K12n374__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n374 geometric_solution 10.35547541 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 1 -1 0 0 0 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.780462990548 0.550849535783 0 5 2 6 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 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.640633520006 0.247328606160 7 0 8 1 0132 0132 0132 0132 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 -1 0 0 1 0 0 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.353518981853 0.628248905166 6 5 9 0 0132 0321 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 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.134183148741 0.381694086772 7 7 0 5 2103 0132 0132 3120 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 -1 1 0 0 0 0 0 1 -1 0 0 1 11 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.781250370672 1.101751472749 4 1 10 3 3120 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.009370017995 0.462214984970 3 11 1 9 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642553559401 2.479830337714 2 4 4 11 0132 0132 2103 2310 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 1 -1 0 1 0 0 -1 0 -11 0 11 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.137832193378 1.578082549305 9 11 10 2 0132 2310 2310 0132 0 0 0 0 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 0 0 0 0 -12 0 0 12 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282272529527 0.427314741750 8 6 10 3 0132 0321 2103 0132 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 -1 1 0 0 12 -1 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334271472241 0.701996641401 9 8 11 5 2103 3201 0321 0132 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 1 0 -1 0 0 0 0 0 0 0 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272310367142 1.207092780828 7 6 10 8 3201 0132 0321 3201 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 -11 0 11 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.941647229848 1.078790833487 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0110_11']), 'c_1001_7' : negation(d['c_0011_0']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : negation(d['c_0110_11']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_1001_5']), 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_1001_5'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_11'], 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : d['c_1001_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_11']), 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0110_11']), 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : negation(d['c_0110_11']), 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(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'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['c_0011_8']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0011_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0011_8']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0110_11, c_1001_0, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 622246189758555322389467526/606904847743120683798841505*c_1001_5^15 - 8320995122729100855853755317/606904847743120683798841505*c_1001_5\ ^14 - 104945414740361767163503031333/1213809695486241367597683010*c\ _1001_5^13 - 81286619009192822854581897757/242761939097248273519536\ 602*c_1001_5^12 - 526139893199487043516986544411/606904847743120683\ 798841505*c_1001_5^11 - 187055310207787737202598063467/121380969548\ 624136759768301*c_1001_5^10 - 2250530811077396654369207189093/12138\ 09695486241367597683010*c_1001_5^9 - 805684408820210127143974450022/606904847743120683798841505*c_1001_5\ ^8 - 3790736031387651025326092551/41855506740904874744747690*c_1001\ _5^7 + 556226611504843082172876795412/606904847743120683798841505*c\ _1001_5^6 + 391510880689760958674450382654/606904847743120683798841\ 505*c_1001_5^5 - 4534630163245133925270805956/714005703227200804469\ 2253*c_1001_5^4 - 841683768473716803860435320326/606904847743120683\ 798841505*c_1001_5^3 - 243905501932685816325228851101/2427619390972\ 48273519536602*c_1001_5^2 - 12918002499715468658605214888/357002851\ 61360040223461265*c_1001_5 - 36999609110410331571332791502/60690484\ 7743120683798841505, c_0011_0 - 1, c_0011_10 - 1194365299489633/2454951180404561*c_1001_5^15 - 15601655815247757/2454951180404561*c_1001_5^14 - 96403139543150203/2454951180404561*c_1001_5^13 - 366495278698544607/2454951180404561*c_1001_5^12 - 932323103362444623/2454951180404561*c_1001_5^11 - 1631095559687161457/2454951180404561*c_1001_5^10 - 1936801380587851950/2454951180404561*c_1001_5^9 - 1367510779236586256/2454951180404561*c_1001_5^8 - 73284669072150996/2454951180404561*c_1001_5^7 + 949239221642326077/2454951180404561*c_1001_5^6 + 644093182372984984/2454951180404561*c_1001_5^5 - 657226520852670674/2454951180404561*c_1001_5^4 - 1413194570605913342/2454951180404561*c_1001_5^3 - 1055718949157498218/2454951180404561*c_1001_5^2 - 398257323152180031/2454951180404561*c_1001_5 - 70023707070976216/2454951180404561, c_0011_11 - 625251718880989/2454951180404561*c_1001_5^15 - 8051510164585260/2454951180404561*c_1001_5^14 - 49180857937888975/2454951180404561*c_1001_5^13 - 185228177404809821/2454951180404561*c_1001_5^12 - 467809770225410771/2454951180404561*c_1001_5^11 - 815661643927042606/2454951180404561*c_1001_5^10 - 972082508495727476/2454951180404561*c_1001_5^9 - 699318058416039628/2454951180404561*c_1001_5^8 - 63737160797638163/2454951180404561*c_1001_5^7 + 446606881637858054/2454951180404561*c_1001_5^6 + 317549110640778856/2454951180404561*c_1001_5^5 - 301084306147463223/2454951180404561*c_1001_5^4 - 684879838061397638/2454951180404561*c_1001_5^3 - 545911830985597668/2454951180404561*c_1001_5^2 - 225175845611331394/2454951180404561*c_1001_5 - 44634694473417314/2454951180404561, c_0011_8 + 331820008232456/2454951180404561*c_1001_5^15 + 4398127546469716/2454951180404561*c_1001_5^14 + 27610274244308404/2454951180404561*c_1001_5^13 + 106871127843867050/2454951180404561*c_1001_5^12 + 277869680612191102/2454951180404561*c_1001_5^11 + 499845988330649346/2454951180404561*c_1001_5^10 + 616623866949501016/2454951180404561*c_1001_5^9 + 467626980603912119/2454951180404561*c_1001_5^8 + 74281470712895661/2454951180404561*c_1001_5^7 - 273733359501958005/2454951180404561*c_1001_5^6 - 230333519021501257/2454951180404561*c_1001_5^5 + 159214153804178996/2454951180404561*c_1001_5^4 + 434028057876456704/2454951180404561*c_1001_5^3 + 360575140010274650/2454951180404561*c_1001_5^2 + 152451969946054483/2454951180404561*c_1001_5 + 31561784433287007/2454951180404561, c_0101_0 + 1851745896142266/2454951180404561*c_1001_5^15 + 24435469289928242/2454951180404561*c_1001_5^14 + 152446627867364129/2454951180404561*c_1001_5^13 + 585210186795560254/2454951180404561*c_1001_5^12 + 1504494687047630023/2454951180404561*c_1001_5^11 + 2663470209420521572/2454951180404561*c_1001_5^10 + 3207988611182383773/2454951180404561*c_1001_5^9 + 2321442777662514587/2454951180404561*c_1001_5^8 + 204751683087750816/2454951180404561*c_1001_5^7 - 1540016339291663648/2454951180404561*c_1001_5^6 - 1129322940069432256/2454951180404561*c_1001_5^5 + 1001010775973767580/2454951180404561*c_1001_5^4 + 2323554521408957756/2454951180404561*c_1001_5^3 + 1790461904159466213/2454951180404561*c_1001_5^2 + 698671358810271247/2454951180404561*c_1001_5 + 126406009383015976/2454951180404561, c_0101_1 + 168458272168034/2454951180404561*c_1001_5^15 + 2083882102947947/2454951180404561*c_1001_5^14 + 12282379369423670/2454951180404561*c_1001_5^13 + 44760503242041437/2454951180404561*c_1001_5^12 + 109592814076301996/2454951180404561*c_1001_5^11 + 186170448281230937/2454951180404561*c_1001_5^10 + 218342783375398303/2454951180404561*c_1001_5^9 + 156346254299028653/2454951180404561*c_1001_5^8 + 16219646300210405/2454951180404561*c_1001_5^7 - 92160990215396398/2454951180404561*c_1001_5^6 - 64926728712336374/2454951180404561*c_1001_5^5 + 61604331115482430/2454951180404561*c_1001_5^4 + 144635825966034926/2454951180404561*c_1001_5^3 + 125943372774985014/2454951180404561*c_1001_5^2 + 57642920658601353/2454951180404561*c_1001_5 + 13726039022935518/2454951180404561, c_0101_10 - 422767716559306/2454951180404561*c_1001_5^15 - 5471236474505968/2454951180404561*c_1001_5^14 - 33421445389278631/2454951180404561*c_1001_5^13 - 125238768019957648/2454951180404561*c_1001_5^12 - 312551562622518181/2454951180404561*c_1001_5^11 - 532422287738249587/2454951180404561*c_1001_5^10 - 607500962176617134/2454951180404561*c_1001_5^9 - 395030923724986227/2454951180404561*c_1001_5^8 + 29492452527738749/2454951180404561*c_1001_5^7 + 326319582141306921/2454951180404561*c_1001_5^6 + 173489642935278622/2454951180404561*c_1001_5^5 - 260440652720288203/2454951180404561*c_1001_5^4 - 456419333976156789/2454951180404561*c_1001_5^3 - 300930153392938462/2454951180404561*c_1001_5^2 - 100307708978840219/2454951180404561*c_1001_5 - 15788414940360867/2454951180404561, c_0101_5 + 1704111203646495/2454951180404561*c_1001_5^15 + 22265379324691251/2454951180404561*c_1001_5^14 + 137568101552335735/2454951180404561*c_1001_5^13 + 522815255779403567/2454951180404561*c_1001_5^12 + 1329184888331754565/2454951180404561*c_1001_5^11 + 2323350394194319177/2454951180404561*c_1001_5^10 + 2755955037907983909/2454951180404561*c_1001_5^9 + 1944537446779548768/2454951180404561*c_1001_5^8 + 105480710207299631/2454951180404561*c_1001_5^7 - 1345028734213342027/2454951180404561*c_1001_5^6 - 907395640618727925/2454951180404561*c_1001_5^5 + 937499953326282832/2454951180404561*c_1001_5^4 + 1999830180587528997/2454951180404561*c_1001_5^3 + 1496914245434634740/2454951180404561*c_1001_5^2 + 575582300850610842/2454951180404561*c_1001_5 + 104181966766859449/2454951180404561, c_0110_11 + 502387114226585/2454951180404561*c_1001_5^15 + 6512134481701601/2454951180404561*c_1001_5^14 + 39940724465458752/2454951180404561*c_1001_5^13 + 150661971588058317/2454951180404561*c_1001_5^12 + 379863573603333865/2454951180404561*c_1001_5^11 + 657497117635677762/2454951180404561*c_1001_5^10 + 769896353210396631/2454951180404561*c_1001_5^9 + 529581294209819556/2454951180404561*c_1001_5^8 + 8067929145941379/2454951180404561*c_1001_5^7 - 387029616446623925/2454951180404561*c_1001_5^6 - 242573217313382019/2454951180404561*c_1001_5^5 + 282943076317858806/2454951180404561*c_1001_5^4 + 564950493766122770/2454951180404561*c_1001_5^3 + 407995270699924710/2454951180404561*c_1001_5^2 + 148001972862142148/2454951180404561*c_1001_5 + 26506967757152214/2454951180404561, c_1001_0 + 1041370562137749/2454951180404561*c_1001_5^15 + 13869637316023193/2454951180404561*c_1001_5^14 + 87375952509257180/2454951180404561*c_1001_5^13 + 339079247033809091/2454951180404561*c_1001_5^12 + 883099752859587138/2454951180404561*c_1001_5^11 + 1588937702176841107/2454951180404561*c_1001_5^10 + 1955875809844586315/2454951180404561*c_1001_5^9 + 1472448574876837001/2454951180404561*c_1001_5^8 + 214623333990379197/2454951180404561*c_1001_5^7 - 888045926892387318/2454951180404561*c_1001_5^6 - 732179569453680144/2454951180404561*c_1001_5^5 + 524756202799209365/2454951180404561*c_1001_5^4 + 1395415571579903190/2454951180404561*c_1001_5^3 + 1133850057317704502/2454951180404561*c_1001_5^2 + 466997422198629207/2454951180404561*c_1001_5 + 90547696419009637/2454951180404561, c_1001_11 - 238041955349775/2454951180404561*c_1001_5^15 - 3246749525646734/2454951180404561*c_1001_5^14 - 21020842596686276/2454951180404561*c_1001_5^13 - 84182193224499948/2454951180404561*c_1001_5^12 - 227620627061027221/2454951180404561*c_1001_5^11 - 428690202717858447/2454951180404561*c_1001_5^10 - 558781619224002447/2454951180404561*c_1001_5^9 - 460393507798628726/2454951180404561*c_1001_5^8 - 121320620418792198/2454951180404561*c_1001_5^7 + 224179267844075633/2454951180404561*c_1001_5^6 + 248201499817961271/2454951180404561*c_1001_5^5 - 85969380681510140/2454951180404561*c_1001_5^4 - 389316435192839279/2454951180404561*c_1001_5^3 - 361233216963618265/2454951180404561*c_1001_5^2 - 157004310660653758/2454951180404561*c_1001_5 - 31071479739572516/2454951180404561, c_1001_5^16 + 14*c_1001_5^15 + 93*c_1001_5^14 + 383*c_1001_5^13 + 1071*c_1001_5^12 + 2107*c_1001_5^11 + 2924*c_1001_5^10 + 2700*c_1001_5^9 + 1171*c_1001_5^8 - 718*c_1001_5^7 - 1293*c_1001_5^6 + 22*c_1001_5^5 + 1691*c_1001_5^4 + 2012*c_1001_5^3 + 1191*c_1001_5^2 + 389*c_1001_5 + 59 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.640 Total time: 0.850 seconds, Total memory usage: 32.09MB