Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 779072344] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3070 geometric_solution 6.23517885 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.202023651174 0.370406233237 2 0 3 0 0132 2310 0132 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 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.663103400785 1.710360109929 1 4 5 6 0132 0132 0132 0132 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 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.332285181889 0.597307392690 6 5 4 1 0132 3201 3201 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 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.332285181889 0.597307392690 3 2 4 4 2310 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.074927851197 0.888244302913 5 5 3 2 1230 3012 2310 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 -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.471946052304 0.875035465643 3 6 2 6 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.069611778329 0.933938757562 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : negation(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' : negation(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_3'], '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' : d['c_0101_1'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_5'], '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_5'], '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_0011_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_5'])})} 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_0011_5, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 73162184297479884108531833693/227522476894708963599467463*c_0101_4^\ 18 + 272570223828404063015648811431/227522476894708963599467463*c_0\ 101_4^17 - 645405801983668390754231764108/2275224768947089635994674\ 63*c_0101_4^16 - 715638194986333186813938029312/2275224768947089635\ 99467463*c_0101_4^15 - 504149364889649191188331353046/2275224768947\ 08963599467463*c_0101_4^14 - 2959720448928789126982108722341/227522\ 476894708963599467463*c_0101_4^13 + 3228714912376687241897794342915/227522476894708963599467463*c_0101_\ 4^12 + 29796785083032923503115329540303/227522476894708963599467463\ *c_0101_4^11 - 6292603475008827041666591765945/75840825631569654533\ 155821*c_0101_4^10 - 42418660379147328723363546483652/2275224768947\ 08963599467463*c_0101_4^9 + 30784751935168278475071538392145/227522\ 476894708963599467463*c_0101_4^8 + 6507141230654753592314637127319/227522476894708963599467463*c_0101_\ 4^7 - 391810321376690827660351728649/8426758403507739392572869*c_01\ 01_4^6 + 3739197860776330016707623858871/22752247689470896359946746\ 3*c_0101_4^5 + 658072567979339947099193091940/227522476894708963599\ 467463*c_0101_4^4 + 699673609931204849538981739754/2275224768947089\ 63599467463*c_0101_4^3 - 94705710052374008021178129355/252802752105\ 23218177718607*c_0101_4^2 - 222662815142382528179160491773/75840825\ 631569654533155821*c_0101_4 + 206181627552300108567935976112/227522\ 476894708963599467463, c_0011_0 - 1, c_0011_1 - 2084914576733927005581/379122616795237296647*c_0101_4^18 - 7026056830471196722099/379122616795237296647*c_0101_4^17 + 21121667201465069244769/379122616795237296647*c_0101_4^16 + 13854544357255252517445/379122616795237296647*c_0101_4^15 + 7812119500358411263067/379122616795237296647*c_0101_4^14 + 78304151884074927949716/379122616795237296647*c_0101_4^13 - 122442342922503321687374/379122616795237296647*c_0101_4^12 - 815801166942966414897995/379122616795237296647*c_0101_4^11 + 833770308365873695306970/379122616795237296647*c_0101_4^10 + 1011652290054828835723293/379122616795237296647*c_0101_4^9 - 1251641331567168554575877/379122616795237296647*c_0101_4^8 + 95343167040071732322066/379122616795237296647*c_0101_4^7 + 307008168302436713949776/379122616795237296647*c_0101_4^6 - 152951836524366606262841/379122616795237296647*c_0101_4^5 + 3530213689232184787304/379122616795237296647*c_0101_4^4 - 15905512937759649671542/379122616795237296647*c_0101_4^3 + 34997247590901527945048/379122616795237296647*c_0101_4^2 + 9329854082849793139709/379122616795237296647*c_0101_4 - 9811723416319867847838/379122616795237296647, c_0011_3 + 101892570316390640152/379122616795237296647*c_0101_4^18 + 321748742789668726693/379122616795237296647*c_0101_4^17 - 1112151129236831786690/379122616795237296647*c_0101_4^16 - 495593136777318454382/379122616795237296647*c_0101_4^15 - 215844196592134426582/379122616795237296647*c_0101_4^14 - 3568779492432871670180/379122616795237296647*c_0101_4^13 + 6932746776823414291925/379122616795237296647*c_0101_4^12 + 38969500107137513650857/379122616795237296647*c_0101_4^11 - 49083524474492471989994/379122616795237296647*c_0101_4^10 - 44282411874145646899652/379122616795237296647*c_0101_4^9 + 68934322176211695000964/379122616795237296647*c_0101_4^8 - 9953082731814999464212/379122616795237296647*c_0101_4^7 - 11707966414032275797658/379122616795237296647*c_0101_4^6 + 5542160688172011924110/379122616795237296647*c_0101_4^5 - 122455995193309056162/379122616795237296647*c_0101_4^4 + 992784475724119775927/379122616795237296647*c_0101_4^3 - 2057988161872859218255/379122616795237296647*c_0101_4^2 - 444518204445830633431/379122616795237296647*c_0101_4 + 464783970507946678691/379122616795237296647, c_0011_5 - 1895178846529342563912/379122616795237296647*c_0101_4^18 - 6424971972502450223365/379122616795237296647*c_0101_4^17 + 19040081756930326250574/379122616795237296647*c_0101_4^16 + 12869079484225363778373/379122616795237296647*c_0101_4^15 + 7620641428548145708362/379122616795237296647*c_0101_4^14 + 71612081504490575171198/379122616795237296647*c_0101_4^13 - 109600777247787362470028/379122616795237296647*c_0101_4^12 - 742581362747130317625175/379122616795237296647*c_0101_4^11 + 741525601514607405711013/379122616795237296647*c_0101_4^10 + 922568381269956761706486/379122616795237296647*c_0101_4^9 - 1111765102882262232717333/379122616795237296647*c_0101_4^8 + 79906742267349962043218/379122616795237296647*c_0101_4^7 + 270744584341699839602795/379122616795237296647*c_0101_4^6 - 134213040994477734021721/379122616795237296647*c_0101_4^5 + 2143620115192950198759/379122616795237296647*c_0101_4^4 - 16076604614566499206005/379122616795237296647*c_0101_4^3 + 31516212569935824629500/379122616795237296647*c_0101_4^2 + 8815666412703971202534/379122616795237296647*c_0101_4 - 8746651787287859817935/379122616795237296647, c_0101_1 + 1974664067362346341480/379122616795237296647*c_0101_4^18 + 6619837572950691445101/379122616795237296647*c_0101_4^17 - 20151996636512392003182/379122616795237296647*c_0101_4^16 - 12902838053706356525955/379122616795237296647*c_0101_4^15 - 6997148506756065453566/379122616795237296647*c_0101_4^14 - 73688098497492554890750/379122616795237296647*c_0101_4^13 + 117759519980348202920311/379122616795237296647*c_0101_4^12 + 772286021890335120251653/379122616795237296647*c_0101_4^11 - 803318862392392432005382/379122616795237296647*c_0101_4^10 - 955858385110003135551098/379122616795237296647*c_0101_4^9 + 1203064864644184144871646/379122616795237296647*c_0101_4^8 - 97576603243289816534144/379122616795237296647*c_0101_4^7 - 293090713212719708598170/379122616795237296647*c_0101_4^6 + 148853193913932953365165/379122616795237296647*c_0101_4^5 - 5490751918396254200136/379122616795237296647*c_0101_4^4 + 14771504726381610148703/379122616795237296647*c_0101_4^3 - 33127251581609291323803/379122616795237296647*c_0101_4^2 - 8807080807213525681091/379122616795237296647*c_0101_4 + 9595613456620935389336/379122616795237296647, c_0101_3 + 1260466012892310980423/379122616795237296647*c_0101_4^18 + 4267345284562868975801/379122616795237296647*c_0101_4^17 - 12711758088462424536695/379122616795237296647*c_0101_4^16 - 8590065189008583878422/379122616795237296647*c_0101_4^15 - 4719347883052152969598/379122616795237296647*c_0101_4^14 - 47480533583334475935765/379122616795237296647*c_0101_4^13 + 73236983467294518070565/379122616795237296647*c_0101_4^12 + 494566779937274773984587/379122616795237296647*c_0101_4^11 - 497457441346054859908640/379122616795237296647*c_0101_4^10 - 622164355350241062435691/379122616795237296647*c_0101_4^9 + 755626828919170923082825/379122616795237296647*c_0101_4^8 - 46287218872289697390511/379122616795237296647*c_0101_4^7 - 196517581970846878359924/379122616795237296647*c_0101_4^6 + 95905347693066994550383/379122616795237296647*c_0101_4^5 - 1357410419588622087672/379122616795237296647*c_0101_4^4 + 9344942787383611570123/379122616795237296647*c_0101_4^3 - 20729528369832420183031/379122616795237296647*c_0101_4^2 - 6005589799433876890329/379122616795237296647*c_0101_4 + 6227423441145242125878/379122616795237296647, c_0101_4^19 + 4*c_0101_4^18 - 8*c_0101_4^17 - 13*c_0101_4^16 - 8*c_0101_4^15 - 40*c_0101_4^14 + 35*c_0101_4^13 + 428*c_0101_4^12 - 153*c_0101_4^11 - 734*c_0101_4^10 + 293*c_0101_4^9 + 328*c_0101_4^8 - 174*c_0101_4^7 - 19*c_0101_4^6 + 44*c_0101_4^5 + 7*c_0101_4^4 - 12*c_0101_4^3 - 15*c_0101_4^2 + 2*c_0101_4 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB