> restart; read `d:/Ake/Schur/SchurProblem.txt`; Welcome to SchurProblem, a Maple package written by Thotsaporn (Aek) Thanatipanonda with help from his lovely twin brother A. First Version: June, 27 2007 It accompanies the article: On the monochromatic Schur Triples type problem by Thotsaporn (Aek) Thanatipanonda available from authors' website http://www.math.rutgers.edu/~thot > t:= time():Zeil(2); print(`Time use`,time()-t,`seconds`); 2 n [1, 2, 1], [1, 3/2, 1/4], ---- 22 Time use, 0.829, seconds > t:= time():Zeil(3); print(`Time use`,time()-t,`seconds`); 2 487 47 47 n [1, 2, 1, 3, 1, 2, 1], [1, 3/2, 1/4, 3, 1/8, ---, ---], ----- 440 440 6238 Time use, 2.468, seconds > t:= time():Zeil(4); print(`Time use`,time()-t,`seconds`); [1, 2, 1, 3, 1, 2, 1, 4, 1, 2, 1, 3, 1, 2, 1], [1, 3/2, 1/4, 3, 1/8, 487 47 1583 47 1133669 53909 59210420177213 ---, ---, ----, ---, -------, -------, --------------, 440 440 220 880 1079760 1079760 21204302045520 898589552033 1802665706716023546961936487 --------------, ----------------------------, 21204302045520 1733034484016730504632454960 2 69631222699293042329481527 69631222699293042329481527 n ----------------------------], ----------------------------- 1733034484016730504632454960 67076984091396704809405315398 Time use, 7.702, seconds > t:= time():Zeil(5); print(`Time use`,time()-t,`seconds`); [1, 2, 1, 3, 1, 2, 1, 4, 1, 2, 1, 3, 1, 2, 1, 5, 1, 2, 1, 3, 1, 2, 487 47 1583 1, 4, 1, 2, 1, 3, 1], [1, 3/2, 1/4, 3, 1/8, ---, ---, ----, 440 440 220 47 1133669 53909 59210420177213 898589552033 ---, -------, -------, --------------, --------------, 880 1079760 1079760 21204302045520 21204302045520 1802665706716023546961936487 69631222699293042329481527 ----------------------------, ----------------------------, 1733034484016730504632454960 1733034484016730504632454960 16804061634198822723516069613 69631222699293042329481527 -----------------------------, ----------------------------, 866517242008365252316227480 3466068968033461009264909920 54120047818306617116514220816576258467707358404145722991 --------------------------------------------------------, 53080508889856199709366394416793755249692533845878827360 1039538928450417407147826399782503218014824558266895631 --------------------------------------------------------, 3\ 53080508889856199709366394416793755249692533845878827360 3191768301867551331447592723804160299497366353989131236755\ / 2942996180829703468727765170809308522109070057325703473 / / 1198986572840324533271119935707231794725256139550727062273\ 01827853498318615043680620631523521086223443191397650080, 2\ 1963754875862666649179449185528594455282251634413702424729\ / 16399060453512098606058434119625534994601280982165753 / / 1198986572840324533271119935707231794725256139550727062273\ 01827853498318615043680620631523521086223443191397650080, 1\ 2757334777913931060463665252933023740187620719032345656702\ 5961719160089312066697236079480328591092350110282664914048\ 5438305184822907506383673297583050061096237825198743868203\ / 85641162542891944587951841421967678005164255319796159 / / 1253301435638825357201753624395875586922109730331579712980\ 5495447839248840244325887562635440228325683562400263630835\ 9888889143870904994288538308219745541170108894666834487142\ 848458547296171928144216377600919440519717739203380320, 224\ 3204215256774884461290089742678709665234157165485268971007\ 2407676009096234383604531259263078355144862800286056886549\ 4137461138575634982902153855946493951488785303989967753718\ / 2615246720016443735463821048237485446516116415839 / 1253\ / 3014356388253572017536243958755869221097303315797129805495\ 4478392488402443258875626354402283256835624002636308359888\ 8891438709049942885383082197455411701088946668344871428484\ 58547296171928144216377600919440519717739203380320, 5659215\ 6665244395981539755568616491227274305067042408790726552621\ 1624867838888281018504942536999696939620563462452219257629\ 0636846880701220603565950607319802217258982239092174998702\ 7087562200230096811483792329312328876577782818199838408734\ 6163826182014294528843484993317511332812299000712495034577\ 3916016547270397343945217198397912970016323882287065498937\ 0900374873920239376674937583142756191913450870004845077598\ / 29850847547157237283688604985822860095806817 / 796620123\ / 9511290137800637691034389400231062542131293881602759442600\ 6376624436387290677711747415782066929026480299620415220206\ 4278603631680555605001379627110536452157117156324836763186\ 2940503618331749514442389728903302560257894908493014731199\ 9855218617248930629002630221893875760901826596315446338230\ 4867322676307551896702958046862681836524814854005141906310\ 9692120832493749249796048073927072268187192751332568840422\ 56209760473514947829909032468321487184800, 1115026170905377\ 9354814771044420578652894661279164101487743068562005230526\ 7304067875700780183893055099465770955467024439042184455842\ 5893680296904744661932895123899615039252031728267314378870\ 1583857503579093250614732439830592105028757623268275518454\ 9398797119684750701987187590735281644543375637419714175648\ 1729664663239471311346488049392894767906359902176798248339\ 8420934261747657570296319429223662936100320646688713336111\ / 22374231930061967250694984220167 / 724200112682844557981\ / 8761537303990363846420492846630801457054038727852420403307\ 9355161556134014347333571842254817836741109278570782148334\ 5959640910345115555033138324651960295306148351176409419848\ 3408649493081571730275054779904462266377028363623201692477\ 1755117275118383539887055365296905741314852936806120243300\ 6865360639052769875165305931649867277401733009972010984772\ 1590227087316430842792971079266137575062582202329179640668\ 3177075446275678938317016800, 10101265820504707966770283850\ 2111503793492565662967154481316262435872900592858344806583\ 7305995466399041954975474606711562278931722088042208975595\ 9143917289783282991409627279456720050172651726044627005140\ 2649473986683239939670196853778660799002246914045592593197\ 3138540370061148111449687575760159509157080713270440245110\ 4296535045602603643559971699157881492812502355749020858533\ 0996063235011544656649213386391801454924558688870917355408\ 7587349370376241216633958251573797872359988138006145454310\ 1067351851180610691083225832112237762779945242663620090056\ 7019963846395227538669665991842115065485096361412607993882\ 5942250922459142040009888737374486803734601246875473476075\ 6127803566165198630147891256612564388777990806169657052785\ 8667185393478067843517957184083676380779969013493288104464\ 4880520168196355285980396480366565281963174493117792805531\ 5409431597779132514449471036245897910576465575557407049854\ / 92951745998111 / 995101429417682927305726104549499772489\ / 4417421766560902946420994397005247171682014411153743842345\ 5140260433329927653358279850673063665770848336735547003117\ 9307037104054650128794581632053120030165064826994746788791\ 3351151361988303013146298765916948736846509699880653223086\ 0544325791637888312007955491928754169949418330596771699765\ 1176170061878290232859671181219168401137505297818956982961\ 5468560057841661755582042839236345340857367429006370305221\ 9705728277719761866088202406252277507862377871822085777785\ 0396274267346369604446487825359714528974240631577126960471\ 0668256865049857583200918128129812825130960083779142951884\ 0086861974190714239320344048811748020773164276011410777224\ 2552296201020068653837056160391663333964675062364617636298\ 8580767073115845914784883918781060035398963499628377467536\ 9822921225827307498927511005916539522874196166183796992346\ 5031217506391489235468724334557800681336552834070172773714\ 400, 150251526327878693713022804716152654454839144530154545\ 1852052491902848121141524662472193161123184763935064217533\ 0177979480424991451384500492228558921697799021262036908077\ 8168774233852120525742976356870317479510754972842605031382\ 3647197811343077426677127496198507321806145570485353330869\ 2640079954237793171570946061804461936506909084194294118879\ 6829284781000310671737645805554910036493885685905607079676\ 8835981026532195235462343681118695031884817918393385676063\ 2912915848297465362927521675591885877407267664794840976213\ 6067772884526348097373877683740930726779928854497001916741\ 6010105884203798233161298393044802795573405827342026798159\ 4981283363246483766667741833315498672584373967566813769057\ 0074193827174074172830010302162220542176359226017278679872\ 4935827541592158413139298469468204277341449812607372212340\ 5377290171904009097889050843869702973236312882033938555614\ / 389121066723088756874404152151422778972283711 / 99510142\ / 9417682927305726104549499772489441742176656090294642099439\ 7005247171682014411153743842345514026043332992765335827985\ 0673063665770848336735547003117930703710405465012879458163\ 2053120030165064826994746788791335115136198830301314629876\ 5916948736846509699880653223086054432579163788831200795549\ 1928754169949418330596771699765117617006187829023285967118\ 1219168401137505297818956982961546856005784166175558204283\ 9236345340857367429006370305221970572827771976186608820240\ 6252277507862377871822085777785039627426734636960444648782\ 5359714528974240631577126960471066825686504985758320091812\ 8129812825130960083779142951884008686197419071423932034404\ 8811748020773164276011410777224255229620102006865383705616\ 0391663333964675062364617636298858076707311584591478488391\ 8781060035398963499628377467536982292122582730749892751100\ 5916539522874196166183796992346503121750639148923546872433\ 4557800681336552834070172773714400, 16418200104523418896406\ 3600466237571112177591481416287975209135079020181226680868\ 8964221263003741892700650699173090892812515903782175223211\ 9013829937341584713564468122418157682184520273069699661701\ 2158333901103981639005793084443607505914384042592005555427\ 7347880585456657316664664999122679201744599775076240744954\ 3381230987792214982617580808663052775423743717181970076960\ 9423868982856597002919874754090586200258096595539192288486\ 7287941025488009608567212464705446002331758567832499796019\ 1227305306476086867547599920685472782422997006154631838966\ 9035238583246478711543865764526990176519632767843440384404\ 6611365637226989965433725201904839255213726631059885398364\ 3887930421128311983566900879833539536928487096554982339658\ 7341924700529781563051892347109182956825244226168212719456\ 7296460865557509427299057647320588998946440757692840586952\ 7457085389974838581980591383826162921194211495977385372713\ 0567994421712343128823888750705879414371447441934560682165\ 0087476373181554959731225543870611676610462762031273909107\ 9504705603667809650917456856943624750716090625771038073801\ 7007782666212333218088825203658454418954200901875267028123\ 5810639540068613080276729850544696093305598376217821663417\ 4925744619566621829460360693630323556691876189355658879332\ 6056917950041566854450393826561794664758607242999518030568\ 1051772533015223597569190978357921464943915627636666702620\ 7968348085022285258570898730584268807653612129740672213559\ 9944130706544742445969080789153066947008816844010627221061\ 2098640326236063796982298019459091687542926221913352149221\ 6403936764464694201856197178934705355825661775979515377914\ 8564724685216357264432342471293602146146377554422656360166\ 3594851345318755441034762757335143418749436848803750819824\ 7536971010136151723988596301088232552463073147445431666914\ 8469435358721447749034857179422459401567101143649432332791\ / 4392299 / 5939289065387826412353258563776021189354125557\ / 9428685887762827757610066261935224877531997378539764492004\ 3902651795489570395849666356091443219404675965064684179073\ 9298549573192856163076592344665356503085008965574732030573\ 9078420235302964120622427349505126940112511473590550028425\ 0975986941976369981658498481978963908413771608135674408036\ 5745819847023183157391152723432888371281775122177806485173\ 6327992344889067166834964031073374290523325735408853401196\ 6759182137629337571613965014444558738669724188497701900562\ 0689925384786241297417723507557330064487128640487544323053\ 6860765910814919490354085539858632826944220013236877154568\ 0862666653280451673710877193887409899986316925223662537000\ 2707141139022675175613388446392609833435587158245063037130\ 8325803074177000809144536818866559178209315183619307816029\ 7844094674711375550072124139481976709969555964330165323001\ 0379493939968019981849897775657885289596081936952670627330\ 4891982418027516316289468670801251724503569365115660821824\ 5124624372681694730778332361957853973948217309574553803793\ 3992453913859192985720320605768823152000925605085651241863\ 6802721540209686665425686925702232576176117352659026100773\ 0863435640714505026070929119995257400939249917712746924376\ 6469744379125213496355850694223418406458200876137932815595\ 7258044763464242032527150535731017131106401865200050568381\ 5260333815233505301035459188945460118190004250188571473732\ 0674548691809525640657992881141570087052340577854364056025\ 5020363069121307607752192475485721124882480190781249676292\ 0193119062692419118637300571220117137316447634191347908679\ 3836788434883007955990957934182382692777021801257124159268\ 0908104800898737743595960126664480881186095287410976659540\ 5097743150011738465442326508463147233450551703087893450863\ 5652102088294136056349742309157510256894671079045423932237\ 86179145940463737973001743657075310069600, 8515517470689626\ 2434898996239698840493913863798740178386135874559249900635\ 9000483209133509389836917052996688065329649392731719969597\ 1743048020134830230589863993505140683140183007181244075183\ 1970832349615455067650816501061878796042276305233091679441\ 6328649478651993291719088297481515858876672715021420541530\ 2803589985226856848393639657500765847346167006089151198063\ 6517921362016699670732457759985211163775532338779938810683\ 6707429854956776426614003430387695456752165343662942871007\ 3482591388789129240006528214302339066462025942910741498605\ 6309226184254563307124265988939742073543549103429410820577\ 3164387039958686297584368310282957154273397162392614760220\ 7987163830670568466126379939343519540722457175415973675475\ 9981692244605367804232953079445115072897007301907869196083\ 6418989570469800797846235823857606023354266367805935145701\ 1516793292260095575903559806284021782800913926140875850231\ 3528510410216844614468657230029775422983870157764589571597\ 8722766362821564087428713105145115358680194995312161727852\ 5009522112962765450942131313837769536163793537989488937220\ 9538032775721207247780893757399617421884231587098123622134\ 6983996579631287048986250546997609668412841677668116274167\ 6459639991524682952128904000290183328096235476121076624976\ 4931987931742594777370202151136693869513809301779333554477\ 0270994634648172222220693869901243992957280433778012389710\ 2605471812296814209954304326687557536633145810032026024907\ 4242255019134065374743442837948315462686341289552548131963\ 5328116437212098957943088426748838166928339034996933678129\ 3899512773445452443213436751412776650942755378280084519637\ 6362451335658568178635005246997400539967461758266553230803\ 2843936223372491495358289739873854148088646865688240585254\ 6169861708083830123465408984825780748974358891818565408148\ 3761640483190404769859089831598015732577403915856816992663\ / 70811700899 / 593928906538782641235325856377602118935412\ / 5557942868588776282775761006626193522487753199737853976449\ 2004390265179548957039584966635609144321940467596506468417\ 9073929854957319285616307659234466535650308500896557473203\ 0573907842023530296412062242734950512694011251147359055002\ 8425097598694197636998165849848197896390841377160813567440\ 8036574581984702318315739115272343288837128177512217780648\ 5173632799234488906716683496403107337429052332573540885340\ 1196675918213762933757161396501444455873866972418849770190\ 0562068992538478624129741772350755733006448712864048754432\ 3053686076591081491949035408553985863282694422001323687715\ 4568086266665328045167371087719388740989998631692522366253\ 7000270714113902267517561338844639260983343558715824506303\ 7130832580307417700080914453681886655917820931518361930781\ 6029784409467471137555007212413948197670996955596433016532\ 3001037949393996801998184989777565788528959608193695267062\ 7330489198241802751631628946867080125172450356936511566082\ 1824512462437268169473077833236195785397394821730957455380\ 3793399245391385919298572032060576882315200092560508565124\ 1863680272154020968666542568692570223257617611735265902610\ 0773086343564071450502607092911999525740093924991771274692\ 4376646974437912521349635585069422341840645820087613793281\ 5595725804476346424203252715053573101713110640186520005056\ 8381526033381523350530103545918894546011819000425018857147\ 3732067454869180952564065799288114157008705234057785436405\ 6025502036306912130760775219247548572112488248019078124967\ 6292019311906269241911863730057122011713731644763419134790\ 8679383678843488300795599095793418238269277702180125712415\ 9268090810480089873774359596012666448088118609528741097665\ 9540509774315001173846544232650846314723345055170308789345\ 0863565210208829413605634974230915751025689467107904542393\ 223786179145940463737973001743657075310069600], 93670692177\ 5858886783888958636687245433052501786141962247494620151748\ 9069949005315300468603288206087582963568718626143320048919\ 6655689173528221483132536488503928556547514542013078993684\ 8270151679155845770005744158981511680666756465039357564008\ 4738579615144265171926208909971272296674447643399865235625\ 9568330839489837495425332330036232508424320807837066980663\ 1787001697134982183696378057035359837322801530855726579326\ 9175203781728404524540692754037734264650024273818780292371\ 5810808308505276680421640071810357325729731082285372018156\ 4846619401488026800196378366925878337162808979040137723519\ 0263504808257439545549273428051413112528697007368786318762\ 3624287858802137376253127390179332778714947947028929575710\ 4302359798614690659045846562483873896265801867080320986561\ 1569200608885275167808776308594062433666256896930045865286\ 6027126684726214861051334939157869124239610810053187549634\ 3525448813614512385290759155229530327529652822571735410485\ 2875765950429991037204961715844156596268945482144948433779\ 0063775104743242590419960363444452215464897801728917884378\ 3094304918360532933279725589831331395791640726547458079359\ 8434816823962375944157538848756016973706352541258454349279\ 0158441056039906771512473417944003192016609058590237331842\ 8747414251867249168542551072223662503632564651902319572669\ 0992472980940981129894444427632568913683922530084771558136\ 2868128660189935264956309497347593563132902964603910352286\ 2739816664805210474719122177871217431470089549754185078029\ 4515988609280809333088537373972694237219836211729384966270\ 4594232894640507899976875347804265540543160370309161080929\ 7160139986964692244249964985057716971405939642079340932085\ 5388361283298457097406448941187138612395628975115522570646\ 4378007868478788922131358119498833083588238717947810004219\ 4896321378045315094452468449988147578173058351443074424986\ 2 91930078928709889 n /7128408097012678509810786691461040950\ 2021228479654022349977465087889256485298328411611470465487\ 5950814456044613772922054573980081275611038820112868565310\ 0946018717110104764282939168103705518691391166091100615067\ 5178288386252603545020351388680448875148670725699482385345\ 0124331006805052687058433104045576837173698692082734559943\ 1181267568919026915559880887357559369699383943202200127344\ 1083945668052033234263531061572402131194113662406282156348\ 4871356746546939948601404179560755667521076357020694646809\ 8526080350749417975078087525532988956958238659578963557552\ 2222824975792876880273584587463670520674625881288675093996\ 9500120001378482290272382227723560959930613654261434867434\ 7891368886640065976357252215213651635626591867917467899677\ 6844502735978191649451626496222112226928033805434466150212\ 6846958899500879216575155205748944075243325693903649893691\ 5897954676372410901127048689250120473157143062325390457862\ 6473424206312946268499823780324741606408639711277171996214\ 6682412844616225531639472744942126341133195743020391527372\ 4270179701169614891069140997489693322681298357553500948675\ 6372608916340296494632378645768644713926153008003861848785\ 8259063504201445703091593674498039596960012964962859116185\ 8335151757657694460462575196442009355562239351236189141456\ 3449811146808059784275299822945817145966495988168666582729\ 4396082024165303017156399330384835522649880985585016796975\ 8118386000810553287866886532248318318689059417300052600245\ 2188927773979104468744125421418813908484723102968640874423\ 2655881255839408798031541500680276730602969363655551580479\ 7253082073862890618668828704348098697234770973783263135023\ 5280925610708848162224167251652124743486240946610398456687\ 8458781155769634957948020242034296686182685574070658707495\ 1427046484484887333585894017495976236909381796427137588825\ 07541620810024082513715651142307287302451410083251318 Time use, 36.281, seconds >