Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 4273955386] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0429 geometric_solution 4.48434074 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.710438277552 0.045581832000 0 0 2 2 2310 0132 2310 0132 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 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 1.956985423094 0.252159006213 3 1 1 3 0132 3201 0132 1023 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 0 -1 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 1.442628626712 0.423625003516 2 4 5 2 0132 0132 0132 1023 0 0 0 0 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 0 1 -1 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.104114259437 0.576911575263 5 3 6 5 2310 0132 0132 2031 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.137554962181 0.795871069761 6 4 4 3 2310 1302 3201 0132 0 0 0 0 0 1 -1 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 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 0.137554962181 0.795871069761 6 6 5 4 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 -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.795706016776 0.846140073974 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_0']), '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' : d['c_0011_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 8143133733872953906132524010309326563193687284/75882415202521241813\ 354521974213138320591005*c_0101_3^22 - 9802446451645289645368199127000196253606002982/75882415202521241813\ 354521974213138320591005*c_0101_3^21 - 279449770468309307625076751690669378424010951129/758824152025212418\ 13354521974213138320591005*c_0101_3^20 - 54043186929426399012637535262611131037272218059/7588241520252124181\ 3354521974213138320591005*c_0101_3^19 + 2722135232163749505513068782384790615819779777661/75882415202521241\ 813354521974213138320591005*c_0101_3^18 + 1782813984256023618452360988155472668570354899181/75882415202521241\ 813354521974213138320591005*c_0101_3^17 - 11752425017730526826909135700253413347264029477163/7588241520252124\ 1813354521974213138320591005*c_0101_3^16 - 8814083676466921319851746224905958092666625241241/75882415202521241\ 813354521974213138320591005*c_0101_3^15 + 26976317442212036950057152348576827535147249158074/7588241520252124\ 1813354521974213138320591005*c_0101_3^14 + 14062591173844587136935021909409676877257919764342/7588241520252124\ 1813354521974213138320591005*c_0101_3^13 - 7176650215143959402445850462200516388468399978499/15176483040504248\ 362670904394842627664118201*c_0101_3^12 + 3632732121584711998035871289695723119931646314371/75882415202521241\ 813354521974213138320591005*c_0101_3^11 + 23443786984050275079735660187449464254203814831276/7588241520252124\ 1813354521974213138320591005*c_0101_3^10 - 36180597598258125131679426006430632596556630830818/7588241520252124\ 1813354521974213138320591005*c_0101_3^9 + 4795733764438570051621360773413908596927466333229/75882415202521241\ 813354521974213138320591005*c_0101_3^8 + 8035529811409601362067389966643170976807562191427/15176483040504248\ 362670904394842627664118201*c_0101_3^7 - 18947696866461269397676039888229017073635122886281/7588241520252124\ 1813354521974213138320591005*c_0101_3^6 - 15579211679400350089442890000359187634282328561467/7588241520252124\ 1813354521974213138320591005*c_0101_3^5 + 10056993483414054425276634852149043080531507117123/7588241520252124\ 1813354521974213138320591005*c_0101_3^4 + 1028762356770260444366885173538039488545601430829/75882415202521241\ 813354521974213138320591005*c_0101_3^3 - 1301021477909472250373108508144167576937610050962/75882415202521241\ 813354521974213138320591005*c_0101_3^2 + 6223429505987714766116257340228045835058075720/15176483040504248362\ 670904394842627664118201*c_0101_3 + 83569214737208913017831426853173629952996063883/7588241520252124181\ 3354521974213138320591005, c_0011_0 - 1, c_0011_2 - 604492833091654141094052010021860903698056/15176483040504248\ 362670904394842627664118201*c_0101_3^22 - 293147655070907650267601245226660540109712/151764830405042483626709\ 04394842627664118201*c_0101_3^21 + 20708692761539772103372151051365308635566160/1517648304050424836267\ 0904394842627664118201*c_0101_3^20 + 39274266625674362016222435556359810623235067/1517648304050424836267\ 0904394842627664118201*c_0101_3^19 - 151815351857183210520327946238216955766139592/151764830405042483626\ 70904394842627664118201*c_0101_3^18 - 420450047834880320250090229490622294468629530/151764830405042483626\ 70904394842627664118201*c_0101_3^17 + 285257261165396555177643249549640151004725233/151764830405042483626\ 70904394842627664118201*c_0101_3^16 + 1475498778355635075006316652734362548836336772/15176483040504248362\ 670904394842627664118201*c_0101_3^15 + 216160365855199312866428911534542728013808546/151764830405042483626\ 70904394842627664118201*c_0101_3^14 - 1908815583572048701554179789730591175071735641/15176483040504248362\ 670904394842627664118201*c_0101_3^13 - 524241228736214127550917026580958718349218463/151764830405042483626\ 70904394842627664118201*c_0101_3^12 + 574570766037747011760741671233082043559804456/151764830405042483626\ 70904394842627664118201*c_0101_3^11 - 768506911679197919229917072783395908151637583/151764830405042483626\ 70904394842627664118201*c_0101_3^10 + 735460412823157323535253558815266105261465198/151764830405042483626\ 70904394842627664118201*c_0101_3^9 + 1924943855161583097139436847280781649724967918/15176483040504248362\ 670904394842627664118201*c_0101_3^8 - 583354159750783789883108348005595454854099162/151764830405042483626\ 70904394842627664118201*c_0101_3^7 - 1211001377951377548043823276441558028310193408/15176483040504248362\ 670904394842627664118201*c_0101_3^6 + 133000382045070661481929232047253956216494107/151764830405042483626\ 70904394842627664118201*c_0101_3^5 + 246883353175712179267573879829108406567557049/151764830405042483626\ 70904394842627664118201*c_0101_3^4 - 28710156621691465296534883616447539706211939/1517648304050424836267\ 0904394842627664118201*c_0101_3^3 - 48155190100451941223176823304155091411632560/1517648304050424836267\ 0904394842627664118201*c_0101_3^2 + 1804955839242737053796905574121656202880614/15176483040504248362670\ 904394842627664118201*c_0101_3 + 8925062158563269511730533722351718\ 624975307/15176483040504248362670904394842627664118201, c_0011_5 + 418828867365993345877949588383116159038372/15176483040504248\ 362670904394842627664118201*c_0101_3^22 - 496043883576222105419421486424047738119374/151764830405042483626709\ 04394842627664118201*c_0101_3^21 - 14795689393642286075164547277513339128661789/1517648304050424836267\ 0904394842627664118201*c_0101_3^20 - 3119948400557388612878042832333756265178595/15176483040504248362670\ 904394842627664118201*c_0101_3^19 + 154235085129277844562840360834588467406477735/151764830405042483626\ 70904394842627664118201*c_0101_3^18 + 116270116744958360258868084605630288214223289/151764830405042483626\ 70904394842627664118201*c_0101_3^17 - 717433516596148299104968016593665819911828306/151764830405042483626\ 70904394842627664118201*c_0101_3^16 - 713992493937496680675906070078402718678914684/151764830405042483626\ 70904394842627664118201*c_0101_3^15 + 1688298142151217369449256358243589233721014101/15176483040504248362\ 670904394842627664118201*c_0101_3^14 + 1672885453648406131674431028222574278210432813/15176483040504248362\ 670904394842627664118201*c_0101_3^13 - 2096885578208406128454816784799694406526025572/15176483040504248362\ 670904394842627664118201*c_0101_3^12 - 1133640243998878368809526836365897525036031972/15176483040504248362\ 670904394842627664118201*c_0101_3^11 + 1430227037890410783742082784446255048736514456/15176483040504248362\ 670904394842627664118201*c_0101_3^10 - 1496890979560696671450058309586489669850478305/15176483040504248362\ 670904394842627664118201*c_0101_3^9 - 508723669008683326582200197804397145315320460/151764830405042483626\ 70904394842627664118201*c_0101_3^8 + 2984845687005040169638732579500688077793835898/15176483040504248362\ 670904394842627664118201*c_0101_3^7 + 31313302236957490876607260755254168251405763/1517648304050424836267\ 0904394842627664118201*c_0101_3^6 - 1735178081044815928673407485052774561405278579/15176483040504248362\ 670904394842627664118201*c_0101_3^5 + 64814958642414657156761311043666713392076449/1517648304050424836267\ 0904394842627664118201*c_0101_3^4 + 342076151340955684387897357001142715785712038/151764830405042483626\ 70904394842627664118201*c_0101_3^3 - 28164626169485592772843584812118351333530276/1517648304050424836267\ 0904394842627664118201*c_0101_3^2 - 24102789271311225004032775074154394351788349/1517648304050424836267\ 0904394842627664118201*c_0101_3 + 195243314695729028226757823449933\ 2346562478/15176483040504248362670904394842627664118201, c_0011_6 - 2194516293114262881316213706786479170358640/1517648304050424\ 8362670904394842627664118201*c_0101_3^22 + 2637958035925278553835731658998876163990880/15176483040504248362670\ 904394842627664118201*c_0101_3^21 + 75507487022800135862408639120160859227196964/1517648304050424836267\ 0904394842627664118201*c_0101_3^20 + 14865550214031350459536023632108946392006544/1517648304050424836267\ 0904394842627664118201*c_0101_3^19 - 740383308841894325376408751274662963195992791/151764830405042483626\ 70904394842627664118201*c_0101_3^18 - 496861174455803451305907195602374123393412194/151764830405042483626\ 70904394842627664118201*c_0101_3^17 + 3217391331571179680846109106780886058851651575/15176483040504248362\ 670904394842627664118201*c_0101_3^16 + 2542074207536161429747116455902772613154182995/15176483040504248362\ 670904394842627664118201*c_0101_3^15 - 7363550229347655339135042536699125727757410959/15176483040504248362\ 670904394842627664118201*c_0101_3^14 - 4399385202196273524296458270401806230726140577/15176483040504248362\ 670904394842627664118201*c_0101_3^13 + 9583439883893843189985684370308043169678859370/15176483040504248362\ 670904394842627664118201*c_0101_3^12 - 82162714409078827310397434548646173606998803/1517648304050424836267\ 0904394842627664118201*c_0101_3^11 - 6141604440027373226198864824294272092433201832/15176483040504248362\ 670904394842627664118201*c_0101_3^10 + 9342643879659452113915957558932066584435048210/15176483040504248362\ 670904394842627664118201*c_0101_3^9 - 844687903754512955403620321720797338972606871/151764830405042483626\ 70904394842627664118201*c_0101_3^8 - 11132170566650013541033734562782238173588977290/1517648304050424836\ 2670904394842627664118201*c_0101_3^7 + 4152856865263092684622888910140284156015141236/15176483040504248362\ 670904394842627664118201*c_0101_3^6 + 4629464492489408575196326917470778128169508493/15176483040504248362\ 670904394842627664118201*c_0101_3^5 - 2209111592644482638252918555589066663362615512/15176483040504248362\ 670904394842627664118201*c_0101_3^4 - 452107041328063980267807365003070735270153682/151764830405042483626\ 70904394842627664118201*c_0101_3^3 + 316557613535122702686320560147858247652645914/151764830405042483626\ 70904394842627664118201*c_0101_3^2 + 14282700233711044402938421648942861246775122/1517648304050424836267\ 0904394842627664118201*c_0101_3 - 179087646308306739535296124647679\ 18998768073/15176483040504248362670904394842627664118201, c_0101_0 - 315427043896443448736766854062811040808356/15176483040504248\ 362670904394842627664118201*c_0101_3^22 + 280502374456086729341986032707985684914290/151764830405042483626709\ 04394842627664118201*c_0101_3^21 + 11529526543356934569099018314960914694129279/1517648304050424836267\ 0904394842627664118201*c_0101_3^20 + 5266215449634351296745088481803264903161658/15176483040504248362670\ 904394842627664118201*c_0101_3^19 - 124528128129187157622567439695646158441335504/151764830405042483626\ 70904394842627664118201*c_0101_3^18 - 122824945538197083342433546626526564528142761/151764830405042483626\ 70904394842627664118201*c_0101_3^17 + 594863190081088963568605763505684586805157642/151764830405042483626\ 70904394842627664118201*c_0101_3^16 + 742522831475493880335395033394311444764726008/151764830405042483626\ 70904394842627664118201*c_0101_3^15 - 1412808198144382726593517764520560371226337566/15176483040504248362\ 670904394842627664118201*c_0101_3^14 - 1808478612488555461600964324955956844999405702/15176483040504248362\ 670904394842627664118201*c_0101_3^13 + 1777765671984517906304401907377415489205330940/15176483040504248362\ 670904394842627664118201*c_0101_3^12 + 1401973166884632089589589541485305860724929955/15176483040504248362\ 670904394842627664118201*c_0101_3^11 - 1430184282415884624649544700359707434095367188/15176483040504248362\ 670904394842627664118201*c_0101_3^10 + 1262234456583129221832882746759642261456196197/15176483040504248362\ 670904394842627664118201*c_0101_3^9 + 871470119260896010969155459825644754156676928/151764830405042483626\ 70904394842627664118201*c_0101_3^8 - 2885799131911855923711304821437310119952342216/15176483040504248362\ 670904394842627664118201*c_0101_3^7 - 288659680746246184621227346537945139001107406/151764830405042483626\ 70904394842627664118201*c_0101_3^6 + 1670851302251416150041811202257233421043568370/15176483040504248362\ 670904394842627664118201*c_0101_3^5 - 21705312434062914934498750838017543986175362/1517648304050424836267\ 0904394842627664118201*c_0101_3^4 - 322699538837259020640335567827350723866574448/151764830405042483626\ 70904394842627664118201*c_0101_3^3 + 23061705600496613529886798107655492852126723/1517648304050424836267\ 0904394842627664118201*c_0101_3^2 + 50871549689684670042373356437147226953137911/1517648304050424836267\ 0904394842627664118201*c_0101_3 - 169367501806785606275910741437612\ 3975952413/15176483040504248362670904394842627664118201, c_0101_1 - 1487134726569822481443705092818271294615604/1517648304050424\ 8362670904394842627664118201*c_0101_3^22 + 1018264840757153001235525294655849690007694/15176483040504248362670\ 904394842627664118201*c_0101_3^21 + 51609547710442037739884554146752945468437085/1517648304050424836267\ 0904394842627664118201*c_0101_3^20 + 36882441147286256361735444165854109509169665/1517648304050424836267\ 0904394842627664118201*c_0101_3^19 - 479852697889804921745304229738471715267705851/151764830405042483626\ 70904394842627664118201*c_0101_3^18 - 584303257322314461788086166868857973225271317/151764830405042483626\ 70904394842627664118201*c_0101_3^17 + 1853970816485769223335622715864977788053220781/15176483040504248362\ 670904394842627664118201*c_0101_3^16 + 2662551954235391511023053863912635861253824871/15176483040504248362\ 670904394842627664118201*c_0101_3^15 - 3534898825298275440259376150661086762705409007/15176483040504248362\ 670904394842627664118201*c_0101_3^14 - 4729477927199831752999875894507742695695148232/15176483040504248362\ 670904394842627664118201*c_0101_3^13 + 3973964919411405067756697268123037128262902205/15176483040504248362\ 670904394842627664118201*c_0101_3^12 + 1938986556638018304847511953667677892543697454/15176483040504248362\ 670904394842627664118201*c_0101_3^11 - 3254716990162865028653658183182854559653848393/15176483040504248362\ 670904394842627664118201*c_0101_3^10 + 4479169929676897549114744345771642368146273056/15176483040504248362\ 670904394842627664118201*c_0101_3^9 + 1979820563485676029473903229929790838183099946/15176483040504248362\ 670904394842627664118201*c_0101_3^8 - 6343153980478866730561347526931124684753654977/15176483040504248362\ 670904394842627664118201*c_0101_3^7 - 589486668906162959106487774969631527155633224/151764830405042483626\ 70904394842627664118201*c_0101_3^6 + 3009563570836897158571808815506031992133927383/15176483040504248362\ 670904394842627664118201*c_0101_3^5 - 37704623454899469293062813541722566369192407/1517648304050424836267\ 0904394842627664118201*c_0101_3^4 - 561531706917043993487371757240288311358772259/151764830405042483626\ 70904394842627664118201*c_0101_3^3 + 36586490290214770193964968473812215222132831/1517648304050424836267\ 0904394842627664118201*c_0101_3^2 + 76792046244464673570277631638115402312626560/1517648304050424836267\ 0904394842627664118201*c_0101_3 - 260912983774997082615222907501355\ 4484538114/15176483040504248362670904394842627664118201, c_0101_3^23 - 1/2*c_0101_3^22 - 139/4*c_0101_3^21 - 31*c_0101_3^20 + 1261/4*c_0101_3^19 + 883/2*c_0101_3^18 - 2319/2*c_0101_3^17 - 7671/4*c_0101_3^16 + 4157/2*c_0101_3^15 + 13137/4*c_0101_3^14 - 9425/4*c_0101_3^13 - 5469/4*c_0101_3^12 + 9041/4*c_0101_3^11 - 5739/2*c_0101_3^10 - 6641/4*c_0101_3^9 + 8225/2*c_0101_3^8 + 2159/4*c_0101_3^7 - 7727/4*c_0101_3^6 + 153/4*c_0101_3^5 + 627/2*c_0101_3^4 - 117/4*c_0101_3^3 - 30*c_0101_3^2 + 2*c_0101_3 + 5/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB