Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 1511769791] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2027 geometric_solution 5.56719783 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 1 0 -1 0 0 1 -1 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.407525128740 0.485158714878 0 3 2 4 0132 0132 1230 0132 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 0 0 0 0 0 0 0 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.984881471543 1.208498730466 3 0 4 1 2310 0132 2310 3012 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 0 0 0 0 0 0 0 0 0 0 0.984881471543 1.208498730466 5 1 2 5 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143707338691 0.410871125803 6 2 1 6 0132 3201 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669322268306 0.407013187928 3 5 5 3 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.100792763475 0.985001187749 4 6 6 4 0132 3201 2310 1023 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 0 0 0 0 0 0 0 0 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.148614492293 0.511292779369 ==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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 703380036445890720050250794010078193/198947410881868879578146193006\ 149*c_0101_6^23 + 2308999070980397995237388030995595735/19894741088\ 1868879578146193006149*c_0101_6^22 - 26777997354126800951694092664467570740/1989474108818688795781461930\ 06149*c_0101_6^21 - 65245578699209611765741223377356057761/19894741\ 0881868879578146193006149*c_0101_6^20 + 342345469791294653225338737697489243219/198947410881868879578146193\ 006149*c_0101_6^19 + 667881287690377752355524707963584881024/198947\ 410881868879578146193006149*c_0101_6^18 - 2111347357308052036206398930865357622733/19894741088186887957814619\ 3006149*c_0101_6^17 - 3609100402444799677088839542700216551902/1989\ 47410881868879578146193006149*c_0101_6^16 + 6544102075896560519444495458513332292108/19894741088186887957814619\ 3006149*c_0101_6^15 + 11472172921112436187038165215279561702981/198\ 947410881868879578146193006149*c_0101_6^14 - 9160336909149989759982410153783140763402/19894741088186887957814619\ 3006149*c_0101_6^13 - 21053427157831791295561058671859387147031/198\ 947410881868879578146193006149*c_0101_6^12 + 2230620648338180217384308120387777934889/19894741088186887957814619\ 3006149*c_0101_6^11 + 19987998877215214960394062631875071378737/198\ 947410881868879578146193006149*c_0101_6^10 + 6323310516241589358337232982073734628156/19894741088186887957814619\ 3006149*c_0101_6^9 - 8078825587871446914121816247618493859053/19894\ 7410881868879578146193006149*c_0101_6^8 - 4582140277268389878953504990169700470405/19894741088186887957814619\ 3006149*c_0101_6^7 + 1413500024494767078908234292573095616983/19894\ 7410881868879578146193006149*c_0101_6^6 + 1291834527056522803522795086639623433880/19894741088186887957814619\ 3006149*c_0101_6^5 - 67233830541872055299735893720508569229/1989474\ 10881868879578146193006149*c_0101_6^4 - 2269818978708121800614411574112619006/22353641672120098829005190225\ 41*c_0101_6^3 + 519179027405164955839197604116228913/19894741088186\ 8879578146193006149*c_0101_6^2 + 1836596549200070786388221909747012\ 8946/198947410881868879578146193006149*c_0101_6 - 2433022910169117842063608918277974775/19894741088186887957814619300\ 6149, c_0011_0 - 1, c_0011_4 - 1211188138133540718363472336464342/1989474108818688795781461\ 93006149*c_0101_6^23 - 4123377877432192707296251247500526/198947410\ 881868879578146193006149*c_0101_6^22 + 45573885274511959508984873763507768/1989474108818688795781461930061\ 49*c_0101_6^21 + 117775921477528361159042150419545257/1989474108818\ 68879578146193006149*c_0101_6^20 - 573866497605293836627232936118118661/198947410881868879578146193006\ 149*c_0101_6^19 - 1216466740661071806267959863900896293/19894741088\ 1868879578146193006149*c_0101_6^18 + 3471295956591717925269415827878915612/19894741088186887957814619300\ 6149*c_0101_6^17 + 6601709764939330890017786022985450036/1989474108\ 81868879578146193006149*c_0101_6^16 - 10367583698198774107675955538127137184/1989474108818688795781461930\ 06149*c_0101_6^15 - 20824260259731596575111797176570874034/19894741\ 0881868879578146193006149*c_0101_6^14 + 12953900577711999691856692856811618481/1989474108818688795781461930\ 06149*c_0101_6^13 + 37227455251870159949013716134163846279/19894741\ 0881868879578146193006149*c_0101_6^12 + 1021202585607422655061070553040680974/19894741088186887957814619300\ 6149*c_0101_6^11 - 33233477317613440068003220486348549655/198947410\ 881868879578146193006149*c_0101_6^10 - 14832817609301401953831431796436323659/1989474108818688795781461930\ 06149*c_0101_6^9 + 11195213307049705261106584349816497920/198947410\ 881868879578146193006149*c_0101_6^8 + 8769648554784806328531361577429606336/19894741088186887957814619300\ 6149*c_0101_6^7 - 1106128878111233526145260996722942542/19894741088\ 1868879578146193006149*c_0101_6^6 - 2096548591009969069732781039023348383/19894741088186887957814619300\ 6149*c_0101_6^5 - 138494885328144710170734904603421261/198947410881\ 868879578146193006149*c_0101_6^4 + 3103888368291353080342855242250930/2235364167212009882900519022541*\ c_0101_6^3 + 21621475543165323971334567700695099/198947410881868879\ 578146193006149*c_0101_6^2 - 23660092886519853647512065041723248/19\ 8947410881868879578146193006149*c_0101_6 + 2576683897107683480939084527746423/19894741088186887957814619300614\ 9, c_0101_0 - 7377425450737151745376989016309239/1989474108818688795781461\ 93006149*c_0101_6^23 - 24379005475833978730033782165081029/19894741\ 0881868879578146193006149*c_0101_6^22 + 280310924905019515763128283508290979/198947410881868879578146193006\ 149*c_0101_6^21 + 690367523970998736885053378158491193/198947410881\ 868879578146193006149*c_0101_6^20 - 3574965346651855995008641965005321104/19894741088186887957814619300\ 6149*c_0101_6^19 - 7080666997094514778064872690529300605/1989474108\ 81868879578146193006149*c_0101_6^18 + 21982587864237165241352471812831673252/1989474108818688795781461930\ 06149*c_0101_6^17 + 38307018040159991462362343090694287641/19894741\ 0881868879578146193006149*c_0101_6^16 - 67758925717722441684416882146800969703/1989474108818688795781461930\ 06149*c_0101_6^15 - 121652426520512161220901226487435563704/1989474\ 10881868879578146193006149*c_0101_6^14 + 93319574143288200635773243500138479126/1989474108818688795781461930\ 06149*c_0101_6^13 + 222372541041255592717166777639814915779/1989474\ 10881868879578146193006149*c_0101_6^12 - 18525979735072453347017576724988174503/1989474108818688795781461930\ 06149*c_0101_6^11 - 209220968442825356359248263098725941389/1989474\ 10881868879578146193006149*c_0101_6^10 - 70515571717216405439583677729671056831/1989474108818688795781461930\ 06149*c_0101_6^9 + 82539803916776102113720478772336260683/198947410\ 881868879578146193006149*c_0101_6^8 + 49267490735636263316829283892592102393/1989474108818688795781461930\ 06149*c_0101_6^7 - 13626862794232051336615326964417049839/198947410\ 881868879578146193006149*c_0101_6^6 - 13552310135977186881525860182424370715/1989474108818688795781461930\ 06149*c_0101_6^5 + 456109589373005910279999185235164637/19894741088\ 1868879578146193006149*c_0101_6^4 + 23268856252098274380089974006090740/2235364167212009882900519022541\ *c_0101_6^3 + 19866635088829212860457595113251940/19894741088186887\ 9578146193006149*c_0101_6^2 - 187394711436770496912123063297880899/\ 198947410881868879578146193006149*c_0101_6 + 24022529812688643253759786965277811/1989474108818688795781461930061\ 49, c_0101_1 + 13712783710807566062695085054730372/198947410881868879578146\ 193006149*c_0101_6^23 + 45238098913585819081603800042313416/1989474\ 10881868879578146193006149*c_0101_6^22 - 521231558873520562343275582478734333/198947410881868879578146193006\ 149*c_0101_6^21 - 1280121402491611414350203339163718625/19894741088\ 1868879578146193006149*c_0101_6^20 + 6650412471757737729058474674145184936/19894741088186887957814619300\ 6149*c_0101_6^19 + 13118316621170246957823861243422503455/198947410\ 881868879578146193006149*c_0101_6^18 - 40914188981764996998048075350866101547/1989474108818688795781461930\ 06149*c_0101_6^17 - 70913527017485228164113296351353475652/19894741\ 0881868879578146193006149*c_0101_6^16 + 126244007975344851831019303277615129013/198947410881868879578146193\ 006149*c_0101_6^15 + 225083389433348179917469790916408263138/198947\ 410881868879578146193006149*c_0101_6^14 - 174516995145799688068167032403523961629/198947410881868879578146193\ 006149*c_0101_6^13 - 411368803697348625634821765498214560941/198947\ 410881868879578146193006149*c_0101_6^12 + 36866074562188451906414046787932066383/1989474108818688795781461930\ 06149*c_0101_6^11 + 387195373402309874695489392711799582281/1989474\ 10881868879578146193006149*c_0101_6^10 + 127850440187762365484777827337222964026/198947410881868879578146193\ 006149*c_0101_6^9 - 153377470478873273242508130592807002384/1989474\ 10881868879578146193006149*c_0101_6^8 - 89508923508802557778574674868196512652/1989474108818688795781461930\ 06149*c_0101_6^7 + 26125214615942218283833216551402903720/198947410\ 881868879578146193006149*c_0101_6^6 + 24768673754876375586692065897904406554/1989474108818688795781461930\ 06149*c_0101_6^5 - 1161466219505675489289673849833575798/1989474108\ 81868879578146193006149*c_0101_6^4 - 43234968564106489566682472375047559/2235364167212009882900519022541\ *c_0101_6^3 + 7406912410840161559143654441975127/198947410881868879\ 578146193006149*c_0101_6^2 + 352920232721673472120331108507069513/1\ 98947410881868879578146193006149*c_0101_6 - 47415767954360286532623482356424742/1989474108818688795781461930061\ 49, c_0101_2 + 5353030789654947200370947361260573/1989474108818688795781461\ 93006149*c_0101_6^23 + 18154642796241071146055555309281353/19894741\ 0881868879578146193006149*c_0101_6^22 - 201710696285396263811774824311075391/198947410881868879578146193006\ 149*c_0101_6^21 - 518079762654490020068762022402598435/198947410881\ 868879578146193006149*c_0101_6^20 + 2545150499091285341231814777574313301/19894741088186887957814619300\ 6149*c_0101_6^19 + 5347769730750774115779687804991993132/1989474108\ 81868879578146193006149*c_0101_6^18 - 15439535116206297425456611287041419742/1989474108818688795781461930\ 06149*c_0101_6^17 - 29019926587534082654155185138502515375/19894741\ 0881868879578146193006149*c_0101_6^16 + 46377334871251226838885461548480994944/1989474108818688795781461930\ 06149*c_0101_6^15 + 91658149920151336664310993099638026263/19894741\ 0881868879578146193006149*c_0101_6^14 - 59027097589241502762349453003895693251/1989474108818688795781461930\ 06149*c_0101_6^13 - 164483020140044651171339856108898280216/1989474\ 10881868879578146193006149*c_0101_6^12 - 1440935574049537182723277180661936517/19894741088186887957814619300\ 6149*c_0101_6^11 + 148291495170192603689270732571197345828/19894741\ 0881868879578146193006149*c_0101_6^10 + 63083232434456708102958643148830470318/1989474108818688795781461930\ 06149*c_0101_6^9 - 51761921343843481808496692340280214596/198947410\ 881868879578146193006149*c_0101_6^8 - 38290640563577716998640514236271650468/1989474108818688795781461930\ 06149*c_0101_6^7 + 6070141742657712607955451953863938176/1989474108\ 81868879578146193006149*c_0101_6^6 + 9485817551225445175916618084969320322/19894741088186887957814619300\ 6149*c_0101_6^5 + 387442328167305117152699770948654951/198947410881\ 868879578146193006149*c_0101_6^4 - 14746802045221301674659131234307839/2235364167212009882900519022541\ *c_0101_6^3 - 83063924467606489007679407046708199/19894741088186887\ 9578146193006149*c_0101_6^2 + 114318306429681940048153505224724325/\ 198947410881868879578146193006149*c_0101_6 - 12374165158289338209406122227651719/1989474108818688795781461930061\ 49, c_0101_5 + 1009282875058940875454137519743415/1989474108818688795781461\ 93006149*c_0101_6^23 + 3926381761630213747408090548143812/198947410\ 881868879578146193006149*c_0101_6^22 - 36222063000106011303770443906051859/1989474108818688795781461930061\ 49*c_0101_6^21 - 116297364088289569624798726420385581/1989474108818\ 68879578146193006149*c_0101_6^20 + 427345839366082934789154338021721536/198947410881868879578146193006\ 149*c_0101_6^19 + 1237518657720900989893951540326032627/19894741088\ 1868879578146193006149*c_0101_6^18 - 2360810809129034005038941778674464682/19894741088186887957814619300\ 6149*c_0101_6^17 - 6818729326288652865812686616496475225/1989474108\ 81868879578146193006149*c_0101_6^16 + 5734352783202732156431365028131265071/19894741088186887957814619300\ 6149*c_0101_6^15 + 21074619284733133077416653800452768312/198947410\ 881868879578146193006149*c_0101_6^14 - 1703401856098683642732007545610022244/19894741088186887957814619300\ 6149*c_0101_6^13 - 34782580651997392115854484688073176051/198947410\ 881868879578146193006149*c_0101_6^12 - 16619691271050145509024476468198499959/1989474108818688795781461930\ 06149*c_0101_6^11 + 24705900846885645699599152502588222497/19894741\ 0881868879578146193006149*c_0101_6^10 + 25399914408327512436215073975971621182/1989474108818688795781461930\ 06149*c_0101_6^9 - 1199349426578339524717993251222875415/1989474108\ 81868879578146193006149*c_0101_6^8 - 10563988041187100010293187483120667633/1989474108818688795781461930\ 06149*c_0101_6^7 - 3153419693345741341654643982868875351/1989474108\ 81868879578146193006149*c_0101_6^6 + 1565024839871255240195846088822207819/19894741088186887957814619300\ 6149*c_0101_6^5 + 942892594589620724992887464201004162/198947410881\ 868879578146193006149*c_0101_6^4 - 514021332214172368859425167924824/2235364167212009882900519022541*c\ _0101_6^3 - 104340796422812265539716038825509080/198947410881868879\ 578146193006149*c_0101_6^2 - 3404078541258807638275546367574506/198\ 947410881868879578146193006149*c_0101_6 + 4106274930164444474845620293738360/19894741088186887957814619300614\ 9, c_0101_6^24 + 3*c_0101_6^23 - 39*c_0101_6^22 - 82*c_0101_6^21 + 513*c_0101_6^20 + 812*c_0101_6^19 - 3271*c_0101_6^18 - 4283*c_0101_6^17 + 10760*c_0101_6^16 + 13682*c_0101_6^15 - 17654*c_0101_6^14 - 26257*c_0101_6^13 + 11671*c_0101_6^12 + 27538*c_0101_6^11 + 917*c_0101_6^10 - 14053*c_0101_6^9 - 3247*c_0101_6^8 + 3870*c_0101_6^7 + 1264*c_0101_6^6 - 621*c_0101_6^5 - 260*c_0101_6^4 + 83*c_0101_6^3 + 26*c_0101_6^2 - 11*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB