Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 2934911609] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1516 geometric_solution 5.31778175 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 2.098856081615 0.770284682509 0 2 3 0 0132 0132 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 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.127991979891 0.561541741539 4 1 5 3 0132 0132 0132 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.312168977698 0.673761005170 5 2 4 1 2310 1302 2310 0132 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 -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.312168977698 0.673761005170 2 3 6 6 0132 3201 2310 0132 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 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.394022193367 2.009145280054 5 5 3 2 1230 3012 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306376549735 0.881917625448 6 4 4 6 3201 3201 0132 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -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 1 0 -1 1 0 0 -1 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.566589456127 0.296492961022 ==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_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 82495913334342810461487298619387751114966/3244610306018677380605245\ 155931814984615*c_0101_4^18 + 3188677708429123430573533288743677507\ 642932/3244610306018677380605245155931814984615*c_0101_4^17 - 26775712869276319078160210503480677772988049/3244610306018677380605\ 245155931814984615*c_0101_4^16 + 5283423766531900476610815569623166\ 599610122/648922061203735476121049031186362996923*c_0101_4^15 + 168318738363564257528953018302765246258746214/324461030601867738060\ 5245155931814984615*c_0101_4^14 - 408789838091313297342188870016201\ 030558161271/3244610306018677380605245155931814984615*c_0101_4^13 + 47675312221714336936227873794401012479694357/6489220612037354761210\ 49031186362996923*c_0101_4^12 + 89801859660317594934048454095219720\ 064862257/3244610306018677380605245155931814984615*c_0101_4^11 - 1309169585841144352793952991408445950074093/46351575800266819722932\ 0736561687854945*c_0101_4^10 + 507217083661128836725223597701528420\ 9826266/3244610306018677380605245155931814984615*c_0101_4^9 - 308327855761713088343283468060477919340336233/324461030601867738060\ 5245155931814984615*c_0101_4^8 + 2587228013937469189464489807886300\ 30133796937/3244610306018677380605245155931814984615*c_0101_4^7 - 54931001615752980136230616111329443165690506/3244610306018677380605\ 245155931814984615*c_0101_4^6 + 12070865789838304942169826367479064\ 0907571063/3244610306018677380605245155931814984615*c_0101_4^5 - 113392277562989487163127440485371361575845792/324461030601867738060\ 5245155931814984615*c_0101_4^4 + 1952024441972540258095658691562620\ 5007604711/3244610306018677380605245155931814984615*c_0101_4^3 - 14310182111967012123324242542725146554635458/3244610306018677380605\ 245155931814984615*c_0101_4^2 + 12877693175292121872010731286112269\ 849136414/3244610306018677380605245155931814984615*c_0101_4 - 1717342909540251077626034985313856630726961/32446103060186773806052\ 45155931814984615, c_0011_0 - 1, c_0011_3 - 1569904776290044119108824308537055916/6621653685752402817561\ 7248080241122135*c_0101_4^18 + 615031474684784462310105532731285102\ 12/66216536857524028175617248080241122135*c_0101_4^17 - 540922990344447032256405944543131103714/662165368575240281756172480\ 80241122135*c_0101_4^16 + 150742339660000773503361609408760495954/1\ 3243307371504805635123449616048224427*c_0101_4^15 + 3079884269942381981339777849629150263904/66216536857524028175617248\ 080241122135*c_0101_4^14 - 9656331900033410481390952038485130095631\ /66216536857524028175617248080241122135*c_0101_4^13 + 1569404241826736505428427545475154466742/13243307371504805635123449\ 616048224427*c_0101_4^12 + 1779587892335359878291046439829466829477\ /66216536857524028175617248080241122135*c_0101_4^11 - 3309780222269196344596217370652304451731/66216536857524028175617248\ 080241122135*c_0101_4^10 + 391326650498772034397680872044252384336/\ 66216536857524028175617248080241122135*c_0101_4^9 - 5443985792586089627278584905046313970323/66216536857524028175617248\ 080241122135*c_0101_4^8 + 7558022183801626919655188399502593608712/\ 66216536857524028175617248080241122135*c_0101_4^7 - 1956955918437249947991848389340604610706/66216536857524028175617248\ 080241122135*c_0101_4^6 + 915642251384569922667390013442942717613/6\ 6216536857524028175617248080241122135*c_0101_4^5 - 2371764528795912805015253200963052855092/66216536857524028175617248\ 080241122135*c_0101_4^4 + 890134481407601764236098238325073140261/6\ 6216536857524028175617248080241122135*c_0101_4^3 + 60166730572624154928675932821205662697/6621653685752402817561724808\ 0241122135*c_0101_4^2 + 169956562585704287805452318917227413369/662\ 16536857524028175617248080241122135*c_0101_4 - 86786113748481657454616307507978458716/6621653685752402817561724808\ 0241122135, c_0011_5 + 7476872596610202837493859103433602/9666647716426865427097408\ 4788673171*c_0101_4^18 - 291230903043698232887353774245905030/96666\ 477164268654270974084788673171*c_0101_4^17 + 2511916074880411233329505487136562913/96666477164268654270974084788\ 673171*c_0101_4^16 - 3077142555289251278268706840231713922/96666477\ 164268654270974084788673171*c_0101_4^15 - 14873727057885434382577516316668758296/9666647716426865427097408478\ 8673171*c_0101_4^14 + 41815765096564054042233966839015064003/966664\ 77164268654270974084788673171*c_0101_4^13 - 30396389724804896459560941880295613576/9666647716426865427097408478\ 8673171*c_0101_4^12 - 6122316125205032232019124344931016111/9666647\ 7164268654270974084788673171*c_0101_4^11 + 4744653770598989412599948829621367358/96666477164268654270974084788\ 673171*c_0101_4^10 + 866597395092887146689793586179336943/966664771\ 64268654270974084788673171*c_0101_4^9 + 28508769799598619239635045132805533184/9666647716426865427097408478\ 8673171*c_0101_4^8 - 31336994936265764652442116448688240204/9666647\ 7164268654270974084788673171*c_0101_4^7 + 8157975000856458762017326324919308107/96666477164268654270974084788\ 673171*c_0101_4^6 - 10552401778733517256339284689412194507/96666477\ 164268654270974084788673171*c_0101_4^5 + 13340676052316732188202855013471879930/9666647716426865427097408478\ 8673171*c_0101_4^4 - 3289478770889875708700908210924042358/96666477\ 164268654270974084788673171*c_0101_4^3 + 1074418048391374599548707872444222638/96666477164268654270974084788\ 673171*c_0101_4^2 - 1592330258685489956175162991411123333/966664771\ 64268654270974084788673171*c_0101_4 + 332478795260037189899455219837659160/966664771642686542709740847886\ 73171, c_0011_6 + 3680354223824264990223535990853511/9666647716426865427097408\ 4788673171*c_0101_4^18 - 142055534698643830260981784898301848/96666\ 477164268654270974084788673171*c_0101_4^17 + 1187171152235025582317843234260653344/96666477164268654270974084788\ 673171*c_0101_4^16 - 1126979248769752428860280051904494234/96666477\ 164268654270974084788673171*c_0101_4^15 - 7472843356739338900146175346287342822/96666477164268654270974084788\ 673171*c_0101_4^14 + 17827502271884179881152932906549991782/9666647\ 7164268654270974084788673171*c_0101_4^13 - 10416581546111387517270671479721638148/9666647716426865427097408478\ 8673171*c_0101_4^12 - 3621486018741329677810702057418430167/9666647\ 7164268654270974084788673171*c_0101_4^11 + 554115263009184204486429683612328450/966664771642686542709740847886\ 73171*c_0101_4^10 - 817209109580295451496028568077332129/9666647716\ 4268654270974084788673171*c_0101_4^9 + 13103910398342169743661009928864428191/9666647716426865427097408478\ 8673171*c_0101_4^8 - 11030717551825477432722330272725355393/9666647\ 7164268654270974084788673171*c_0101_4^7 + 2996122322827846772115587010310795078/96666477164268654270974084788\ 673171*c_0101_4^6 - 5070886668840759794468159213154229054/966664771\ 64268654270974084788673171*c_0101_4^5 + 4563760221008584511466411679403355595/96666477164268654270974084788\ 673171*c_0101_4^4 - 1201891088468662658430149656685743655/966664771\ 64268654270974084788673171*c_0101_4^3 + 545501059135927843454312196732849238/966664771642686542709740847886\ 73171*c_0101_4^2 - 463248540235987634585086773490614617/96666477164\ 268654270974084788673171*c_0101_4 + 173839953425773914732460831212839494/966664771642686542709740847886\ 73171, c_0101_0 - 299186842659651915728227307636210785/13243307371504805635123\ 449616048224427*c_0101_4^18 + 1130348790505541312536611790044471233\ 5/13243307371504805635123449616048224427*c_0101_4^17 - 87030033103895121268669406908920170701/1324330737150480563512344961\ 6048224427*c_0101_4^16 + 11356737798550910275533383860550846059/132\ 43307371504805635123449616048224427*c_0101_4^15 + 691993960845513347175855527276346211273/132433073715048056351234496\ 16048224427*c_0101_4^14 - 947730550201551464232806554069225043695/1\ 3243307371504805635123449616048224427*c_0101_4^13 - 409136096762230352749823945002446587866/132433073715048056351234496\ 16048224427*c_0101_4^12 + 1046523447536509005741727781522023327302/\ 13243307371504805635123449616048224427*c_0101_4^11 + 210691337803247075505312132402846243129/132433073715048056351234496\ 16048224427*c_0101_4^10 + 24266212519533700808128488708377955264/13\ 243307371504805635123449616048224427*c_0101_4^9 - 968709579109713113840720224374481588777/132433073715048056351234496\ 16048224427*c_0101_4^8 - 141655320478902982005391832802520154363/13\ 243307371504805635123449616048224427*c_0101_4^7 + 510631645123853387470774474648356474242/132433073715048056351234496\ 16048224427*c_0101_4^6 + 292507218000174918981441082227743668513/13\ 243307371504805635123449616048224427*c_0101_4^5 + 15089618438330653327303169162223379704/1324330737150480563512344961\ 6048224427*c_0101_4^4 - 196201665326328735076408048389862616740/132\ 43307371504805635123449616048224427*c_0101_4^3 - 40578590175447645518795515634702127343/1324330737150480563512344961\ 6048224427*c_0101_4^2 - 17048113083385457828226580197579573909/1324\ 3307371504805635123449616048224427*c_0101_4 + 15840209739665361965345184932236892404/1324330737150480563512344961\ 6048224427, c_0101_1 + 12630227633846523087297225450527123694/662165368575240281756\ 17248080241122135*c_0101_4^18 - 48835038039522981478002540293643389\ 1128/66216536857524028175617248080241122135*c_0101_4^17 + 4105920481627094178223128001136849446886/66216536857524028175617248\ 080241122135*c_0101_4^16 - 821900466604402506458062604771133829096/\ 13243307371504805635123449616048224427*c_0101_4^15 - 25617393855780111098752820640370740526781/6621653685752402817561724\ 8080241122135*c_0101_4^14 + 628986234916706899906496102955467924866\ 64/66216536857524028175617248080241122135*c_0101_4^13 - 7620012491210357521115307272147373165326/13243307371504805635123449\ 616048224427*c_0101_4^12 - 1215448358498693548146173764609120523259\ 3/66216536857524028175617248080241122135*c_0101_4^11 + 2085526573263227995280204471169896708174/66216536857524028175617248\ 080241122135*c_0101_4^10 - 2237876547009375267450928966484851058824\ /66216536857524028175617248080241122135*c_0101_4^9 + 47142620432188155534542542031353657233507/6621653685752402817561724\ 8080241122135*c_0101_4^8 - 4007883896683934337238433407099272949748\ 8/66216536857524028175617248080241122135*c_0101_4^7 + 9976055780251614559870307972043665170894/66216536857524028175617248\ 080241122135*c_0101_4^6 - 18599078006769379201681756028403234823547\ /66216536857524028175617248080241122135*c_0101_4^5 + 16863820549630434341292410115442046315763/6621653685752402817561724\ 8080241122135*c_0101_4^4 - 3264754829798463648479918754088532627569\ /66216536857524028175617248080241122135*c_0101_4^3 + 2277887462120398039381311304919810952982/66216536857524028175617248\ 080241122135*c_0101_4^2 - 1781520745694494434305344174218883948726/\ 66216536857524028175617248080241122135*c_0101_4 + 259221016871128870427245195654445170824/662165368575240281756172480\ 80241122135, c_0101_4^19 - 39*c_0101_4^18 + 338*c_0101_4^17 - 433*c_0101_4^16 - 1929*c_0101_4^15 + 5664*c_0101_4^14 - 4612*c_0101_4^13 - 82*c_0101_4^12 + 490*c_0101_4^11 - 108*c_0101_4^10 + 3765*c_0101_4^9 - 4433*c_0101_4^8 + 1755*c_0101_4^7 - 1695*c_0101_4^6 + 1878*c_0101_4^5 - 710*c_0101_4^4 + 255*c_0101_4^3 - 215*c_0101_4^2 + 74*c_0101_4 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB