Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 2833855563] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0593 geometric_solution 4.60699139 oriented_manifold CS_known -0.0000000000000002 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 0 -1 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 5.205181861481 1.890039038723 0 2 2 0 3201 0132 3201 0132 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 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.264370155296 0.203533720314 1 1 3 4 2310 0132 0132 0132 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 -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.925172134093 1.332522461667 4 5 4 2 1302 0132 1230 0132 0 0 0 0 0 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 -1 0 1 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722593315045 0.555441172239 5 3 2 3 2310 2031 0132 3012 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722593315045 0.555441172239 6 3 4 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410548843171 0.225300600443 5 6 6 5 0132 1230 3012 1023 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.487596505934 1.053445134053 ==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' : 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_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0011_3']), '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : 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_0101_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_5'], '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_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 22929952584786725648824019637/100052060976579996043933133*c_0101_6^\ 21 - 47300373189231827337961813267/100052060976579996043933133*c_01\ 01_6^20 - 112228754474694580635548721896/10005206097657999604393313\ 3*c_0101_6^19 + 238165267074073234071858697459/10005206097657999604\ 3933133*c_0101_6^18 - 403376187589662756776467060569/10005206097657\ 9996043933133*c_0101_6^17 + 337388426505210402839883047553/10005206\ 0976579996043933133*c_0101_6^16 - 97114891800346969111881943188/100\ 052060976579996043933133*c_0101_6^15 - 197885317280224544432585746250/100052060976579996043933133*c_0101_6\ ^14 + 4519234457242663245208291196484/100052060976579996043933133*c\ _0101_6^13 - 3265837775080886341028624774287/1000520609765799960439\ 33133*c_0101_6^12 + 7338760866147502488595178068084/100052060976579\ 996043933133*c_0101_6^11 + 10457534649776589584190818209870/1000520\ 60976579996043933133*c_0101_6^10 - 40626517787159659893432194810457/100052060976579996043933133*c_0101\ _6^9 - 15922334277695274974134615714200/100052060976579996043933133\ *c_0101_6^8 + 51468270636711378908500198124807/10005206097657999604\ 3933133*c_0101_6^7 + 12465539301978793862937514151480/1000520609765\ 79996043933133*c_0101_6^6 - 29046933244461011103652916117172/100052\ 060976579996043933133*c_0101_6^5 - 4992515174838029117890478460469/100052060976579996043933133*c_0101_\ 6^4 + 7701963629711545997750666836746/100052060976579996043933133*c\ _0101_6^3 + 1046506324531862291165636721779/10005206097657999604393\ 3133*c_0101_6^2 - 788069021829422001108275224866/100052060976579996\ 043933133*c_0101_6 - 119367855888041497849681839190/100052060976579\ 996043933133, c_0011_0 - 1, c_0011_1 - 370735597090032974251072/2440294170160487708388613*c_0101_6^\ 21 + 625984909322651248233057/2440294170160487708388613*c_0101_6^20 + 2081164592836877824008561/2440294170160487708388613*c_0101_6^19 - 3316407589435204313569667/2440294170160487708388613*c_0101_6^18 + 5598039163271085909541391/2440294170160487708388613*c_0101_6^17 - 2567255046224234771625747/2440294170160487708388613*c_0101_6^16 - 1860527894431635357155575/2440294170160487708388613*c_0101_6^15 + 7850757512282512848350794/2440294170160487708388613*c_0101_6^14 - 76833420285767115619405527/2440294170160487708388613*c_0101_6^13 + 30876410524348535194920303/2440294170160487708388613*c_0101_6^12 - 105464285329779986664181916/2440294170160487708388613*c_0101_6^11 - 243603000785424763105166633/2440294170160487708388613*c_0101_6^10 + 619898401623710740433294507/2440294170160487708388613*c_0101_6^9 + 397314546706594837634499328/2440294170160487708388613*c_0101_6^8 - 745534081189886548774852458/2440294170160487708388613*c_0101_6^7 - 238079474000295295526075511/2440294170160487708388613*c_0101_6^6 + 352434994229603716747851044/2440294170160487708388613*c_0101_6^5 + 58365017851227936325602709/2440294170160487708388613*c_0101_6^4 - 47952848568576819931508141/2440294170160487708388613*c_0101_6^3 - 14138765712463911528345044/2440294170160487708388613*c_0101_6^2 - 2537879872707893544040000/2440294170160487708388613*c_0101_6 + 1648959479283177895660900/2440294170160487708388613, c_0011_3 + 667624529658572328336192/2440294170160487708388613*c_0101_6^\ 21 - 473148883962827945705785/2440294170160487708388613*c_0101_6^20 - 5175724247750419179168021/2440294170160487708388613*c_0101_6^19 + 3403944762476613790338376/2440294170160487708388613*c_0101_6^18 - 3870479224519591138694113/2440294170160487708388613*c_0101_6^17 - 9753610832723976910503759/2440294170160487708388613*c_0101_6^16 + 18727728850993922608539871/2440294170160487708388613*c_0101_6^15 - 27525156193281778070995314/2440294170160487708388613*c_0101_6^14 + 142266779191657410132036023/2440294170160487708388613*c_0101_6^13 + 67060742581357724268987729/2440294170160487708388613*c_0101_6^12 + 81549788413675497557236916/2440294170160487708388613*c_0101_6^11 + 749331721727260066464246500/2440294170160487708388613*c_0101_6^10 - 911017429395371151663056885/2440294170160487708388613*c_0101_6^9 - 1708245356512898776374770408/2440294170160487708388613*c_0101_6^8 + 1208936063068036896013725909/2440294170160487708388613*c_0101_6^7 + 1226664704677619663950472113/2440294170160487708388613*c_0101_6^6 - 672800748440756306374290921/2440294170160487708388613*c_0101_6^5 - 321633199774143881002347860/2440294170160487708388613*c_0101_6^4 + 158665586145412234418334574/2440294170160487708388613*c_0101_6^3 + 25595355957770552633284650/2440294170160487708388613*c_0101_6^2 - 8979763582014942401173740/2440294170160487708388613*c_0101_6 - 1520107814595934481196716/2440294170160487708388613, c_0101_1 + 2634522179193620253357588/2440294170160487708388613*c_0101_6\ ^21 - 6503580001119286842372617/2440294170160487708388613*c_0101_6^\ 20 - 9273561217523868697734208/2440294170160487708388613*c_0101_6^1\ 9 + 29047624604743591204721406/2440294170160487708388613*c_0101_6^1\ 8 - 62239846928793424952252461/2440294170160487708388613*c_0101_6^1\ 7 + 73317135038198483233673234/2440294170160487708388613*c_0101_6^1\ 6 - 61336438837269140680435199/2440294170160487708388613*c_0101_6^1\ 5 + 22724584633310789723833876/2440294170160487708388613*c_0101_6^1\ 4 + 493453477154792111307518605/2440294170160487708388613*c_0101_6^\ 13 - 572834498453061680765604876/2440294170160487708388613*c_0101_6\ ^12 + 1260844781220125715812076486/2440294170160487708388613*c_0101\ _6^11 + 540080451332369988885041168/2440294170160487708388613*c_010\ 1_6^10 - 4454372553736355380588582777/2440294170160487708388613*c_0\ 101_6^9 + 334157270928419123350965016/2440294170160487708388613*c_0\ 101_6^8 + 4265580835925212370006941473/2440294170160487708388613*c_\ 0101_6^7 - 639069425601077168460152961/2440294170160487708388613*c_\ 0101_6^6 - 1700644675170678099852804294/2440294170160487708388613*c\ _0101_6^5 + 218561437887602859712200337/2440294170160487708388613*c\ _0101_6^4 + 281060324298111009955799848/2440294170160487708388613*c\ _0101_6^3 + 6367761221653328067455546/2440294170160487708388613*c_0\ 101_6^2 - 17393258638336947267747612/2440294170160487708388613*c_01\ 01_6 - 3613858789352234278465101/2440294170160487708388613, c_0101_2 - 1172586059895768366946323/2440294170160487708388613*c_0101_6\ ^21 + 3446271384218579755290478/2440294170160487708388613*c_0101_6^\ 20 + 2942409866358723110837372/2440294170160487708388613*c_0101_6^1\ 9 - 15051523837535819142207710/2440294170160487708388613*c_0101_6^1\ 8 + 32638790450538940608251350/2440294170160487708388613*c_0101_6^1\ 7 - 44714924758806388758946067/2440294170160487708388613*c_0101_6^1\ 6 + 40609647271801776974376076/2440294170160487708388613*c_0101_6^1\ 5 - 23567498791792939949843552/2440294170160487708388613*c_0101_6^1\ 4 - 213112722967862246145241579/2440294170160487708388613*c_0101_6^\ 13 + 353467915542267703950747807/2440294170160487708388613*c_0101_6\ ^12 - 645134800034471948851538901/2440294170160487708388613*c_0101_\ 6^11 + 30491458917940452404108736/2440294170160487708388613*c_0101_\ 6^10 + 2145369399063794074504625005/2440294170160487708388613*c_010\ 1_6^9 - 916894945575795269914127892/2440294170160487708388613*c_010\ 1_6^8 - 2043408467192046473944040775/2440294170160487708388613*c_01\ 01_6^7 + 869461676032028829164449643/2440294170160487708388613*c_01\ 01_6^6 + 828957492349109654075310654/2440294170160487708388613*c_01\ 01_6^5 - 271925230662008051016092452/2440294170160487708388613*c_01\ 01_6^4 - 149274099429018408278439133/2440294170160487708388613*c_01\ 01_6^3 + 17347984575474328664220420/2440294170160487708388613*c_010\ 1_6^2 + 8516156030221947272936249/2440294170160487708388613*c_0101_\ 6 + 1538323143540888507811085/2440294170160487708388613, c_0101_5 - 1986487064865962388397375/2440294170160487708388613*c_0101_6\ ^21 + 5511297273272813284605835/2440294170160487708388613*c_0101_6^\ 20 + 5683202977352266559418382/2440294170160487708388613*c_0101_6^1\ 9 - 24110214982145486667738697/2440294170160487708388613*c_0101_6^1\ 8 + 52095921404488968791703597/2440294170160487708388613*c_0101_6^1\ 7 - 69013836185854397212559405/2440294170160487708388613*c_0101_6^1\ 6 + 62121262719575229271196040/2440294170160487708388613*c_0101_6^1\ 5 - 34976320814042243683011407/2440294170160487708388613*c_0101_6^1\ 4 - 361048402590253959213998104/2440294170160487708388613*c_0101_6^\ 13 + 536187155774796318072787858/2440294170160487708388613*c_0101_6\ ^12 - 1040824644125821866894253129/2440294170160487708388613*c_0101\ _6^11 - 88111430391215962962523458/2440294170160487708388613*c_0101\ _6^10 + 3513857704346969841000491294/2440294170160487708388613*c_01\ 01_6^9 - 1032775651412912758076406234/2440294170160487708388613*c_0\ 101_6^8 - 3353547321702785423515081505/2440294170160487708388613*c_\ 0101_6^7 + 962918109861572545517112598/2440294170160487708388613*c_\ 0101_6^6 + 1355306278410932366397234165/2440294170160487708388613*c\ _0101_6^5 - 254389305717686512321255662/2440294170160487708388613*c\ _0101_6^4 - 238430333390259873149820856/2440294170160487708388613*c\ _0101_6^3 - 2548366646027296169762317/2440294170160487708388613*c_0\ 101_6^2 + 20571113768385621906812087/2440294170160487708388613*c_01\ 01_6 + 3369746066234405376350300/2440294170160487708388613, c_0101_6^22 - 2*c_0101_6^21 - 5*c_0101_6^20 + 10*c_0101_6^19 - 17*c_0101_6^18 + 14*c_0101_6^17 - 4*c_0101_6^16 - 8*c_0101_6^15 + 196*c_0101_6^14 - 130*c_0101_6^13 + 316*c_0101_6^12 + 467*c_0101_6^11 - 1732*c_0101_6^10 - 806*c_0101_6^9 + 2144*c_0101_6^8 + 714*c_0101_6^7 - 1158*c_0101_6^6 - 331*c_0101_6^5 + 281*c_0101_6^4 + 82*c_0101_6^3 - 22*c_0101_6^2 - 10*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB