Magma V2.19-8 Tue Aug 20 2013 16:18:07 on localhost [Seed = 2648441176] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2336 geometric_solution 5.72098484 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 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 1 -1 0 0 1 -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.585493453006 0.163135540747 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 -1 1 0 -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 1 -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.852886032068 0.516603751154 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 -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 -1 1 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.772573175834 0.914933497740 2 5 1 4 3012 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.772573175834 0.914933497740 2 4 3 4 0132 2310 0132 3201 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.022297352765 1.073988713549 3 6 6 2 1023 0132 3201 0132 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 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.724701636920 0.580121024218 5 5 6 6 2310 0132 2031 1302 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.704260599655 0.918215579019 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], '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_3, 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: 40 Groebner basis: [ t - 117308654023177042021241173451093167218348855888102653375/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^39 + 3865017970655251277064660201915256037356851298819157756657/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^37 - 48127903639810619720371218721770665435912638573941039907912/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^35 + 334378390730580272531116467078187579681448950796043627396811/616854\ 4112513983592925273327350645533856609232872276557*c_0101_6^33 - 1592814157623439835633182679135522947531048402793948663640571/61685\ 44112513983592925273327350645533856609232872276557*c_0101_6^31 + 5621569326810249325201241679188002625234082630554669913516719/61685\ 44112513983592925273327350645533856609232872276557*c_0101_6^29 - 16789896285647847460473507595981661625968254034143777340476645/6168\ 544112513983592925273327350645533856609232872276557*c_0101_6^27 + 40389030038679564794539345561474081312989268017959208773749426/6168\ 544112513983592925273327350645533856609232872276557*c_0101_6^25 - 4481494850028750535451529574417480160503002395618492610260572/47450\ 3393270306430225021025180818887219739171759405889*c_0101_6^23 + 35301409311236512986818560264189959814985424676301273144288920/6168\ 544112513983592925273327350645533856609232872276557*c_0101_6^21 + 1606261151115585743389650308574785733704058264657934193252322/61685\ 44112513983592925273327350645533856609232872276557*c_0101_6^19 - 10424938479622214449148461530788288696896508693958381472100755/6168\ 544112513983592925273327350645533856609232872276557*c_0101_6^17 + 3384860328945092854875788237895781146397985229251223090271244/61685\ 44112513983592925273327350645533856609232872276557*c_0101_6^15 + 2590800069024382473558143172681391889583526557936223849121453/61685\ 44112513983592925273327350645533856609232872276557*c_0101_6^13 - 1689596902921059355141651505341261681075119931317213078572504/61685\ 44112513983592925273327350645533856609232872276557*c_0101_6^11 - 706744342139094498554247586608776866638711662434601364070127/616854\ 4112513983592925273327350645533856609232872276557*c_0101_6^9 + 74792903908301381893532060288656949296039026579683499330426/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^7 + 94318994013473575031533513170976687686582577281811886305620/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^5 + 21123652305030157889197532286279160276735395469913851115706/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^3 + 2890837717654296007112564184984615791648218407332632958604/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6, c_0011_0 - 1, c_0011_3 - 456213559353100885187260059197159180533564284353/98299888809\ 07924638499741567003353715890268934959*c_0101_6^39 + 15063028046620788244533569090760833966509447255339/9829988880907924\ 638499741567003353715890268934959*c_0101_6^37 - 188205659535832234476586798417713176756905764262326/982998888090792\ 4638499741567003353715890268934959*c_0101_6^35 + 1312961667611178028948253375842306369448410112728133/98299888809079\ 24638499741567003353715890268934959*c_0101_6^33 - 6278921984509236965943920196514007168341326840170322/98299888809079\ 24638499741567003353715890268934959*c_0101_6^31 + 22251899401612164848364500477694800418018461774024081/9829988880907\ 924638499741567003353715890268934959*c_0101_6^29 - 66624505247422380848437115245986811253511924155817171/9829988880907\ 924638499741567003353715890268934959*c_0101_6^27 + 160962873446124103413008632440734258104348080270112021/982998888090\ 7924638499741567003353715890268934959*c_0101_6^25 - 235593939847200986769937179512073842025114707623176545/982998888090\ 7924638499741567003353715890268934959*c_0101_6^23 + 148658334928436719830997905433224558052570288792528400/982998888090\ 7924638499741567003353715890268934959*c_0101_6^21 + 1846481787945890758629847442558328207691269781868531/98299888809079\ 24638499741567003353715890268934959*c_0101_6^19 - 41599473184448001032712249732460934020023625581521835/9829988880907\ 924638499741567003353715890268934959*c_0101_6^17 + 12647362794382860090343266761813275631265553729252172/9829988880907\ 924638499741567003353715890268934959*c_0101_6^15 + 12262462352592417895767587666227946939979591027660824/9829988880907\ 924638499741567003353715890268934959*c_0101_6^13 - 8397332290224356960200609623173325894276216743742913/98299888809079\ 24638499741567003353715890268934959*c_0101_6^11 - 2637530287822468573453161978619556890977068720010387/98299888809079\ 24638499741567003353715890268934959*c_0101_6^9 + 729546033565458144002602061592413668802986755424050/982998888090792\ 4638499741567003353715890268934959*c_0101_6^7 + 345119735429722038381592321230507209524257556545895/982998888090792\ 4638499741567003353715890268934959*c_0101_6^5 + 49696109644508500224643801479372548255410102394101/9829988880907924\ 638499741567003353715890268934959*c_0101_6^3 + 23859570648592308628208363292412755227883122129870/9829988880907924\ 638499741567003353715890268934959*c_0101_6, c_0101_0 + 356166027628718497341741340761560892319051067605011123/61685\ 44112513983592925273327350645533856609232872276557*c_0101_6^38 - 11836274283839896878524688897617776211201721984280013433/6168544112\ 513983592925273327350645533856609232872276557*c_0101_6^36 + 149504512898394985035577434462078917525786424790847230293/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^34 - 1058067567327885759182093518092262012244682470892270688905/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^32 + 5140223199493603597798810625778110317230242151686620744618/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^30 - 18548988541484138576889522569972259083006225519236973640964/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^28 + 56329077256720820572904158286999017926394472600529234966207/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^26 - 138873724228244821471047520908993952464241315274003594395493/616854\ 4112513983592925273327350645533856609232872276557*c_0101_6^24 + 16689486286428462074297572759223279274928722563918514076768/4745033\ 93270306430225021025180818887219739171759405889*c_0101_6^22 - 169903132635133405609815131822017369304605673003643611667205/616854\ 4112513983592925273327350645533856609232872276557*c_0101_6^20 + 43309626816129533798296453477362692711536443649387095444796/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^18 + 22229731858917969497352523274669695698698338548556515320832/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^16 - 19234963542525933258332685155495518629663501135113267417693/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^14 - 1907622222221006564841479666612359252480558175127890668329/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^12 + 6161970299482174118912503825668307095489335089680192566049/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^10 - 1110935652809328827382569328193302037731238082685155066/61685441125\ 13983592925273327350645533856609232872276557*c_0101_6^8 - 357472992230725051837583716446759843368931906784104425949/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^6 - 85424741306682583173673017377053539194371679255647419342/6168544112\ 513983592925273327350645533856609232872276557*c_0101_6^4 - 18071680409710864899931720795506042908386550361173560469/6168544112\ 513983592925273327350645533856609232872276557*c_0101_6^2 - 5452404890159102950975217535209065055973438351574718077/61685441125\ 13983592925273327350645533856609232872276557, c_0101_1 - 386376745464274015487745757822077385310756480011494200/61685\ 44112513983592925273327350645533856609232872276557*c_0101_6^38 + 12824835398150660200085606526547344967412225661450647843/6168544112\ 513983592925273327350645533856609232872276557*c_0101_6^36 - 161663204946212396898503890672240502953415557907574713709/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^34 + 1141007344738602991413573053668639326164181926687335346040/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^32 - 5526280833105402178502766689759871436494802121347115515013/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^30 + 19871400942666831124295718726625333338021107716516934376605/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^28 - 60170343283699586663561028679946195051579034802267075509139/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^26 + 147749754268491606879513569429799849174913542308963330027234/616854\ 4112513983592925273327350645533856609232872276557*c_0101_6^24 - 17536883117095220392446918095874784083012634369752885312077/4745033\ 93270306430225021025180818887219739171759405889*c_0101_6^22 + 171667757381243571749185662754997257241652192933137180107422/616854\ 4112513983592925273327350645533856609232872276557*c_0101_6^20 - 35200418088620294276104579643268057902409746533348971900784/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^18 - 28137974327441567645476645608020043578343189247613562490915/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^16 + 19209848887129427987512000549004919534046048493330404536801/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^14 + 3834206811572169107058549173225454102542017949622688424608/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^12 - 6764743185680995939045125852225532633424533686400105596804/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^10 - 547986583259513505456478491182889847045953894439083251872/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^8 + 495580045991710472880068195729347488906824702165310757223/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^6 + 182456353163116414679695935519625873870782098717740646942/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^4 + 23437834204914284957614437035227876917371335674289582999/6168544112\ 513983592925273327350645533856609232872276557*c_0101_6^2 - 124752429841629252008737275892889407385883033005097523/616854411251\ 3983592925273327350645533856609232872276557, c_0101_2 + 1799973519307927161246770733741737289267479884088/9829988880\ 907924638499741567003353715890268934959*c_0101_6^39 - 59389430978656680197039469610861914387744676533034/9829988880907924\ 638499741567003353715890268934959*c_0101_6^37 + 741195925109170118605368583494974117084232864167322/982998888090792\ 4638499741567003353715890268934959*c_0101_6^35 - 5163097036856147898270666902726260880044167630668607/98299888809079\ 24638499741567003353715890268934959*c_0101_6^33 + 24651474165664855581655692164957854413288602006343289/9829988880907\ 924638499741567003353715890268934959*c_0101_6^31 - 87192891949344332040902748367836928119944913346864436/9829988880907\ 924638499741567003353715890268934959*c_0101_6^29 + 260634089260837979803624159938356976054222724460701952/982998888090\ 7924638499741567003353715890268934959*c_0101_6^27 - 628044306371790389845473012241496158705543434031041444/982998888090\ 7924638499741567003353715890268934959*c_0101_6^25 + 911461193622209828056745378134853991663780785491680398/982998888090\ 7924638499741567003353715890268934959*c_0101_6^23 - 554814132766615326764178957860072231153189655982260608/982998888090\ 7924638499741567003353715890268934959*c_0101_6^21 - 45218768159757611021267086887069154215896303488261183/9829988880907\ 924638499741567003353715890268934959*c_0101_6^19 + 199669442924602340804378124038942931152984723619520238/982998888090\ 7924638499741567003353715890268934959*c_0101_6^17 - 73027890944166193703712471263504341672693895273494280/9829988880907\ 924638499741567003353715890268934959*c_0101_6^15 - 39629549849166773165601107165980654150373197885276791/9829988880907\ 924638499741567003353715890268934959*c_0101_6^13 + 31941333863077652108574631330654664688151605942928705/9829988880907\ 924638499741567003353715890268934959*c_0101_6^11 + 9316077150993688139186461549412978463596478446596877/98299888809079\ 24638499741567003353715890268934959*c_0101_6^9 - 2612996963432209116209988327172161683762187390176020/98299888809079\ 24638499741567003353715890268934959*c_0101_6^7 - 1274355991745663144063688267658167732342372949113877/98299888809079\ 24638499741567003353715890268934959*c_0101_6^5 - 201080419830155046182593790910738278760824478568220/982998888090792\ 4638499741567003353715890268934959*c_0101_6^3 - 24739601375233210853436947725369896690768173231613/9829988880907924\ 638499741567003353715890268934959*c_0101_6, c_0101_5 - 321627632617998210453556123382587910863924597420805917/61685\ 44112513983592925273327350645533856609232872276557*c_0101_6^38 + 10623898106562251696817270220743096209659320017335081629/6168544112\ 513983592925273327350645533856609232872276557*c_0101_6^36 - 132867190493832282022710429258107406115641425293086798350/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^34 + 928578032772529306426559209590343045446989224604656612719/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^32 - 4452720033699111653801040977265879948082846132369605891106/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^30 + 15838124224705624240464304820194396388148474690511016182289/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^28 - 47600652086680865464863664424281691941277083680146328787242/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^26 + 115547248879516666097333190324006318553137015157160128399867/616854\ 4112513983592925273327350645533856609232872276557*c_0101_6^24 - 13217692425862896009162196375006309796693194579487027260404/4745033\ 93270306430225021025180818887219739171759405889*c_0101_6^22 + 116796825215313378390352898423941947224825397299180532190183/616854\ 4112513983592925273327350645533856609232872276557*c_0101_6^20 - 12685701484681087937263007867509535630470433560529409130594/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^18 - 23965138393237103323762656444021841078892057000999189348782/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^16 + 11508556008732882751711276291665498543988856531719263558423/6168544\ 112513983592925273327350645533856609232872276557*c_0101_6^14 + 5167428346445231106579127318603874035511994809436781018113/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^12 - 4675715980373093704433717731282459544272869897604180052568/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^10 - 1257805598015883130823679443858178496528045962682861115667/61685441\ 12513983592925273327350645533856609232872276557*c_0101_6^8 + 251792632632405709298962271972072754759668930959735236915/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^6 + 213334588418485132056579050449767433674789460709488937984/616854411\ 2513983592925273327350645533856609232872276557*c_0101_6^4 + 22553888998588958826249426617373161942099571993697463061/6168544112\ 513983592925273327350645533856609232872276557*c_0101_6^2 + 1086015931818388318997763474886710610276669759590572021/61685441125\ 13983592925273327350645533856609232872276557, c_0101_6^40 - 33*c_0101_6^38 + 412*c_0101_6^36 - 2872*c_0101_6^34 + 13728*c_0101_6^32 - 48636*c_0101_6^30 + 145649*c_0101_6^28 - 351832*c_0101_6^26 + 514759*c_0101_6^24 - 327071*c_0101_6^22 + 2057*c_0101_6^20 + 89861*c_0101_6^18 - 33751*c_0101_6^16 - 20553*c_0101_6^14 + 15627*c_0101_6^12 + 5231*c_0101_6^10 - 968*c_0101_6^8 - 758*c_0101_6^6 - 135*c_0101_6^4 - 16*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB