Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 947496259] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3286 geometric_solution 6.41168737 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 -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 0 0 0 0 0.366939569756 0.714844220826 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 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 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.365633475524 0.884551492249 3 0 4 5 3201 0132 3201 0132 0 0 0 0 0 1 -1 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 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.365633475524 0.884551492249 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.181445405023 1.151324855520 2 6 1 6 2310 0132 0132 1023 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 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.881225521517 1.133586299931 5 5 2 1 1302 2031 0132 0132 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 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.595836925636 0.914158577136 6 4 6 4 2031 0132 1302 1023 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 0 0 0.481242747333 0.191742848442 ==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' : negation(d['1']), 's_3_5' : negation(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' : negation(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' : negation(d['1']), 's_1_1' : 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' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 2967684634226835475815994162/1195104289589759217930844687*c_0101_2*\ c_0110_6^17 + 10392015286332701060723606254/35853128687692776537925\ 34061*c_0101_2*c_0110_6^16 + 56926821893679893158004873255/35853128\ 68769277653792534061*c_0101_2*c_0110_6^15 - 254261073109907975958138387434/3585312868769277653792534061*c_0101_\ 2*c_0110_6^14 - 264770612517095397146144477066/11951042895897592179\ 30844687*c_0101_2*c_0110_6^13 + 1179972948467362241211708863186/358\ 5312868769277653792534061*c_0101_2*c_0110_6^12 - 610666932306940909518087534430/3585312868769277653792534061*c_0101_\ 2*c_0110_6^11 - 3154645337190449444946986993785/3585312868769277653\ 792534061*c_0101_2*c_0110_6^10 + 11015769941856934118306896110374/3\ 585312868769277653792534061*c_0101_2*c_0110_6^9 + 10289828969512869621617621396/275793297597636742599425697*c_0101_2*\ c_0110_6^8 - 8306076527445582465162315940448/3585312868769277653792\ 534061*c_0101_2*c_0110_6^7 + 832884417615787069288989925214/1195104\ 289589759217930844687*c_0101_2*c_0110_6^6 - 1361680753843326373672995061361/3585312868769277653792534061*c_0101\ _2*c_0110_6^5 + 547496691731467072729980647038/11951042895897592179\ 30844687*c_0101_2*c_0110_6^4 + 1325381156173013874517376989645/3585\ 312868769277653792534061*c_0101_2*c_0110_6^3 - 1393493490440604797185674552110/3585312868769277653792534061*c_0101\ _2*c_0110_6^2 + 8005281013687600384878454862/1195104289589759217930\ 844687*c_0101_2*c_0110_6 + 94522635483114061962954423374/3585312868\ 769277653792534061*c_0101_2, c_0011_0 - 1, c_0011_4 - 313204027866954731990381882/3585312868769277653792534061*c_0\ 101_2*c_0110_6^17 - 537954623717318692319365358/3585312868769277653\ 792534061*c_0101_2*c_0110_6^16 - 2406294253742996702786740831/35853\ 12868769277653792534061*c_0101_2*c_0110_6^15 + 7466982514693126251693822434/3585312868769277653792534061*c_0101_2*\ c_0110_6^14 + 31283711885049690011171802557/35853128687692776537925\ 34061*c_0101_2*c_0110_6^13 - 7156701742861767490402695861/119510428\ 9589759217930844687*c_0101_2*c_0110_6^12 + 6569405925306495271213703073/1195104289589759217930844687*c_0101_2*\ c_0110_6^11 + 37108678505528524036201616623/11951042895897592179308\ 44687*c_0101_2*c_0110_6^10 - 106015782648405037906442649872/1195104\ 289589759217930844687*c_0101_2*c_0110_6^9 - 11092026394221064360103084704/275793297597636742599425697*c_0101_2*\ c_0110_6^8 + 93527203286006629848642393446/358531286876927765379253\ 4061*c_0101_2*c_0110_6^7 - 57518670341140468539246609554/3585312868\ 769277653792534061*c_0101_2*c_0110_6^6 + 63853479203838013012711969436/3585312868769277653792534061*c_0101_2\ *c_0110_6^5 - 36113273612919695383143927671/35853128687692776537925\ 34061*c_0101_2*c_0110_6^4 - 14906387475583137063305743096/119510428\ 9589759217930844687*c_0101_2*c_0110_6^3 + 10879813186297356632157214508/3585312868769277653792534061*c_0101_2\ *c_0110_6^2 - 3514447088785094799478830454/358531286876927765379253\ 4061*c_0101_2*c_0110_6 - 2705205924400200639641339993/3585312868769\ 277653792534061*c_0101_2, c_0011_5 - 996531169966630909773206299/3585312868769277653792534061*c_0\ 101_2*c_0110_6^17 - 2052592310787268418086729930/358531286876927765\ 3792534061*c_0101_2*c_0110_6^16 - 8092587047758210275634602638/3585\ 312868769277653792534061*c_0101_2*c_0110_6^15 + 21443723943031438861967595289/3585312868769277653792534061*c_0101_2\ *c_0110_6^14 + 108933447341793445412564997187/358531286876927765379\ 2534061*c_0101_2*c_0110_6^13 - 12463205562374188370966899282/119510\ 4289589759217930844687*c_0101_2*c_0110_6^12 + 7840141101184298223742079891/1195104289589759217930844687*c_0101_2*\ c_0110_6^11 + 126654044628416305753183239053/1195104289589759217930\ 844687*c_0101_2*c_0110_6^10 - 300028886035583484471243650427/119510\ 4289589759217930844687*c_0101_2*c_0110_6^9 - 65925912804495495875449893665/275793297597636742599425697*c_0101_2*\ c_0110_6^8 + 271070106204384510553082648617/35853128687692776537925\ 34061*c_0101_2*c_0110_6^7 + 26633934391904252631439937303/358531286\ 8769277653792534061*c_0101_2*c_0110_6^6 + 160966408673660934778560577702/3585312868769277653792534061*c_0101_\ 2*c_0110_6^5 - 34770730867514423816507525569/3585312868769277653792\ 534061*c_0101_2*c_0110_6^4 - 70784636708827730283248440867/11951042\ 89589759217930844687*c_0101_2*c_0110_6^3 - 8228556640245672849993298001/3585312868769277653792534061*c_0101_2*\ c_0110_6^2 + 6558643263250889555173957240/3585312868769277653792534\ 061*c_0101_2*c_0110_6 + 1086179118821818909648867196/35853128687692\ 77653792534061*c_0101_2, c_0101_0 - 278182374672368609481252667/3585312868769277653792534061*c_0\ 110_6^17 - 427632340773924534251988848/3585312868769277653792534061\ *c_0110_6^16 - 1989033533169275034992615344/35853128687692776537925\ 34061*c_0110_6^15 + 2381918659457816448967578702/119510428958975921\ 7930844687*c_0110_6^14 + 27112857637188535975407806743/358531286876\ 9277653792534061*c_0110_6^13 - 25378888329991071321683873936/358531\ 2868769277653792534061*c_0110_6^12 + 14295161263854165815369018788/3585312868769277653792534061*c_0110_6\ ^11 + 97546279093554821041756406950/3585312868769277653792534061*c_\ 0110_6^10 - 303627437751006186121231985756/358531286876927765379253\ 4061*c_0110_6^9 - 7659565479654528950912548168/27579329759763674259\ 9425697*c_0110_6^8 + 53665401990873770993759884503/1195104289589759\ 217930844687*c_0110_6^7 - 18419180691485372459225533648/35853128687\ 69277653792534061*c_0110_6^6 + 22594760829825149544151732579/119510\ 4289589759217930844687*c_0110_6^5 - 34958567744642594832057596998/3585312868769277653792534061*c_0110_6\ ^4 - 47463519608179762777460050090/3585312868769277653792534061*c_0\ 110_6^3 + 5533001154497101568043580216/1195104289589759217930844687\ *c_0110_6^2 + 3516291727213127199628452688/358531286876927765379253\ 4061*c_0110_6 + 224775531364166542661496828/11951042895897592179308\ 44687, c_0101_1 + 116083504227920090406625617/1195104289589759217930844687*c_0\ 110_6^17 + 601760584405119067189604294/3585312868769277653792534061\ *c_0110_6^16 + 2587534940557466836153774300/35853128687692776537925\ 34061*c_0110_6^15 - 8463989522193422572575168682/358531286876927765\ 3792534061*c_0110_6^14 - 11881917582112720069058635640/119510428958\ 9759217930844687*c_0110_6^13 + 25548810994292213823809504131/358531\ 2868769277653792534061*c_0110_6^12 - 11629796040336824755860328883/3585312868769277653792534061*c_0110_6\ ^11 - 127564780586572524539936255096/3585312868769277653792534061*c\ _0110_6^10 + 356586385657130812551770561749/35853128687692776537925\ 34061*c_0110_6^9 + 15249322486547535850105555045/275793297597636742\ 599425697*c_0110_6^8 - 186746399135426743212490799509/3585312868769\ 277653792534061*c_0110_6^7 - 2776121570661134458564841463/119510428\ 9589759217930844687*c_0110_6^6 - 61343676571198771458498903067/3585\ 312868769277653792534061*c_0110_6^5 + 13306878786210542484422350586/1195104289589759217930844687*c_0110_6\ ^4 + 59707266094883622177559705286/3585312868769277653792534061*c_0\ 110_6^3 - 16590422399250115249146762817/358531286876927765379253406\ 1*c_0110_6^2 - 1566796724029097795938310008/11951042895897592179308\ 44687*c_0110_6 - 1908474416018933858908891460/358531286876927765379\ 2534061, c_0101_2^2 - 451134200877466180770894904/3585312868769277653792534061*c\ _0110_6^17 - 981812551204414212528808369/35853128687692776537925340\ 61*c_0110_6^16 - 3784555594941237864656951849/358531286876927765379\ 2534061*c_0110_6^15 + 9250379213914212383150308000/3585312868769277\ 653792534061*c_0110_6^14 + 50332648415479991072440280176/3585312868\ 769277653792534061*c_0110_6^13 - 3646917940330871383941986022/11951\ 04289589759217930844687*c_0110_6^12 + 3376687973462885069830827571/1195104289589759217930844687*c_0110_6^\ 11 + 57762784590854602715014579565/1195104289589759217930844687*c_0\ 110_6^10 - 129019620433165858479342678824/1195104289589759217930844\ 687*c_0110_6^9 - 33140103338611160205169948790/27579329759763674259\ 9425697*c_0110_6^8 + 67859618647906484985057569761/3585312868769277\ 653792534061*c_0110_6^7 + 12520328417669015836178761301/35853128687\ 69277653792534061*c_0110_6^6 + 71465530200901684500204041362/358531\ 2868769277653792534061*c_0110_6^5 - 5411749440674163447510121555/3585312868769277653792534061*c_0110_6^\ 4 - 31796082272837607344456509557/1195104289589759217930844687*c_01\ 10_6^3 - 16474748473109976688916625806/3585312868769277653792534061\ *c_0110_6^2 + 631411429462854069606572839/3585312868769277653792534\ 061*c_0110_6 - 3083748827786281628221328347/35853128687692776537925\ 34061, c_0110_6^18 + 2*c_0110_6^17 + 8*c_0110_6^16 - 22*c_0110_6^15 - 108*c_0110_6^14 + 44*c_0110_6^13 - 26*c_0110_6^12 - 380*c_0110_6^11 + 925*c_0110_6^10 + 807*c_0110_6^9 - 322*c_0110_6^8 - 13*c_0110_6^7 - 147*c_0110_6^6 + 41*c_0110_6^5 + 202*c_0110_6^4 - 2*c_0110_6^3 - 9*c_0110_6^2 + 3*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB