Magma V2.19-8 Tue Aug 20 2013 16:17:55 on localhost [Seed = 240095950] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2149 geometric_solution 5.63044232 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 -1 -1 2 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.201744014473 0.214724380286 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 1 -2 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474209149337 2.258853425525 1 4 3 5 0132 0132 0213 0132 0 0 0 0 0 0 1 -1 0 0 -1 1 -1 0 0 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375754660215 0.496374574198 5 2 4 1 0132 0213 3201 0132 0 0 0 0 0 -1 0 1 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 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.375754660215 0.496374574198 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.030508912369 1.280704610652 3 6 2 6 0132 0132 0132 2310 0 0 0 0 0 -1 1 0 0 0 -1 1 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 1.193058023474 0.680772530986 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 1 0 -1 1 0 -1 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 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.464982058909 0.360952115226 ==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_0110_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 36495646744972449779004902693/474510970796709709566788573*c_0110_6^\ 17 + 75511828773905554438045476824/474510970796709709566788573*c_01\ 10_6^16 - 1126062748476276190873190526869/4745109707967097095667885\ 73*c_0110_6^15 - 1136100448073981392298100846342/474510970796709709\ 566788573*c_0110_6^14 + 12108114838361228609555704947092/4745109707\ 96709709566788573*c_0110_6^13 + 3027471980569364201973486636234/474\ 510970796709709566788573*c_0110_6^12 - 53990435902143844305601028045931/474510970796709709566788573*c_0110\ _6^11 + 8824339347187279142550679833401/474510970796709709566788573\ *c_0110_6^10 + 108206260643082310197954667472266/474510970796709709\ 566788573*c_0110_6^9 - 26503341366616236595753188123099/47451097079\ 6709709566788573*c_0110_6^8 - 114458150175857951759022687688028/474\ 510970796709709566788573*c_0110_6^7 + 23466262631819238561516027439795/474510970796709709566788573*c_0110\ _6^6 + 61934450467355876068672483733307/474510970796709709566788573\ *c_0110_6^5 - 10775644737040482653450189535884/47451097079670970956\ 6788573*c_0110_6^4 - 11501317171641932187192070036669/4745109707967\ 09709566788573*c_0110_6^3 + 2656162555849720139467756118796/4745109\ 70796709709566788573*c_0110_6^2 + 92492672359917671315512877821/474\ 510970796709709566788573*c_0110_6 - 426164252132359557524552274910/474510970796709709566788573, c_0011_0 - 1, c_0011_1 - 15649144536415620195969/127522432356009059276213*c_0110_6^17 - 34007693924955740862576/127522432356009059276213*c_0110_6^16 + 474575149855252378380117/127522432356009059276213*c_0110_6^15 + 524847964116295252842963/127522432356009059276213*c_0110_6^14 - 4997509123331423777593288/127522432356009059276213*c_0110_6^13 - 1619623540295033211225206/127522432356009059276213*c_0110_6^12 + 21538100240164983967517726/127522432356009059276213*c_0110_6^11 - 2424923498208574497510730/127522432356009059276213*c_0110_6^10 - 40477825010372518542226862/127522432356009059276213*c_0110_6^9 + 7985816548389533864637269/127522432356009059276213*c_0110_6^8 + 38254604779207273971738692/127522432356009059276213*c_0110_6^7 - 6346647378127331633407090/127522432356009059276213*c_0110_6^6 - 16435967839249291866595249/127522432356009059276213*c_0110_6^5 + 3227696823263451024314055/127522432356009059276213*c_0110_6^4 + 861082553748660135472925/127522432356009059276213*c_0110_6^3 - 1008687960134642017378773/127522432356009059276213*c_0110_6^2 + 106498097809842919489772/127522432356009059276213*c_0110_6 + 113706022058559723401976/127522432356009059276213, c_0011_3 - 6625888458167377223258/127522432356009059276213*c_0110_6^17 - 8983044853339178896163/127522432356009059276213*c_0110_6^16 + 215325947144294675664228/127522432356009059276213*c_0110_6^15 + 63824593895015663726323/127522432356009059276213*c_0110_6^14 - 2376353454598578110592513/127522432356009059276213*c_0110_6^13 + 952792939735051523267116/127522432356009059276213*c_0110_6^12 + 10502164470635638193324260/127522432356009059276213*c_0110_6^11 - 8190003320935197031348872/127522432356009059276213*c_0110_6^10 - 19806727754632659711645776/127522432356009059276213*c_0110_6^9 + 17764684562755018130647332/127522432356009059276213*c_0110_6^8 + 19905408879406433053512071/127522432356009059276213*c_0110_6^7 - 17240243256132776384082662/127522432356009059276213*c_0110_6^6 - 10589956780999209817706209/127522432356009059276213*c_0110_6^5 + 7962438329607658197559070/127522432356009059276213*c_0110_6^4 + 1606074704872221005932797/127522432356009059276213*c_0110_6^3 - 927156128782199147625107/127522432356009059276213*c_0110_6^2 + 263473624661272841343132/127522432356009059276213*c_0110_6 + 21769044831142577848204/127522432356009059276213, c_0101_1 + 7190521839281958650979/127522432356009059276213*c_0110_6^17 + 3000631205143872656342/127522432356009059276213*c_0110_6^16 - 246990466001590477299695/127522432356009059276213*c_0110_6^15 + 137723845124237301753567/127522432356009059276213*c_0110_6^14 + 2763175548865795324245608/127522432356009059276213*c_0110_6^13 - 3215731565749412101871952/127522432356009059276213*c_0110_6^12 - 11648644771669108127017128/127522432356009059276213*c_0110_6^11 + 18114758471849807812780619/127522432356009059276213*c_0110_6^10 + 18554391945229205291591118/127522432356009059276213*c_0110_6^9 - 35659116896327528125739599/127522432356009059276213*c_0110_6^8 - 14829115211917379604991464/127522432356009059276213*c_0110_6^7 + 33062271302450318469990694/127522432356009059276213*c_0110_6^6 + 5957187703747008092497410/127522432356009059276213*c_0110_6^5 - 14345503886057601415586904/127522432356009059276213*c_0110_6^4 + 744114080090668611472700/127522432356009059276213*c_0110_6^3 + 1329383865008843911145755/127522432356009059276213*c_0110_6^2 - 659141134009708124382139/127522432356009059276213*c_0110_6 - 51346191225855869027105/127522432356009059276213, c_0101_3 - 13554823130862761397355/127522432356009059276213*c_0110_6^17 - 19923119955585910516263/127522432356009059276213*c_0110_6^16 + 436476115490297771392440/127522432356009059276213*c_0110_6^15 + 180413609592432838451017/127522432356009059276213*c_0110_6^14 - 4775640907942746894157654/127522432356009059276213*c_0110_6^13 + 1357593317162665701807573/127522432356009059276213*c_0110_6^12 + 20851388612658811762796146/127522432356009059276213*c_0110_6^11 - 13545454047986929404318835/127522432356009059276213*c_0110_6^10 - 38316253548091131531509346/127522432356009059276213*c_0110_6^9 + 27713531413576372642696348/127522432356009059276213*c_0110_6^8 + 36358321138869151403684084/127522432356009059276213*c_0110_6^7 - 23494488782001178225798063/127522432356009059276213*c_0110_6^6 - 16240147722871552670251579/127522432356009059276213*c_0110_6^5 + 9221771167201268953802113/127522432356009059276213*c_0110_6^4 + 232672424431187628296151/127522432356009059276213*c_0110_6^3 - 980562131604319397028095/127522432356009059276213*c_0110_6^2 + 432155518519968634815368/127522432356009059276213*c_0110_6 - 6401407156314995531844/127522432356009059276213, c_0101_4 - 12216112021859450782085/127522432356009059276213*c_0110_6^17 - 32651013380562262809568/127522432356009059276213*c_0110_6^16 + 357056125158168054249309/127522432356009059276213*c_0110_6^15 + 591726299996264348911436/127522432356009059276213*c_0110_6^14 - 3700764835911818390301756/127522432356009059276213*c_0110_6^13 - 3133428171051667817522293/127522432356009059276213*c_0110_6^12 + 16299036240279379993872628/127522432356009059276213*c_0110_6^11 + 5776355895861221449386290/127522432356009059276213*c_0110_6^10 - 33291145045027136759396435/127522432356009059276213*c_0110_6^9 - 6772484736994694608177633/127522432356009059276213*c_0110_6^8 + 34691154214022528284222124/127522432356009059276213*c_0110_6^7 + 5253992241653865562126857/127522432356009059276213*c_0110_6^6 - 17715738204850718289076703/127522432356009059276213*c_0110_6^5 - 494506330921681446214043/127522432356009059276213*c_0110_6^4 + 3430296123816288606575188/127522432356009059276213*c_0110_6^3 - 1007634102671130550911133/127522432356009059276213*c_0110_6^2 - 212530719206982202732544/127522432356009059276213*c_0110_6 + 76175924336639879458692/127522432356009059276213, c_0110_6^18 + 2*c_0110_6^17 - 31*c_0110_6^16 - 29*c_0110_6^15 + 334*c_0110_6^14 + 60*c_0110_6^13 - 1486*c_0110_6^12 + 345*c_0110_6^11 + 2952*c_0110_6^10 - 937*c_0110_6^9 - 3092*c_0110_6^8 + 872*c_0110_6^7 + 1657*c_0110_6^6 - 425*c_0110_6^5 - 296*c_0110_6^4 + 101*c_0110_6^3 - 3*c_0110_6^2 - 13*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB