Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 2050746006] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0683 geometric_solution 4.64994156 oriented_manifold CS_known -0.0000000000000001 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 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.497224081737 0.063635214545 2 0 2 0 0132 2310 1023 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524020538422 0.189607795505 1 3 1 3 0132 0132 1023 2310 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 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.190374779091 3.068444811256 2 2 5 4 3201 0132 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 -1 0 1 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.397786028052 0.551080862895 5 5 3 6 1302 1023 0132 0132 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 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.342046589675 0.731095973587 4 4 6 3 1023 2031 2310 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342046589675 0.731095973587 6 5 4 6 3012 3201 0132 1230 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 0 0 0 0 1.474983785317 1.122178241823 ==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' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 52011232204334032949618312114928917592/1859152025567949667969868200\ 65489877*c_0101_6^25 + 2391428451997129288667171567227851607477/185\ 915202556794966796986820065489877*c_0101_6^23 - 14981234925812891654077110880672976168286/1859152025567949667969868\ 20065489877*c_0101_6^21 - 11468502155857949176618000901363383093812\ 6/185915202556794966796986820065489877*c_0101_6^19 - 146529706234257554633113688398263080893293/185915202556794966796986\ 820065489877*c_0101_6^17 + 1705500561537700030652237532575554443492\ 377/185915202556794966796986820065489877*c_0101_6^15 + 282509411786017754637797973235676685110606/185915202556794966796986\ 820065489877*c_0101_6^13 - 2829718624333922534987724773409842371938\ 000/185915202556794966796986820065489877*c_0101_6^11 - 2217446965478743460669616335558492397886990/18591520255679496679698\ 6820065489877*c_0101_6^9 - 4559119106898656697334709520480856600810\ /14301169427445766676691293851191529*c_0101_6^7 + 269505366832053742613209762746243754749354/185915202556794966796986\ 820065489877*c_0101_6^5 + 73737768278096990986213561693940848898037\ /185915202556794966796986820065489877*c_0101_6^3 - 4471513802738293131860203653402654550260/18591520255679496679698682\ 0065489877*c_0101_6, c_0011_0 - 1, c_0011_1 + 474182245370851737895614340810320/18591520255679496679698682\ 0065489877*c_0101_6^24 - 21949798702458321394399656891618791/185915\ 202556794966796986820065489877*c_0101_6^22 + 143303596971942498876743100473024220/185915202556794966796986820065\ 489877*c_0101_6^20 + 1005621718795820322571982271044081069/18591520\ 2556794966796986820065489877*c_0101_6^18 + 994436509107387213535592257555747652/185915202556794966796986820065\ 489877*c_0101_6^16 - 16073915277575661818243879556583756659/1859152\ 02556794966796986820065489877*c_0101_6^14 + 2153949971282004187039549435138052986/18591520255679496679698682006\ 5489877*c_0101_6^12 + 28379186253891302190446445953615204697/185915\ 202556794966796986820065489877*c_0101_6^10 + 11613840463692031164841034241529736445/1859152025567949667969868200\ 65489877*c_0101_6^8 - 626615214479232832673028023221774643/14301169\ 427445766676691293851191529*c_0101_6^6 - 3524958442956232632458569098644067135/18591520255679496679698682006\ 5489877*c_0101_6^4 + 50834966539866010396281753497952896/1859152025\ 56794966796986820065489877*c_0101_6^2 + 99880495539515973748626424458500152/1859152025567949667969868200654\ 89877, c_0011_4 + 9512950591029238593101123473088350/1859152025567949667969868\ 20065489877*c_0101_6^25 - 437324022022738798163073571820475206/1859\ 15202556794966796986820065489877*c_0101_6^23 + 2736737032115000835734241495105159187/18591520255679496679698682006\ 5489877*c_0101_6^21 + 20997864551623548114965237720760961572/185915\ 202556794966796986820065489877*c_0101_6^19 + 26954391675304923949726291630376499647/1859152025567949667969868200\ 65489877*c_0101_6^17 - 311764121467661748280388917781044763044/1859\ 15202556794966796986820065489877*c_0101_6^15 - 54040031389272502682157085196403946802/1859152025567949667969868200\ 65489877*c_0101_6^13 + 517811495586271559552873223702601539946/1859\ 15202556794966796986820065489877*c_0101_6^11 + 408650601716988490277022993468703454945/185915202556794966796986820\ 065489877*c_0101_6^9 + 1001840232023130192731427955453646738/143011\ 69427445766676691293851191529*c_0101_6^7 - 48588632965933677800814428811743189998/1859152025567949667969868200\ 65489877*c_0101_6^5 - 12773099698179156955297859097342427047/185915\ 202556794966796986820065489877*c_0101_6^3 + 854427656455198876363857931756268631/185915202556794966796986820065\ 489877*c_0101_6, c_0011_6 + 670163178231867057640265963322637/18591520255679496679698682\ 0065489877*c_0101_6^24 - 30909548546865320227712391657885250/185915\ 202556794966796986820065489877*c_0101_6^22 + 197473267701518258104634085122178878/185915202556794966796986820065\ 489877*c_0101_6^20 + 1448950161851599677279697862398923915/18591520\ 2556794966796986820065489877*c_0101_6^18 + 1683425954628092750526541654510710953/18591520255679496679698682006\ 5489877*c_0101_6^16 - 22196531801721753401556819299392295535/185915\ 202556794966796986820065489877*c_0101_6^14 - 446291792941509425785632216764013340/185915202556794966796986820065\ 489877*c_0101_6^12 + 36177609809127822090572611384888345296/1859152\ 02556794966796986820065489877*c_0101_6^10 + 23540594598539651384324941112249832973/1859152025567949667969868200\ 65489877*c_0101_6^8 - 139783643402783844314474449752517091/14301169\ 427445766676691293851191529*c_0101_6^6 - 3389716181560010129954803076762392919/18591520255679496679698682006\ 5489877*c_0101_6^4 - 998624182964252218095800561436970243/185915202\ 556794966796986820065489877*c_0101_6^2 + 50042699891162308338989605098072525/1859152025567949667969868200654\ 89877, c_0101_0 - 19354783995289049543905641802210664/185915202556794966796986\ 820065489877*c_0101_6^25 + 889545803995509832339090960485245303/185\ 915202556794966796986820065489877*c_0101_6^23 - 5557846309465825179668102576546308322/18591520255679496679698682006\ 5489877*c_0101_6^21 - 42788211466556204222600374566911942070/185915\ 202556794966796986820065489877*c_0101_6^19 - 55312268812702230213633626919364818197/1859152025567949667969868200\ 65489877*c_0101_6^17 + 633819772914824399951979834612176758566/1859\ 15202556794966796986820065489877*c_0101_6^15 + 117406904534393050608953053071447653369/185915202556794966796986820\ 065489877*c_0101_6^13 - 1054268072208465316918382348163507665269/18\ 5915202556794966796986820065489877*c_0101_6^11 - 844237454117184946952594469284708704992/185915202556794966796986820\ 065489877*c_0101_6^9 - 2495027900489534464231103189426766251/143011\ 69427445766676691293851191529*c_0101_6^7 + 101343877910161481193289077494034550607/185915202556794966796986820\ 065489877*c_0101_6^5 + 27585454437046847917673618785416916555/18591\ 5202556794966796986820065489877*c_0101_6^3 - 1566803581139233946700049051822666487/18591520255679496679698682006\ 5489877*c_0101_6, c_0101_1 - 439496443767872487158530996612288/18591520255679496679698682\ 0065489877*c_0101_6^24 + 20154621143867758926987149079380601/185915\ 202556794966796986820065489877*c_0101_6^22 - 124126445486820768169026770489249228/185915202556794966796986820065\ 489877*c_0101_6^20 - 985664043867783273946200349864602627/185915202\ 556794966796986820065489877*c_0101_6^18 - 1345744886361414793695276546461033771/18591520255679496679698682006\ 5489877*c_0101_6^16 + 14314093423168076296675999763670560910/185915\ 202556794966796986820065489877*c_0101_6^14 + 4140259507624271138510376512608840350/18591520255679496679698682006\ 5489877*c_0101_6^12 - 24597544625338061750711864555655368382/185915\ 202556794966796986820065489877*c_0101_6^10 - 20787978366178562194286017298000563678/1859152025567949667969868200\ 65489877*c_0101_6^8 - 108697803903448940633462153248660276/14301169\ 427445766676691293851191529*c_0101_6^6 + 1871461337969675852737816883748280175/18591520255679496679698682006\ 5489877*c_0101_6^4 + 354958372261746473262232052114516374/185915202\ 556794966796986820065489877*c_0101_6^2 + 28500984994130863892553079788933020/1859152025567949667969868200654\ 89877, c_0101_6^26 - 46*c_0101_6^24 + 289*c_0101_6^22 + 2199*c_0101_6^20 + 2771*c_0101_6^18 - 32851*c_0101_6^16 - 4747*c_0101_6^14 + 54535*c_0101_6^12 + 41499*c_0101_6^10 + 222*c_0101_6^8 - 5227*c_0101_6^6 - 1311*c_0101_6^4 + 118*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB