Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 4155927319] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0665 geometric_solution 4.64135993 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 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.659703193211 0.136965933958 0 2 2 0 3201 0132 1023 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 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.563685837624 0.484241001875 3 1 1 3 0132 0132 1023 3201 0 0 0 0 0 0 0 0 1 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 -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.020802201431 0.555280004953 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.595666383673 0.414616807203 5 5 3 6 1302 1023 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -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.226868211069 0.769530631233 4 4 6 3 1023 2031 0132 0132 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 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.226868211069 0.769530631233 6 6 4 5 1302 2031 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.812568205135 1.980511346734 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_1100_3'], 'c_1100_5' : d['c_1100_3'], 'c_1100_4' : d['c_1100_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_1100_3'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), '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' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : negation(d['c_0011_0']), '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_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(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_3, c_1100_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 239779102476736973306308155614871192384036015631506735/863100745963\ 879184934913522623336490907588273846647907*c_1100_3^18 - 1552011248572335813638508044433758845535772321612857686/86310074596\ 3879184934913522623336490907588273846647907*c_1100_3^17 - 3262468849137195411705638567286112314852892086376660819/86310074596\ 3879184934913522623336490907588273846647907*c_1100_3^16 - 3840372926278149946804285759291858983898601175542380721/86310074596\ 3879184934913522623336490907588273846647907*c_1100_3^15 + 50765673324649800024862622545314615772770855604079517527/8631007459\ 63879184934913522623336490907588273846647907*c_1100_3^14 - 84670931330011857744183993479778485837650220522494786985/8631007459\ 63879184934913522623336490907588273846647907*c_1100_3^13 + 364837775435324875200983739918679073748799018827195704477/863100745\ 963879184934913522623336490907588273846647907*c_1100_3^12 + 3542644745234405962033274420402934863996942931713823805706/86310074\ 5963879184934913522623336490907588273846647907*c_1100_3^11 - 16848260517022944530876319315377983350650578560923821939934/8631007\ 45963879184934913522623336490907588273846647907*c_1100_3^10 + 24527662795545067923657100046343159585378529966196780171735/8631007\ 45963879184934913522623336490907588273846647907*c_1100_3^9 - 19269610561026292568705565015822725648783447702326196312378/8631007\ 45963879184934913522623336490907588273846647907*c_1100_3^8 + 8682240911652952307753205882035651724376778632258535285606/86310074\ 5963879184934913522623336490907588273846647907*c_1100_3^7 + 8775544156651146955478445197513431752127919521493418621197/86310074\ 5963879184934913522623336490907588273846647907*c_1100_3^6 - 15114563629108190349203883884729013990671108901604937586058/8631007\ 45963879184934913522623336490907588273846647907*c_1100_3^5 + 6593583838430313847602086433846838405862238274552357736036/86310074\ 5963879184934913522623336490907588273846647907*c_1100_3^4 - 428466873185175381568347507489616594109593848524449465311/863100745\ 963879184934913522623336490907588273846647907*c_1100_3^3 - 1440593898619265638387289705538120519368692479263000557763/86310074\ 5963879184934913522623336490907588273846647907*c_1100_3^2 + 680405212218667769902755321552347288920559521718341238066/863100745\ 963879184934913522623336490907588273846647907*c_1100_3 - 34776180582516486305132985154609966003032511243324875603/8631007459\ 63879184934913522623336490907588273846647907, c_0011_0 - 1, c_0011_1 - 1082548085546689110635293544557783516792544924152/4337189678\ 210448165502078003132344175415016451490693*c_1100_3^18 - 6335981112638848709400196295933742499040229224316/43371896782104481\ 65502078003132344175415016451490693*c_1100_3^17 - 9260816953181482027103647178320685991699831709294/43371896782104481\ 65502078003132344175415016451490693*c_1100_3^16 + 4792543679888323254913536183304772839407315862/43371896782104481655\ 02078003132344175415016451490693*c_1100_3^15 + 261607142686765878815012879771988391261751167573906/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^14 - 491156494806643185104984815491471844720769712716396/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^13 + 1667640419394286871114334320393870388076592953275091/43371896782104\ 48165502078003132344175415016451490693*c_1100_3^12 + 15185426758589208189551180520937528004891024937890241/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^11 - 87424388330144201602637064063490106041923097578919615/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^10 + 139905395871928614323205498125023128940522934456697688/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^9 - 90722540716064114236703044627275816354384886552258549/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^8 + 37887074627503381653700446324931260013077224340612832/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^7 + 29254497361794991844303998487960819979470678276159049/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^6 - 74083735436035196472793565885906371983385992660179302/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^5 + 1076461904325783644464159183340378948041316042948422/43371896782104\ 48165502078003132344175415016451490693*c_1100_3^4 + 23328342654975110642262608429935182937549617576904732/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^3 + 807621667944429830981898184729173512832040817862312/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^2 - 1822166858924413244910750268985564319149852268989664/43371896782104\ 48165502078003132344175415016451490693*c_1100_3 + 3680797546168445779426618371738361041210177784110390/43371896782104\ 48165502078003132344175415016451490693, c_0011_4 + 12092394887824004812449422176948708324452971110979/433718967\ 8210448165502078003132344175415016451490693*c_1100_3^18 + 79905973700993484974625179102480423081528418887250/4337189678210448\ 165502078003132344175415016451490693*c_1100_3^17 + 174206213331926932213662428491923671859180043628826/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^16 + 208850092447680888021848646606127592807737541453840/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^15 - 2554988932409567830566475531874372637430345550396308/43371896782104\ 48165502078003132344175415016451490693*c_1100_3^14 + 3885655496777480435398318272243713588477800616256306/43371896782104\ 48165502078003132344175415016451490693*c_1100_3^13 - 17668416055736646319221875398306536311777789274540183/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^12 - 181260891983812593000696552971873716955805850745612825/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^11 + 826661909358021408349529181830470263785529845143802009/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^10 - 1106890383821542632475585811009416212926573695630980981/43371896782\ 10448165502078003132344175415016451490693*c_1100_3^9 + 758924093277536813769057256373230111969665758200342506/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^8 - 279221417215297262429119100066888650403663608314317315/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^7 - 507623514603109227173044765802773704006569552508409395/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^6 + 681325117887769003671501933953739020531593655265309366/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^5 - 173014360883631553562714482962647215283991458762322837/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^4 - 47946753676564512935960407741738357247899174038201929/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^3 + 75854159050801089484208061080574660365392545929287145/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^2 - 18848771850938456852500773575683569325266548686699270/4337189678210\ 448165502078003132344175415016451490693*c_1100_3 - 7782421090069469574108204638809114330354526901731013/43371896782104\ 48165502078003132344175415016451490693, c_0011_6 + 181648279605428164870940872236262393086838722991/43371896782\ 10448165502078003132344175415016451490693*c_1100_3^18 - 1147043940487566543864376168885086061562781434885/43371896782104481\ 65502078003132344175415016451490693*c_1100_3^17 - 14135572632834792849560995850221521879334790658740/4337189678210448\ 165502078003132344175415016451490693*c_1100_3^16 - 39748910449320198917628354486927983870645746737215/4337189678210448\ 165502078003132344175415016451490693*c_1100_3^15 - 103645765416540866878743708632809652461148717762986/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^14 + 512018698337241855791362793537640695229512824781280/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^13 - 796637801049555502700124186768779015979583056463876/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^12 + 447927365608399738084682921425685473932746516881639/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^11 + 49328965782439376752026571696081111798208707014079866/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^10 - 157400421275970207382859217595641805384831542098694748/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^9 + 155935662158108794616455625853800795537530691812536069/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^8 - 79254757129834996431645213971291766800411686634357125/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^7 - 10008220267971302029950489704249895464382056924748218/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^6 + 131743159359646357409892569344104195240020721272922888/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^5 - 101483863430457379258881438614901919580247666171489189/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^4 + 13596068090457395725350007211476481925019650364402182/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^3 + 10887654409891882366168860349500892405261345090533132/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^2 - 8611220998178685376925961770681361513868392971324300/43371896782104\ 48165502078003132344175415016451490693*c_1100_3 + 79878648930703190276831463753506998240233879810636/4337189678210448\ 165502078003132344175415016451490693, c_0101_0 - 4702731898624437152873494831334306920065376161098/4337189678\ 210448165502078003132344175415016451490693*c_1100_3^18 - 30608731229669855452436050379478654641379700128766/4337189678210448\ 165502078003132344175415016451490693*c_1100_3^17 - 64253202490592111905615063258551778338620636658292/4337189678210448\ 165502078003132344175415016451490693*c_1100_3^16 - 71324325131465902340481627684402784116601174559262/4337189678210448\ 165502078003132344175415016451490693*c_1100_3^15 + 1011643824003351462200909503476795825709358232988814/43371896782104\ 48165502078003132344175415016451490693*c_1100_3^14 - 1588286956773945403016357230261320405394743531200251/43371896782104\ 48165502078003132344175415016451490693*c_1100_3^13 + 6965125423262177375765687423020845330668060483334376/43371896782104\ 48165502078003132344175415016451490693*c_1100_3^12 + 69889980552338493060256020075014405464508206327117873/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^11 - 329105636693609114941870062789570936922697396760135857/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^10 + 455705229942104279493475050077411817845950672313677559/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^9 - 317851233071840051942370671516165386995964564047887210/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^8 + 114623943132021810747605782191222709109672485862587315/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^7 + 222890187910399291659087747810714782227933020441393031/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^6 - 306725311831934232794581562627353052981031602936950687/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^5 + 94316909856889676458918789462591241167428289161884174/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^4 + 8069600798168831233504006211562143779855269197842364/43371896782104\ 48165502078003132344175415016451490693*c_1100_3^3 - 40243587902532906840893773445852224169329970849593646/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^2 + 12165090733736405194187024710193367936628499038897502/4337189678210\ 448165502078003132344175415016451490693*c_1100_3 + 4402283063425960287058407076389997905424784557766031/43371896782104\ 48165502078003132344175415016451490693, c_0101_3 + 78757574509064282276666638733228032846783348377/433718967821\ 0448165502078003132344175415016451490693*c_1100_3^18 - 521558923431020738251244713306768195692587361180/433718967821044816\ 5502078003132344175415016451490693*c_1100_3^17 - 6128268403069951242013467973593697977767516782440/43371896782104481\ 65502078003132344175415016451490693*c_1100_3^16 - 16502771721449422688658812493761844444403104025722/4337189678210448\ 165502078003132344175415016451490693*c_1100_3^15 - 42496998457654933732747589906374304363938996002685/4337189678210448\ 165502078003132344175415016451490693*c_1100_3^14 + 233258186904496614014347114014120935748955790344421/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^13 - 378120740328423350585179280229046300251572439505501/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^12 + 293056198363961677681468438052592990465197588282434/433718967821044\ 8165502078003132344175415016451490693*c_1100_3^11 + 21449582814388088316254752476082422727509318109068196/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^10 - 72249780373097358342811395284453639560638566296887816/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^9 + 79911638094338859511384518004867200007110781974509451/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^8 - 55984931184648145631187424564667690263968026717665975/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^7 + 27855715042722175315721160990245768029080426989689573/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^6 + 29831853152973218418549882261529563969864782218585926/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^5 - 24555951264803162866868235047170248385600779388712583/4337189678210\ 448165502078003132344175415016451490693*c_1100_3^4 - 4240206490832360869207401014968273568976450334033091/43371896782104\ 48165502078003132344175415016451490693*c_1100_3^3 + 3845519192527227844990342257141825110551565620190035/43371896782104\ 48165502078003132344175415016451490693*c_1100_3^2 - 2066380945998164857207115099679143742631081966127549/43371896782104\ 48165502078003132344175415016451490693*c_1100_3 - 2421321906965504688213133714751228606885378069376451/43371896782104\ 48165502078003132344175415016451490693, c_1100_3^19 + 7*c_1100_3^18 + 17*c_1100_3^17 + 23*c_1100_3^16 - 204*c_1100_3^15 + 240*c_1100_3^14 - 1333*c_1100_3^13 - 15571*c_1100_3^12 + 62488*c_1100_3^11 - 64862*c_1100_3^10 + 26086*c_1100_3^9 + 4116*c_1100_3^8 - 52759*c_1100_3^7 + 41587*c_1100_3^6 + 7163*c_1100_3^5 - 11080*c_1100_3^4 + 4896*c_1100_3^3 + 754*c_1100_3^2 - 1261*c_1100_3 - 199 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB