Magma V2.19-8 Tue Aug 20 2013 16:17:58 on localhost [Seed = 3937105452] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2195 geometric_solution 5.65204167 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 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 1 -1 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 2.164144799672 1.209059688910 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 0 -1 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.384268108612 0.804226607707 3 1 4 5 2310 0132 0132 0132 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 -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.135275281639 0.699619494253 6 5 2 1 0132 1023 3201 0132 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 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.135275281639 0.699619494253 6 5 6 2 3120 2103 3012 0132 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 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.436244793620 0.563240610960 3 4 2 6 1023 2103 0132 3012 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 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.985516449195 1.459415772511 3 4 5 4 0132 1230 1230 3120 0 0 0 0 0 0 -1 1 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 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.436244793620 0.563240610960 ==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_0011_4'], 'c_1100_5' : negation(d['c_1001_6']), 'c_1100_4' : negation(d['c_1001_6']), '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_1001_6']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_4'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_0011_4, c_0101_1, c_0101_2, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 41785985496584805015851463686339/486195907393773570619786255125*c_1\ 001_6^18 - 78297718895409729657559890910016/16206530246459119020659\ 5418375*c_1001_6^17 - 2287560826966553007906447807558/1620653024645\ 91190206595418375*c_1001_6^16 - 913324701104688198969654401305984/4\ 86195907393773570619786255125*c_1001_6^15 + 204717275672696177868656060348152/162065302464591190206595418375*c_\ 1001_6^14 + 8958026052563190285522551479264106/48619590739377357061\ 9786255125*c_1001_6^13 + 23339397295083226584328996994033861/486195\ 907393773570619786255125*c_1001_6^12 + 39782551552010193807399912348596011/486195907393773570619786255125*\ c_1001_6^11 + 431385792534795871812258659766424/3889567259150188564\ 958290041*c_1001_6^10 - 11198045455807657062039380850835936/4861959\ 07393773570619786255125*c_1001_6^9 - 16840952404307156783558456819346391/97239181478754714123957251025*c\ _1001_6^8 + 188852693688130858451857080508543/162065302464591190206\ 595418375*c_1001_6^7 + 66378185304494461464603218009178887/48619590\ 7393773570619786255125*c_1001_6^6 - 5618795191527502185042676587361007/486195907393773570619786255125*c\ _1001_6^5 - 6980841775686329151855857158997784/16206530246459119020\ 6595418375*c_1001_6^4 + 2033393590508360304788031467220047/16206530\ 2464591190206595418375*c_1001_6^3 + 553672038908782979218451866820204/162065302464591190206595418375*c_\ 1001_6^2 - 342919410890132074319941336434364/4861959073937735706197\ 86255125*c_1001_6 - 42258675795667616974319494168211/48619590739377\ 3570619786255125, c_0011_0 - 1, c_0011_1 + 378499370130644977697353479/6482612098583647608263816735*c_1\ 001_6^18 - 2083153530123156344952829398/648261209858364760826381673\ 5*c_1001_6^17 - 317667871686208106412244689/64826120985836476082638\ 16735*c_1001_6^16 - 8169864513911473520483311324/648261209858364760\ 8263816735*c_1001_6^15 + 4135863842316975793913210866/6482612098583\ 647608263816735*c_1001_6^14 + 81935529274274853230530314926/6482612\ 098583647608263816735*c_1001_6^13 + 218902808570135984895173357776/6482612098583647608263816735*c_1001_\ 6^12 + 385298001296735370492698139971/6482612098583647608263816735*\ c_1001_6^11 + 108874670067156128436683268391/1296522419716729521652\ 763347*c_1001_6^10 - 3245621486876767143940463676/64826120985836476\ 08263816735*c_1001_6^9 - 139398674230896311003535662565/12965224197\ 16729521652763347*c_1001_6^8 + 41323828003131270709693360099/648261\ 2098583647608263816735*c_1001_6^7 + 626448252503163427142075305897/6482612098583647608263816735*c_1001_\ 6^6 - 93129513845192366928736196302/6482612098583647608263816735*c_\ 1001_6^5 - 207211303623423819540658672667/6482612098583647608263816\ 735*c_1001_6^4 + 96826881285274909167001129616/64826120985836476082\ 63816735*c_1001_6^3 + 6129572380843820632737137857/6482612098583647\ 608263816735*c_1001_6^2 - 4257117697678519152868678659/648261209858\ 3647608263816735*c_1001_6 + 3930961277548949699372767229/6482612098\ 583647608263816735, c_0011_3 - c_1001_6, c_0011_4 - 1164165277964732022084562743/6482612098583647608263816735*c_\ 1001_6^18 + 6762504864297015202347441261/64826120985836476082638167\ 35*c_1001_6^17 - 1156460325548574384548995407/648261209858364760826\ 3816735*c_1001_6^16 + 26106949269990125414835215478/648261209858364\ 7608263816735*c_1001_6^15 - 22058215320482910763432335082/648261209\ 8583647608263816735*c_1001_6^14 - 243287052599852688483330355032/64\ 82612098583647608263816735*c_1001_6^13 - 605809242807326350356549573257/6482612098583647608263816735*c_1001_\ 6^12 - 1009940730064616453510128108267/6482612098583647608263816735\ *c_1001_6^11 - 271758739622241452095493970585/129652241971672952165\ 2763347*c_1001_6^10 + 476011724775781059120154981997/64826120985836\ 47608263816735*c_1001_6^9 + 422566139853655531390286805263/12965224\ 19716729521652763347*c_1001_6^8 - 466380460955679492578091035818/64\ 82612098583647608263816735*c_1001_6^7 - 1710072273926331384616481192689/6482612098583647608263816735*c_1001\ _6^6 + 470466528027486574447011808034/6482612098583647608263816735*\ c_1001_6^5 + 464230711185963168118321606879/64826120985836476082638\ 16735*c_1001_6^4 - 250060123194269702879205761342/64826120985836476\ 08263816735*c_1001_6^3 - 11846348322558730812237289474/648261209858\ 3647608263816735*c_1001_6^2 + 11259637698151064655290708558/6482612\ 098583647608263816735*c_1001_6 + 174322422295291325718212787/648261\ 2098583647608263816735, c_0101_1 + 725074643140748046820376606/6482612098583647608263816735*c_1\ 001_6^18 - 4514725006793979474063641772/648261209858364760826381673\ 5*c_1001_6^17 + 2267503817752276185741764334/6482612098583647608263\ 816735*c_1001_6^16 - 15361584844210839279280698431/6482612098583647\ 608263816735*c_1001_6^15 + 20497092466549209143855745214/6482612098\ 583647608263816735*c_1001_6^14 + 150598645850141661514010483654/648\ 2612098583647608263816735*c_1001_6^13 + 310478097259940064934876919774/6482612098583647608263816735*c_1001_\ 6^12 + 426756296280755373687673183044/6482612098583647608263816735*\ c_1001_6^11 + 93063686037554146859011354336/12965224197167295216527\ 63347*c_1001_6^10 - 851392479366145293091179142229/6482612098583647\ 608263816735*c_1001_6^9 - 292677179783971054298158405511/1296522419\ 716729521652763347*c_1001_6^8 + 905159101056047528214011692256/6482\ 612098583647608263816735*c_1001_6^7 + 1375074469874201322658284757473/6482612098583647608263816735*c_1001\ _6^6 - 698128723237562976338879786963/6482612098583647608263816735*\ c_1001_6^5 - 467980686313030194096015375788/64826120985836476082638\ 16735*c_1001_6^4 + 262747106395398481124090212649/64826120985836476\ 08263816735*c_1001_6^3 + 24894368065367995781597632338/648261209858\ 3647608263816735*c_1001_6^2 - 22323950799910794124967234651/6482612\ 098583647608263816735*c_1001_6 - 2490011139159362281463030384/64826\ 12098583647608263816735, c_0101_2 + 807633561245174537611264561/6482612098583647608263816735*c_1\ 001_6^18 - 4771246801158167927622852237/648261209858364760826381673\ 5*c_1001_6^17 + 1310014520436805919409102114/6482612098583647608263\ 816735*c_1001_6^16 - 18485846869939768585052482611/6482612098583647\ 608263816735*c_1001_6^15 + 17348305312261929256751554964/6482612098\ 583647608263816735*c_1001_6^14 + 166278772701985788652143166709/648\ 2612098583647608263816735*c_1001_6^13 + 405391940823033815295433359044/6482612098583647608263816735*c_1001_\ 6^12 + 667760201129088672056009378964/6482612098583647608263816735*\ c_1001_6^11 + 177734501554695555716950815721/1296522419716729521652\ 763347*c_1001_6^10 - 407634826913128999569568816169/648261209858364\ 7608263816735*c_1001_6^9 - 284561977131913267596893098455/129652241\ 9716729521652763347*c_1001_6^8 + 391096211077950539562897375451/648\ 2612098583647608263816735*c_1001_6^7 + 1070618931365245523685236132478/6482612098583647608263816735*c_1001\ _6^6 - 358528576200964352806163455508/6482612098583647608263816735*\ c_1001_6^5 - 195946830534741711478151084098/64826120985836476082638\ 16735*c_1001_6^4 + 159203073398787559985351445544/64826120985836476\ 08263816735*c_1001_6^3 - 34675850389886623541335742437/648261209858\ 3647608263816735*c_1001_6^2 + 2241144867574216185567361074/64826120\ 98583647608263816735*c_1001_6 + 2198661547681736973844973836/648261\ 2098583647608263816735, c_1001_6^19 - 6*c_1001_6^18 + 2*c_1001_6^17 - 22*c_1001_6^16 + 23*c_1001_6^15 + 208*c_1001_6^14 + 478*c_1001_6^13 + 748*c_1001_6^12 + 949*c_1001_6^11 - 724*c_1001_6^10 - 1869*c_1001_6^9 + 766*c_1001_6^8 + 1519*c_1001_6^7 - 730*c_1001_6^6 - 406*c_1001_6^5 + 326*c_1001_6^4 - 23*c_1001_6^3 - 18*c_1001_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB