Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 1048552191] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0400 geometric_solution 4.46520840 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 0 0 0 0 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.498559134985 1.001434583978 0 1 1 0 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.598471595701 0.115470370057 0 3 4 0 3201 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 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.300277402516 0.817710569480 4 2 5 4 2310 0132 0132 3201 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 -1 0 1 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.112393559483 0.690613978439 5 3 3 2 1023 2310 3201 0132 0 0 0 0 0 0 0 0 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 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.112393559483 0.690613978439 6 4 6 3 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.783657147393 1.145144645784 5 6 5 6 0132 1302 1023 2031 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444414707790 0.298835142534 ==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' : 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' : negation(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' : negation(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_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1557209912971843421540843224/3777821474411298100159079*c_0101_5^16 + 2618454010084538030925868084/3777821474411298100159079*c_0101_5^15 + 20519633766271248973123784908/3777821474411298100159079*c_0101_5^14 - 11012836356624064855461590573/539688782058756871451297*c_0101_5^1\ 3 + 160559230603974914050395868751/3777821474411298100159079*c_0101\ _5^12 - 167146450166772107228292834940/3777821474411298100159079*c_\ 0101_5^11 - 561371794142589452870553128456/377782147441129810015907\ 9*c_0101_5^10 + 2122976178844768754107509907319/3777821474411298100\ 159079*c_0101_5^9 - 2738377428929003973466689008116/377782147441129\ 8100159079*c_0101_5^8 + 1458345308693272731888654520084/37778214744\ 11298100159079*c_0101_5^7 + 50249980117240253817721712138/377782147\ 4411298100159079*c_0101_5^6 - 417945352025832757533227669084/377782\ 1474411298100159079*c_0101_5^5 + 142750913280740378562521232192/377\ 7821474411298100159079*c_0101_5^4 + 20654820524641334674792707553/3777821474411298100159079*c_0101_5^3 - 13773265597544144398490895039/3777821474411298100159079*c_0101_5^2 - 305705466530629511501544207/539688782058756871451297*c_0101_5 + 860037717002107840222522484/3777821474411298100159079, c_0011_0 - 1, c_0011_2 + 1317213691573420586851120/539688782058756871451297*c_0101_5^\ 16 - 1419995500929407506730320/539688782058756871451297*c_0101_5^15 - 18389472200805295830806132/539688782058756871451297*c_0101_5^14 + 54371687630318296559040542/539688782058756871451297*c_0101_5^13 - 100592502499015322502388147/539688782058756871451297*c_0101_5^12 + 72463232456270707259080648/539688782058756871451297*c_0101_5^11 + 534386482237151771091958660/539688782058756871451297*c_0101_5^10 - 1487665378795681076038999441/539688782058756871451297*c_0101_5^9 + 1350028621087632289916635831/539688782058756871451297*c_0101_5^8 - 192612432138022954676547981/539688782058756871451297*c_0101_5^7 - 403241852534990240086982212/539688782058756871451297*c_0101_5^6 + 190628851115675120053121352/539688782058756871451297*c_0101_5^5 + 34917112867415014672933576/539688782058756871451297*c_0101_5^4 - 32211366131389174914252646/539688782058756871451297*c_0101_5^3 - 6273048649425956554089828/539688782058756871451297*c_0101_5^2 + 2779946626960357833217810/539688782058756871451297*c_0101_5 + 1062320020050022758845748/539688782058756871451297, c_0011_4 + 3301214974222850996252640/539688782058756871451297*c_0101_5^\ 16 - 3441057621033992848389704/539688782058756871451297*c_0101_5^15 - 46028878262899282678012484/539688782058756871451297*c_0101_5^14 + 134421446100245449462279668/539688782058756871451297*c_0101_5^13 - 249986539845608438839414843/539688782058756871451297*c_0101_5^12 + 180188389826360999237285296/539688782058756871451297*c_0101_5^11 + 1333508432005375938741756840/539688782058756871451297*c_0101_5^10 - 3672476529069912118154184388/539688782058756871451297*c_0101_5^9 + 3330585742687615968269738969/539688782058756871451297*c_0101_5^8 - 568549579616357595847770658/539688782058756871451297*c_0101_5^7 - 894393009998545566279441564/539688782058756871451297*c_0101_5^6 + 464935886471466212073019763/539688782058756871451297*c_0101_5^5 + 63889009262039038008285592/539688782058756871451297*c_0101_5^4 - 74017180593784161367480721/539688782058756871451297*c_0101_5^3 - 9592931353091696068350185/539688782058756871451297*c_0101_5^2 + 6200434806536553187591019/539688782058756871451297*c_0101_5 + 1101417329608320969006076/539688782058756871451297, c_0101_0 - 385917855120690356747024/539688782058756871451297*c_0101_5^1\ 6 + 1245747640631399192962472/539688782058756871451297*c_0101_5^15 + 4386543860475755985389848/539688782058756871451297*c_0101_5^14 - 27167188997524470027827982/539688782058756871451297*c_0101_5^13 + 65143531070188461783766156/539688782058756871451297*c_0101_5^12 - 92215287237855340682123939/539688782058756871451297*c_0101_5^11 - 95780423968242036925067475/539688782058756871451297*c_0101_5^10 + 753533848087686038676064272/539688782058756871451297*c_0101_5^9 - 1371402931444158894289494355/539688782058756871451297*c_0101_5^8 + 1120967332416562435956913176/539688782058756871451297*c_0101_5^7 - 298624546305108007202632262/539688782058756871451297*c_0101_5^6 - 177322678151718676080016601/539688782058756871451297*c_0101_5^5 + 144957961390164700368886914/539688782058756871451297*c_0101_5^4 - 18400410429818820365877981/539688782058756871451297*c_0101_5^3 - 11829833952187440028428767/539688782058756871451297*c_0101_5^2 + 1795469449740788108252141/539688782058756871451297*c_0101_5 + 1021443472783284735098919/539688782058756871451297, c_0101_1 + 794351977894202629938632/539688782058756871451297*c_0101_5^1\ 6 - 1211437760554676073166004/539688782058756871451297*c_0101_5^15 - 10470445033832006718530080/539688782058756871451297*c_0101_5^14 + 37562308411117127046630685/539688782058756871451297*c_0101_5^13 - 78588789318281677452455712/539688782058756871451297*c_0101_5^12 + 79575014877739831985658087/539688782058756871451297*c_0101_5^11 + 286016207491689375406085759/539688782058756871451297*c_0101_5^10 - 1030370165206360567515443096/539688782058756871451297*c_0101_5^9 + 1309326434832485162914794175/539688782058756871451297*c_0101_5^8 - 717356474573061232195929364/539688782058756871451297*c_0101_5^7 + 17106502025947653945482402/539688782058756871451297*c_0101_5^6 + 176127659956074198906465255/539688782058756871451297*c_0101_5^5 - 71811285303093641635562291/539688782058756871451297*c_0101_5^4 - 2195032829949606105947632/539688782058756871451297*c_0101_5^3 + 5234881444390227949991036/539688782058756871451297*c_0101_5^2 - 111425766687231667272439/539688782058756871451297*c_0101_5 - 402868747994959063796789/539688782058756871451297, c_0101_3 - 2069484234462503882365856/539688782058756871451297*c_0101_5^\ 16 + 2322927902837686481985968/539688782058756871451297*c_0101_5^15 + 29004251969348820795994816/539688782058756871451297*c_0101_5^14 - 86708508480466520111230668/539688782058756871451297*c_0101_5^13 + 158943080283825384919348300/539688782058756871451297*c_0101_5^12 - 115301641712825322978566622/539688782058756871451297*c_0101_5^11 - 845563187362799251426717328/539688782058756871451297*c_0101_5^10 + 2376671274014076623607155791/539688782058756871451297*c_0101_5^9 - 2140755989557121362372210534/539688782058756871451297*c_0101_5^8 + 250722939511324846253829428/539688782058756871451297*c_0101_5^7 + 705402810973957694853503891/539688782058756871451297*c_0101_5^6 - 329617761126883868031356085/539688782058756871451297*c_0101_5^5 - 65507339774061321923470257/539688782058756871451297*c_0101_5^4 + 61856928907053942042873347/539688782058756871451297*c_0101_5^3 + 7132161978755215490009108/539688782058756871451297*c_0101_5^2 - 5169473916065096239614978/539688782058756871451297*c_0101_5 - 1075232878922762363379949/539688782058756871451297, c_0101_5^17 - 3/2*c_0101_5^16 - 27/2*c_0101_5^15 + 377/8*c_0101_5^14 - 751/8*c_0101_5^13 + 88*c_0101_5^12 + 3049/8*c_0101_5^11 - 2597/2*c_0101_5^10 + 12031/8*c_0101_5^9 - 1201/2*c_0101_5^8 - 215*c_0101_5^7 + 263*c_0101_5^6 - 155/4*c_0101_5^5 - 251/8*c_0101_5^4 + 23/4*c_0101_5^3 + 27/8*c_0101_5^2 - 1/4*c_0101_5 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB