Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 3086363496] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1800 geometric_solution 5.47039660 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 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.600711415880 0.446729141153 0 2 3 0 3201 0132 0132 0132 0 0 0 0 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 0 0 0 0 1 0 -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 0 0 0 0.845905211712 0.541313222098 4 1 5 3 0132 0132 0132 3201 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 -1 0 1 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.259977267532 0.858513829043 5 2 4 1 1023 2310 1023 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259977267532 0.858513829043 2 6 3 6 0132 0132 1023 1023 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 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.796727103828 0.666168899553 5 3 5 2 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.323099957519 1.066961678329 6 4 6 4 2031 0132 1302 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.549952672569 0.163464411632 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 456340135603442007346210736970679/348186143796545497441267325811987\ *c_0110_6^24 + 449412371869834972621752312337361/386873493107272774\ 93474147312443*c_0110_6^22 - 40976303000694518561318316657814411/34\ 8186143796545497441267325811987*c_0110_6^20 + 361771770117431329879360830579190957/348186143796545497441267325811\ 987*c_0110_6^18 - 57347693241097444123224149083517653/1289578310357\ 5759164491382437481*c_0110_6^16 + 388421469299006448845006995886904\ 2729/348186143796545497441267325811987*c_0110_6^14 - 6897216218844054252756611832686146918/34818614379654549744126732581\ 1987*c_0110_6^12 + 5728341004068177058525676193140068066/3481861437\ 96545497441267325811987*c_0110_6^10 - 7543237283314971321719494841325464704/34818614379654549744126732581\ 1987*c_0110_6^8 + 7880436564272603829493361311644044893/34818614379\ 6545497441267325811987*c_0110_6^6 - 44372446581879858422228543219053988/6827179290128343087083673055137\ *c_0110_6^4 + 38225847830609699556071251815869035/38687349310727277\ 493474147312443*c_0110_6^2 - 32538541222458560129838527055860987/34\ 8186143796545497441267325811987, c_0011_0 - 1, c_0011_1 - 189252151964097756447159451/14874028954527980581881640643*c_\ 0110_6^24 + 1674111010531055300178754084/14874028954527980581881640\ 643*c_0110_6^22 - 16967047590827729640724576970/1487402895452798058\ 1881640643*c_0110_6^20 + 149761652901614521242340853514/14874028954\ 527980581881640643*c_0110_6^18 - 639777800270532885810701521431/148\ 74028954527980581881640643*c_0110_6^16 + 1601881990306607418911300091084/14874028954527980581881640643*c_011\ 0_6^14 - 2842167001844753513816668355759/14874028954527980581881640\ 643*c_0110_6^12 + 2351252423527043913414584477695/14874028954527980\ 581881640643*c_0110_6^10 - 3132969788032466586862460713315/14874028\ 954527980581881640643*c_0110_6^8 + 3255392692259155334099191874344/14874028954527980581881640643*c_011\ 0_6^6 - 929878664657360829892283791947/1487402895452798058188164064\ 3*c_0110_6^4 + 189850534070077337248226860368/148740289545279805818\ 81640643*c_0110_6^2 - 22660621454144410956702351205/148740289545279\ 80581881640643, c_0011_3 + 799547488366224970650294651/14874028954527980581881640643*c_\ 0110_6^25 - 7131815103103512621265836836/14874028954527980581881640\ 643*c_0110_6^23 + 72157843246917656406557392178/1487402895452798058\ 1881640643*c_0110_6^21 - 637596930281397594926826721918/14874028954\ 527980581881640643*c_0110_6^19 + 2745521974313259441102068344676/14\ 874028954527980581881640643*c_0110_6^17 - 6930779873226257573802909566665/14874028954527980581881640643*c_011\ 0_6^15 + 12353453040121470722315035579576/1487402895452798058188164\ 0643*c_0110_6^13 - 10442240974683846877911510908884/148740289545279\ 80581881640643*c_0110_6^11 + 13312802420821909458525912475840/14874\ 028954527980581881640643*c_0110_6^9 - 14231921727504558630105640774886/14874028954527980581881640643*c_01\ 10_6^7 + 4239420201256412914965430390645/14874028954527980581881640\ 643*c_0110_6^5 - 339463478586997205827956460512/1487402895452798058\ 1881640643*c_0110_6^3 + 30435129913632772107363302332/1487402895452\ 7980581881640643*c_0110_6, c_0101_0 + 1602827501428721396238018744/14874028954527980581881640643*c\ _0110_6^25 - 14158195708373598654171042401/148740289545279805818816\ 40643*c_0110_6^23 + 143516555830559327076124536691/1487402895452798\ 0581881640643*c_0110_6^21 - 1266524143012403939995409914706/1487402\ 8954527980581881640643*c_0110_6^19 + 5402120021667739224079561791941/14874028954527980581881640643*c_011\ 0_6^17 - 13495716850211896751065030115177/1487402895452798058188164\ 0643*c_0110_6^15 + 23886409486082902550071668848074/148740289545279\ 80581881640643*c_0110_6^13 - 19569803370958445041993330052405/14874\ 028954527980581881640643*c_0110_6^11 + 26203974544386483305557177895842/14874028954527980581881640643*c_01\ 10_6^9 - 27135210750878939236357232245717/1487402895452798058188164\ 0643*c_0110_6^7 + 7436577567001440501137860718997/14874028954527980\ 581881640643*c_0110_6^5 - 1322845916976937137766107047138/148740289\ 54527980581881640643*c_0110_6^3 + 147105258128595960256871143184/14\ 874028954527980581881640643*c_0110_6, c_0101_2 - 254014106776774791746409508/14874028954527980581881640643*c_\ 0110_6^24 + 2230668044252143197024902887/14874028954527980581881640\ 643*c_0110_6^22 - 22622123353131800337848132488/1487402895452798058\ 1881640643*c_0110_6^20 + 199487541157496000471612556096/14874028954\ 527980581881640643*c_0110_6^18 - 845195799638709319610354611997/148\ 74028954527980581881640643*c_0110_6^16 + 2089595739382497493196292180940/14874028954527980581881640643*c_011\ 0_6^14 - 3654046660833599433225935052030/14874028954527980581881640\ 643*c_0110_6^12 + 2854818609631093194179561013846/14874028954527980\ 581881640643*c_0110_6^10 - 3905787020915292787774803723656/14874028\ 954527980581881640643*c_0110_6^8 + 4025519887051177995833613271476/14874028954527980581881640643*c_011\ 0_6^6 - 874037411549820242047195843642/1487402895452798058188164064\ 3*c_0110_6^4 + 63649876700836598718338992894/1487402895452798058188\ 1640643*c_0110_6^2 + 3731504252513569647454908151/14874028954527980\ 581881640643, c_0101_4 + 961393537012997133956549020/14874028954527980581881640643*c_\ 0110_6^25 - 8395343475694828235761544066/14874028954527980581881640\ 643*c_0110_6^23 + 85233531611729778704491072802/1487402895452798058\ 1881640643*c_0110_6^21 - 751058899687064265168230340919/14874028954\ 527980581881640643*c_0110_6^19 + 3164291884246390982300376101420/14\ 874028954527980581881640643*c_0110_6^17 - 7773673641403452551807400481930/14874028954527980581881640643*c_011\ 0_6^15 + 13534963682300243320151596685202/1487402895452798058188164\ 0643*c_0110_6^13 - 10355173984993744932251646450261/148740289545279\ 80581881640643*c_0110_6^11 + 14646743034694027224710613380974/14874\ 028954527980581881640643*c_0110_6^9 - 14796787119984266325073550125491/14874028954527980581881640643*c_01\ 10_6^7 + 2947925920935639788667017493341/14874028954527980581881640\ 643*c_0110_6^5 - 472502541018345690360944626635/1487402895452798058\ 1881640643*c_0110_6^3 + 60966286586886499677890713300/1487402895452\ 7980581881640643*c_0110_6, c_0110_6^26 - 9*c_0110_6^24 + 91*c_0110_6^22 - 805*c_0110_6^20 + 3501*c_0110_6^18 - 8972*c_0110_6^16 + 16264*c_0110_6^14 - 14587*c_0110_6^12 + 18193*c_0110_6^10 - 19495*c_0110_6^8 + 7257*c_0110_6^6 - 1386*c_0110_6^4 + 167*c_0110_6^2 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB