Magma V2.19-8 Tue Aug 20 2013 16:18:10 on localhost [Seed = 2210537145] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2383 geometric_solution 5.74947020 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445899278163 0.263169237453 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.890820098822 0.718497059548 1 4 3 5 0132 0132 3012 0132 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 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.087387976141 1.031497037751 5 2 4 1 1023 1230 0132 0132 0 0 0 0 0 0 -1 1 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 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.087387976141 1.031497037751 6 2 6 3 0132 0132 1023 0132 0 0 0 0 0 -1 0 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 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.621141896461 1.125923873888 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 0 1 -1 1 0 0 -1 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 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.107877415337 0.802975237599 4 6 4 6 0132 2310 1023 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.587289600672 0.228179512802 ==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_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 14647086289642774180759636873564327733632520107143845/7152322854603\ 66448978431585405780501471377862916*c_0101_4^39 + 613922039433812651467653604578896129589014495928699457/715232285460\ 366448978431585405780501471377862916*c_0101_4^37 - 9277561965605286756205479690434987828321801427827146825/71523228546\ 0366448978431585405780501471377862916*c_0101_4^35 + 21284737562443191347004203515413744926616236612799121712/1788080713\ 65091612244607896351445125367844465729*c_0101_4^33 - 288060672075391924664771593587937907202787460317956701505/357616142\ 730183224489215792702890250735688931458*c_0101_4^31 + 3020908234931798036125467873264569435052590373712739935843/71523228\ 5460366448978431585405780501471377862916*c_0101_4^29 - 11642729815853758651786903132339245601489909087135813238495/7152322\ 85460366448978431585405780501471377862916*c_0101_4^27 + 32954456626409597043121543409293929173504103181086994417951/7152322\ 85460366448978431585405780501471377862916*c_0101_4^25 - 17383371290657856530713305253875217696843774535998928822579/1788080\ 71365091612244607896351445125367844465729*c_0101_4^23 + 5795850245621816587135854749885875320403400730759625768339/37643804\ 497914023630443767652935815866914624364*c_0101_4^21 - 65815045337930680333840826802267898216424118207780584851747/3576161\ 42730183224489215792702890250735688931458*c_0101_4^19 + 59480726573668322356779229061949867819236413290746519786825/3576161\ 42730183224489215792702890250735688931458*c_0101_4^17 - 20282410219460515494042379082673340779154410341991398546693/1788080\ 71365091612244607896351445125367844465729*c_0101_4^15 + 41472630778635649401819873655590885742338371675561787842085/7152322\ 85460366448978431585405780501471377862916*c_0101_4^13 - 7828938294226464847302348164094983034188521629198823122407/35761614\ 2730183224489215792702890250735688931458*c_0101_4^11 + 2124217720599310255665644111641057709789777481541875068493/35761614\ 2730183224489215792702890250735688931458*c_0101_4^9 - 790525291415675053337760431376207691261620420028592652525/715232285\ 460366448978431585405780501471377862916*c_0101_4^7 + 93449988721025529992136057218893580316364788461864934059/7152322854\ 60366448978431585405780501471377862916*c_0101_4^5 - 1547190037100392719773396302567720911707777873816259367/17880807136\ 5091612244607896351445125367844465729*c_0101_4^3 + 42531912443273876270026499409044385928486279806697713/1788080713650\ 91612244607896351445125367844465729*c_0101_4, c_0011_0 - 1, c_0011_1 + 12032982293072688565523029310696624922266241141625/715232285\ 460366448978431585405780501471377862916*c_0101_4^38 - 504348464325210900929784113473325622390655727520461/715232285460366\ 448978431585405780501471377862916*c_0101_4^36 + 1905394884170278927728874633236477256538972489765596/17880807136509\ 1612244607896351445125367844465729*c_0101_4^34 - 69941877811122906646738102164021964554114977472910611/7152322854603\ 66448978431585405780501471377862916*c_0101_4^32 + 473287109557943392310490099167990966300816626662997381/715232285460\ 366448978431585405780501471377862916*c_0101_4^30 - 2481715176796202552194544937945614175562332229979149727/71523228546\ 0366448978431585405780501471377862916*c_0101_4^28 + 9564816857274875967806224383330537080026949394079784549/71523228546\ 0366448978431585405780501471377862916*c_0101_4^26 - 6768583273454604252255294620472635472870930271069676641/17880807136\ 5091612244607896351445125367844465729*c_0101_4^24 + 57132242159455773085044011825742122349706483513491722649/7152322854\ 60366448978431585405780501471377862916*c_0101_4^22 - 2381503825619360860163335904656075314065364990037408859/18821902248\ 957011815221883826467907933457312182*c_0101_4^20 + 54102658761620523144248090109459395488865638951737273783/3576161427\ 30183224489215792702890250735688931458*c_0101_4^18 - 97837541114388174184847807189309435839340869127858482845/7152322854\ 60366448978431585405780501471377862916*c_0101_4^16 + 33386113080146224218508587925759989501891648651144525177/3576161427\ 30183224489215792702890250735688931458*c_0101_4^14 - 34170570389480231738865860362787284378461241495877245403/7152322854\ 60366448978431585405780501471377862916*c_0101_4^12 + 6460947051123697692048459915553442171733422099856696811/35761614273\ 0183224489215792702890250735688931458*c_0101_4^10 - 3514662203141982881337417478118375816631896155236767677/71523228546\ 0366448978431585405780501471377862916*c_0101_4^8 + 656515451660044734505861954193958147124430235615708879/715232285460\ 366448978431585405780501471377862916*c_0101_4^6 - 78108382848171933172944792367269452328207971926326137/7152322854603\ 66448978431585405780501471377862916*c_0101_4^4 + 5229096248718395873205308535734957936977769594699071/71523228546036\ 6448978431585405780501471377862916*c_0101_4^2 - 146054272627216313579100105706043034235643329755673/715232285460366\ 448978431585405780501471377862916, c_0011_3 - 23024924631711911711803534496063880755868321541803/178808071\ 365091612244607896351445125367844465729*c_0101_4^39 + 1930285889300066075498772726342945802868998479448873/35761614273018\ 3224489215792702890250735688931458*c_0101_4^37 - 14587077314537891207466665042634633101743445764684467/1788080713650\ 91612244607896351445125367844465729*c_0101_4^35 + 133881311302290612882485269516317898171086092278430396/178808071365\ 091612244607896351445125367844465729*c_0101_4^33 - 1812124315068958317486973749254667686457235230813876401/35761614273\ 0183224489215792702890250735688931458*c_0101_4^31 + 4751597436926474914016373281934480532031010811181821067/17880807136\ 5091612244607896351445125367844465729*c_0101_4^29 - 36633638391267406761209023266842767286741111231202642743/3576161427\ 30183224489215792702890250735688931458*c_0101_4^27 + 51860625950269421095773434890497694818369768396906982629/1788080713\ 65091612244607896351445125367844465729*c_0101_4^25 - 109467126603696066650341348549805847978483902007965328219/178808071\ 365091612244607896351445125367844465729*c_0101_4^23 + 18258045085448595561173392077103025261105993223300434283/1882190224\ 8957011815221883826467907933457312182*c_0101_4^21 - 414930177142518592431761088477907406417827060269075249801/357616142\ 730183224489215792702890250735688931458*c_0101_4^19 + 375313062804281942334585198738975468111500208913657947627/357616142\ 730183224489215792702890250735688931458*c_0101_4^17 - 128119356495673572925575054115873549806277569679211961850/178808071\ 365091612244607896351445125367844465729*c_0101_4^15 + 65587006823056717206148846274023246622216293888085065441/1788080713\ 65091612244607896351445125367844465729*c_0101_4^13 - 49617372282850653486858226002352803571566551357062655847/3576161427\ 30183224489215792702890250735688931458*c_0101_4^11 + 13496447067258110423566185446091160701258071454253156729/3576161427\ 30183224489215792702890250735688931458*c_0101_4^9 - 1260006875404115117436397318571005934897367183662461084/17880807136\ 5091612244607896351445125367844465729*c_0101_4^7 + 299335887517266259186799376484093522363949130948656711/357616142730\ 183224489215792702890250735688931458*c_0101_4^5 - 9977403211389639283327699759904327357891385204568158/17880807136509\ 1612244607896351445125367844465729*c_0101_4^3 + 554704254355707096636317100444024429707711714258701/357616142730183\ 224489215792702890250735688931458*c_0101_4, c_0101_0 - 13317398849553591287208968981193140680823509555953/357616142\ 730183224489215792702890250735688931458*c_0101_4^38 + 279127237082479537083979873692029830485849492876125/178808071365091\ 612244607896351445125367844465729*c_0101_4^36 - 8438049985022519620535158181941835211200768583667213/35761614273018\ 3224489215792702890250735688931458*c_0101_4^34 + 38725277553175236052303344618220262642504478259881421/1788080713650\ 91612244607896351445125367844465729*c_0101_4^32 - 524189095220384969942975244911304268231416120708397671/357616142730\ 183224489215792702890250735688931458*c_0101_4^30 + 2749137298829588928152385949144881390151384984523638449/35761614273\ 0183224489215792702890250735688931458*c_0101_4^28 - 5299301746612435421367267783944829009462851268424830957/17880807136\ 5091612244607896351445125367844465729*c_0101_4^26 + 30011329376741307259162091878833502213603254217423956819/3576161427\ 30183224489215792702890250735688931458*c_0101_4^24 - 31677602831766623066611533509721791675041484079907303235/1788080713\ 65091612244607896351445125367844465729*c_0101_4^22 + 2642066281475465727176996553852818081856552889742159426/94109511244\ 78505907610941913233953966728656091*c_0101_4^20 - 120098062279119005232123147148984217420022726714176310139/357616142\ 730183224489215792702890250735688931458*c_0101_4^18 + 108636380489400491159457302280967250968982625917981574043/357616142\ 730183224489215792702890250735688931458*c_0101_4^16 - 37083207012006879698241186599942570062177031363341980351/1788080713\ 65091612244607896351445125367844465729*c_0101_4^14 + 37959939255020922115216466790282869753269686651385291385/3576161427\ 30183224489215792702890250735688931458*c_0101_4^12 - 14352417492416039873560509615315203306194045723524858949/3576161427\ 30183224489215792702890250735688931458*c_0101_4^10 + 3900936351138004320270939925940625383804089438156852043/35761614273\ 0183224489215792702890250735688931458*c_0101_4^8 - 727398413051205134777576478937459447327809013755557089/357616142730\ 183224489215792702890250735688931458*c_0101_4^6 + 43108954836975077115955209195333476511128340936663553/1788080713650\ 91612244607896351445125367844465729*c_0101_4^4 - 2865247173469680567561605163012228441549258106394262/17880807136509\ 1612244607896351445125367844465729*c_0101_4^2 + 158603553666155327507538960398019880683918430875039/357616142730183\ 224489215792702890250735688931458, c_0101_1 - 9876951783118800459875166151463755060412202575807/7152322854\ 60366448978431585405780501471377862916*c_0101_4^38 + 413902726676697843032923849792915279382968920077077/715232285460366\ 448978431585405780501471377862916*c_0101_4^36 - 1563180579981996921094674446709836778296589804189820/17880807136509\ 1612244607896351445125367844465729*c_0101_4^34 + 57361670006460883475107629153692442176940509803428829/7152322854603\ 66448978431585405780501471377862916*c_0101_4^32 - 388049628637904466225502805161084845997294674911051093/715232285460\ 366448978431585405780501471377862916*c_0101_4^30 + 2034146222610324023503969075767711204324791915073918481/71523228546\ 0366448978431585405780501471377862916*c_0101_4^28 - 7836046191803872902950465634624170619218789844248283297/71523228546\ 0366448978431585405780501471377862916*c_0101_4^26 + 5541754066964372156682955698940935877966632529112559054/17880807136\ 5091612244607896351445125367844465729*c_0101_4^24 - 46741773932732988998191699910624968964302456778974204451/7152322854\ 60366448978431585405780501471377862916*c_0101_4^22 + 973310311664176907802676577196583764601535500228004717/941095112447\ 8505907610941913233953966728656091*c_0101_4^20 - 22087923830279524515843961844735463183475712093044732127/1788080713\ 65091612244607896351445125367844465729*c_0101_4^18 + 79787066752676436132729555752448614762745837892825761973/7152322854\ 60366448978431585405780501471377862916*c_0101_4^16 - 27188000880753787835811275627143269049960098265964461015/3576161427\ 30183224489215792702890250735688931458*c_0101_4^14 + 27782627762249781667096562387985284250517927179719390861/7152322854\ 60366448978431585405780501471377862916*c_0101_4^12 - 2621939880280490124644719548027211544007689987385870523/17880807136\ 5091612244607896351445125367844465729*c_0101_4^10 + 2847169825461776267926227311586732828653599020764886633/71523228546\ 0366448978431585405780501471377862916*c_0101_4^8 - 530802360649476234670154418966047156860992084155390745/715232285460\ 366448978431585405780501471377862916*c_0101_4^6 + 63053292026743799149945079769213789512934370736848389/7152322854603\ 66448978431585405780501471377862916*c_0101_4^4 - 4221088606521824204312210388375336790594993948294033/71523228546036\ 6448978431585405780501471377862916*c_0101_4^2 + 118607060339223232101617649279380347982672276783397/715232285460366\ 448978431585405780501471377862916, c_0101_3 + 7040611143363361981615222003017116688610607708798/1788080713\ 65091612244607896351445125367844465729*c_0101_4^39 - 590333320787545462402854716673821366912364028256123/357616142730183\ 224489215792702890250735688931458*c_0101_4^37 + 4462257863910333317814681350001800744893035408643480/17880807136509\ 1612244607896351445125367844465729*c_0101_4^35 - 40965051273924562739502307305174783133836052741942090/1788080713650\ 91612244607896351445125367844465729*c_0101_4^33 + 554593142222567857317579809143190822692888218678942981/357616142730\ 183224489215792702890250735688931458*c_0101_4^31 - 1454543537641818207064936012770721470190675099980250188/17880807136\ 5091612244607896351445125367844465729*c_0101_4^29 + 11218278803766315186800653337558321735110136181715871673/3576161427\ 30183224489215792702890250735688931458*c_0101_4^27 - 15888655065674002006730288053239389597782898452914477285/1788080713\ 65091612244607896351445125367844465729*c_0101_4^25 + 33556303339902956813834294407627933957489938326457043299/1788080713\ 65091612244607896351445125367844465729*c_0101_4^23 - 5600561101508973022886907030800839710637587874260873507/18821902248\ 957011815221883826467907933457312182*c_0101_4^21 + 127374423858698594008528020867801432682899245053361869773/357616142\ 730183224489215792702890250735688931458*c_0101_4^19 - 115311509510974575182791586417459972363924389052373926491/357616142\ 730183224489215792702890250735688931458*c_0101_4^17 + 39400313806343400232244903758804826075334266036316446400/1788080713\ 65091612244607896351445125367844465729*c_0101_4^15 - 20189743668709386667560524503053601031403309385025525157/1788080713\ 65091612244607896351445125367844465729*c_0101_4^13 + 15289111466053706471871447967139564838135796305134670309/3576161427\ 30183224489215792702890250735688931458*c_0101_4^11 - 4162790415081807987908839387002414086149718216146354399/35761614273\ 0183224489215792702890250735688931458*c_0101_4^9 + 388940911681625594923834544173272512871101531345379051/178808071365\ 091612244607896351445125367844465729*c_0101_4^7 - 92431173872738061948651568884590030552276487895089621/3576161427301\ 83224489215792702890250735688931458*c_0101_4^5 + 3079701325992154340380067637418721717511110395582219/17880807136509\ 1612244607896351445125367844465729*c_0101_4^3 - 171537232521866732564023022817129738664494827910631/357616142730183\ 224489215792702890250735688931458*c_0101_4, c_0101_4^40 - 42*c_0101_4^38 + 637*c_0101_4^36 - 5867*c_0101_4^34 + 39832*c_0101_4^32 - 209620*c_0101_4^30 + 812576*c_0101_4^28 - 2318101*c_0101_4^26 + 4940357*c_0101_4^24 - 7925867*c_0101_4^22 + 9632488*c_0101_4^20 - 8893995*c_0101_4^18 + 6237091*c_0101_4^16 - 3307781*c_0101_4^14 + 1312605*c_0101_4^12 - 382059*c_0101_4^10 + 78944*c_0101_4^8 - 11028*c_0101_4^6 + 972*c_0101_4^4 - 48*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB