… and here’s a J implementation (and output) but I stumbled upon another aspect that didn’t match the specification as I understood it:
consider the first example 13510: your solution contains SIMUL which is 13509 so I implemented that whenever either of them has a 0, they match. I think that’s wrong. The query may be more general but not more specific than the things we want it to match. In my D implementation, it’s in the function match in lines 105 through 117, (I already wondered if it’s wrong but didn’t check again after I found I got your ‘correct’ results); in the J script, it’s where the comment says what’s superfluous. … and I edited the 0 : 0 content (added an LF) in order to not have to do too much parsing cheers, Hauke Am 08.01.21 um 04:41 schrieb Hauke Rehr: > I jotted down a q&d-implementation in D. > When I found out that your example doesn’t > fit the hierarcical layout (multiple instances > for 11, for example, so 11 isn’t a category > even though there are things like 111), > I ripped out the code depending on the hierarchy. > > The results agree with your results so I think > this should be a correct re-implementation. > > Am 08.01.21 um 00:30 schrieb Hauke Rehr: >> That post was written too soon. >> Now that I’ve taken a look at what ordinal fractions >> are meant to be, it looks to me more like what I think >> I first came to know when learning some prolog. >> I try to write down my new understanding of ordinal fractions, >> in a more old-fashioned lingo of enums (concepts) >> with their elements, and tagging data with them: >> >> there is an a priori given set of hierarchical enums >> where subordinate ones’ range and meaning may depend >> on superordinate ones >> you tag any data by at most one element of each enum >> where the elements themselves are part of the data >> (and are tagged by themselves only) >> any data with an incomplete set of tags is a category >> all “leaf data” if thought of the hierarchy as a tree >> is given a full set of tags. >> then you just do some matching where everything matches unless >> there is an enum the things to be matched both have an entry of >> and where the entries don’t agree >> >> @bo: Is this “translation” of the concept of ordinal fractions adequate? >> >> >> > -- ---------------------- mail written using NEO neo-layout.org
PNG IHDR ò X ¨~X sBIT|d tEXtSoftware mate-screenshotÈðJ IDATxíÝw|uþÇñ÷l ÐzP©Q° ¨ÑóPñîT¥èy¢¨'XïPOõôQ@QACG¢R¤×(%ÔP²;¿?BH²Ùì$È$¯çãáã¸Mæ»ßù~ç³3;·1yòdS ÀÂ%©_¿~çº À¡)S¦dò?þøã\÷ B¸$¥§§ë~ B$ÓÌÿ5ùîÝ» ¯×ë¨Á°°05jÔHõë×M p»lß¾]7Üp*Uªtæ5«ï/99Y³fÍ¢ pØòÌÌLEFFjÈ!Z¸hQPuéÜYcÇUfffÈ: ìÙ^Z÷ù|òz½Z¸h®hÛVaX6½¬iZ¸h¼^¯|>_PgïÅ)}ßJ}óå\m<h¨õ]©×aç´? Û3òìB.)à÷äþ;»ï~[¸Nb[©óEµt)6iõ¬ï´ö@%Y5©lý! ·óØý w!ÏÌÌê?) ܹO¿-§ köÉÑ-wæQNòʨq®ëyµZÕ BÇëõê/¾Ð)SÔNJJæͧäää<¯Í?_'OªÖ³ rff¦&NüDýûß}æçvκ´n¦j÷òï4óÇÚ¦ªÛêÞÝÔ8ás½4e§ê¶h¨äij³K2%m¢ßOÑ#½RUÎÔd¯n§s~ÑΤLU¬§.7õÔeµhÁ;hɤyzë ßuË£Ô6ZL%ÿò^ýfο¢¹R7ÑÞôÊjÚýNõ»¢¦ÂíÚ¬¡@ËùjÃ_ë_~×Qo¤j5k¯n¾J¢Lß²@Ó¿_©IªX¿®ïÝCqÕ=ûá¸=¾6 ³Fòx<Eú*ù_~×ëÕ%KÔ©S'ù|>-^¼XaaaZ½zµ:vìX`¶gä¦iæ9#¿ã;5qâ'óýxFÂ}1këvP÷öõ¾}¾³E¦)©Úµý*×XÍ®k«zÉS·nîr¾¢rXûö/ÑçSk§·.¹¼©"þªÍÖö´Êjѵ.¬hȨ§k{uRÈMÓÌÚ¹3Yu/j©ÚÆamû£¶gj3Ðr¦R×ÏÒ´¥{TñÕëêúJÙ0GSæíTFÒ M¼@Û3ê¨Mۦܷ\_}¹L}¡o pv/_^åË/R7Þx£jÕª¥ *hùòåZ¾|¹¢¢¢T»vmõìÙ3¨6ú<»H÷íÛO_~9E}ûö+ð<3º¥®íÓXÕ´Pý ;thõ6:x@'ÏÏêRëîÓ]×VL¹eZíY¦ýë«Õù5Ó;íÿm½UuE¯;Ôã<U;¡ñ³×kÍ7¨ï MSn¶GÖVó¸&ªî¿F^ÓG7´4´õäMü-II)^û6nPmÛåLÕOKW'¢¢jÆ]¯þ:(½|®×ïéQº¨woõ¸0\{=úhù&m=Ñ^q!m¯bªðõ øøók¯½¶ÐíU¯^=ßkNÛKNNV×®]µdÉ%%%É0 UZU;vÔÑ£Gj£À»Ö¥BþÍ7ÓtË-·l0K룹lfÌûNÇRÒ&ULùN/R®By É:Ó!S9Mú,ÓULµpy CÑÕ«(\»uâxr>F!É4uúÞúÓÿkÈðxdÂÂÃ$òzµyJ>Ãn9)ê¢ëÔói³dÞYìQÅ:u]ª~ì¤L3Yk>£5Ù]òéd²/@? Ù^eÛ+ PfÕ®];àÏ^·j/÷kNÛËÈÈPbb¢ÃP μ¨ðpÛsí<>#9sn¼ñæ3üî»oÏünÏ7ùwÁgä>\öµ¦¯<¡ {ܦ>MNèÇ¿Ôoʪ¹Yò]æÝ4¢*Uá;¡#Ç|RRS¦"T©RÅÒ¼ïd´l·©ä¤dU¾èV º6BG¶,ÑÌoÕ¬ùçëÞ:25»¾:Öä×WA1±ioÛ äsÓM7üyBBB¡ÛÇãQ·nÝ Ý^ZZÖ¯_¯ÅÄÄÈ4M=zTk×®U«Vºt°ç¾ÙíúëoóiãºëzX.Ì¥õ´´t¦W©wkóú=YR´©|KåaÈ»çý°´¢®n¢ Iò¨F8ÕþqV~ó |M+h÷ªßå¾Dqç÷ &¿ÚÜ`·©~Ðg RtÁ5ÝÕ:*«({""T£yk5Xô½¶ý´P/>OålÖæäÖê? "mûQöêr tsZX´W¾|yQ¤÷HHHP¥J6mÚÈ4M^½Z'OTBB5kV`^ZoÛ¶V®\TÚ¶m{æýåCuÚöP=³ôó¯t´^sÕ5tìä1È^Ä4³;OmÛ7ÖÎÅhý¦ýº²ÝùªtúäÓS«nëªoç¬ÒÏ˼ªs±nèy½.,o(Ï[ûLgNÑs]÷eý;ç-Ím&Û.çQ}tËÉï´hé7Y^±M:©w× QÙTßÛOé»øµvénET;Omº5S5ÃTjÛ;ÇÏß2',,Laé®õ+¯¼R;wîTÓ¦MuðàAIRëÖµuëV5nÜXIII¶aL<ÙË÷¯¾úJW_}µ¢¢¢u*%%E ,P>}üVV¡Îþ8« ¼^SáÑɾ¬ïÎ Cy®ºgÝùÕ!C2ÓËe·oµO¦©÷8Ý~öÿ·k3ðrYËdÇÕWþ~^gú"ãt¡= ÀÙÕ¸qc¦Y¤3òððpÕ¬YS8s?ÕkvÖ[gi½U«VZ°`A¡ÒÏZµjUÀo2 #§¾®D¦)y<~UÉðÈÿ¥ÅNÚÚϳ_áókß®ÍÀËe-cÙOC¹úë.· 8»vîÜYä6233µwïÞ_ ÄöÒzÓ¦MÕ´iÓBwî\?k ²Û p1 9 .f{i | àbr \,\îíÝÿ\÷ 2ëý)Ës:{Ãÿ?«×³_8# ÀÕ(ä ¸XþB~±î{8.WöwßO'ݬÆþ- ·ÔÀïFëîÀ rÅï¼zfâËú|é$½vý9î !ëUíÐOÃïk§6çIí.ûCóÇÕg h!aF=©½þÑeÞöÈùºËý>[Ï÷«¶ÿ ?ã® j9 <¢þú\SmýÛÇÚ}³Wüï°jë#ôPì*M¼H·TÎãÛÃ÷ð³zø:jéýFþôvú²^¯}ÛPý³w5h~\o¥Oöe-aÆ´Ñ=£îÒMç)#=U;>xU£fSiÔC--SÞM3ô¯§¿×úÌNzvqOU~XjTGçWZñ?Õâ#aªqà =?¤¢Ó2¤SkõþÀ5ÿxêXµb÷<ò0UëÜ_O¿\uÊ ;¸\ïøTóöÛ¶ är2=T³n´Ò£òOÔnIÆÿ&è£ë»êƧ_Ôàí?%^ÓgoÔîT¯Öýß?5hÎÝúôÙÜÅÒ«}S_×à¯[jàô;r^6ª¨óÓCÔmý³úËÝJñTQú^ùª_£!WÕ?Ѥ½uå¿^ÕýWkÀÇ^QIß=£WVÓe/×ýݧéǯj«çÀ µùñ¡z}䮬èTÉ´kgÂYž5ºiÄß+iöýÃÀPÕ^#ôá°µläZ¥ÓÆ Ôr yÆ}0¢±ë¯M}º¬ÁúàéZzðÖ|ý¹Ö|ý "ë_ª¾Ïü]Yª'º}¨%NÞéBµ»ìwýðÒ.¥È|Ç´ëɼ¢©âvÿ¬7MÉ<¦ v¨þUA±Cë6d]Ø¿ç*ÇTÇwP××? 9´néÏúi¤ìÚ9 dîx.n£+jÖUõ×ÓmVQæ¡UóH)þ_ PBå:#÷éøʯô½ÛøpE-M¾Y¯ÿs¿îºL'j4S§[®ÑM=[(f×½1â jÁ:VTù>suÉw&ÛÌ ïÌãZñì#º¿e+]~åðáºlð£z#P;²xaȳvªø£;] J{Í=±jÔ$JIFæ ý±ù2*VR{^Ðÿí§æ¯zÿþGtï°O5õ§JqúxöÌ-ZöËyº¾ßyª(IÊjÐ mµ¾ÁêRÏ*ºòÆÚ½fNÙµcTR:ºþÍþðSMY_] ë KÛ1uòXºbëT?³Â¾µ«´¬YwõkV.ë uuI«êü= ÀUrÎÈÃbÕöÑ{ôl(ÅÔ W×ÎÛ5yôbO\¡»þw\©þ »j ÛSqÑµÔ QF}ÒN©¿|®¿ÿg]®KÙ¹2iÑ ãÕxôp}<;LéÉÚ6áU=;c¾Æi®ÑÞT/ÃTæÆ©ziâyÕ̺ÇF5]úè#º§©G>O¸¼ë>Õ 3d²kÇäÕ¦É_k׸4¥ïq~ãzaÎ\ýû9f¬¦óÉ0kÓ±Z»>t âfL<ÙóÔ9¯D´Ñýfê£qëää+pfåÎýíZuÓ+úæ¸Ýã °h]±bEîïÈOó&êLö~/3êJ=òÙuUp2V¯ P\òrß~ýº²ð )Ë4öÖe[N àpo .F! ÀÅB_È%¤$LÓ÷TËép»ôÍ.S¹`¨wµúòÿôù´1zãzß)ø UÌé~ P ¬gÈC®ê¦v¿¾¡>/nUPϲ)éa0 ¨8 ¹-PSõtíC4 ®Ié[gëµgfk]JÜ=LÏÝSOáGwkóñ sZ33SuôxFÁí§·ÖwîPçç©Z¹ôVËT%Í|[O}hùvça0v!.vý tÎZ!· 5yÿV¿ñ¼æíOWjõÔ«vëOøcwýã¯)ú´ïÍJk©¿¥F¹Ú3~ùP~ ¢ý kõñ}ëôÍ]ÏëZ4øµÎÈÁ5²q±ë' ¡töÎÈmCM6¨z÷{ôÔõezV3ZÕSª*¼E3µÜ´PÿH mÖ%GÔ®Pí[¦] gA1ݵnõ vP¸Û5úc8h¤èÿ¬r@¦Ç#Ó4ez½gLãóZ_/°ýââòï_ô{ÄEðá z8îì¼5 ÅVÈýCJlCM*E©òá½úý)EÔS§. ².lجõMë¢ ¦V[/ ÜY§á+$CÑnÓãC.SÝÂn » Îbª8V!%6¡&3ôfßõï÷/×þS§tøpbÖwØ»gëµICõÄϨßÉtyuÌò<?(4Åv)E6o¯[{kö[¿h¯ä< Æ&Äå¬] iùCSa0 Pmh , ((äA" Pñ¬u \B QÈ p1 9 .úÝ"¯ÑnPÔ¢$¥Wª¨XcÞ{bT¿Þ~¯Ö.V«æµU°Có ¦ll=DSnÒC@Öê^}6ú¨Fß>C®ê¯§_®:å \®wG|ªyûmÚ¿ûcýÖåAÛP ܬXîZ7+Djï¤WôʯR½ÿÖ¸¿®Ðÿù=ëA/õ*fþãòbªÌòåéQ%ÐAãõÝ÷ê¦FsôÞµìu R§?¥-1Ýôòß+iöýÃÀPÕ^#ôá°µläZ¥Xµïk¬Û àfÅRÈÔ-Z³>S¡Ý«v(bÐùªnü®ý+õÃÔ¬g£¥¥)ÕVCÐOæ6};#Bãz5ÔïÔÒôí]G¤ÖmtEͺªþúsºMÂ*Ê<£j)Ų}BM ¥Wñü¹áQØéç¥aa 7r=°ôTºNå~ÖêéÐ×îzK+{Tûëh$¯§Ï×îÿ^£ÛjªãosõÎ!I!ÏÚ©zl಼:îß~v¨IËVºüÊ+5àÃ[uÙàG5n]èW ³Xnv3#ãÔ©}ETË«+}ý¶{Pº]h$X¬i[®ÒÇÏÓ¯_Ö I¾µ«´¬YwõkV.ëw*ÖÕ%ªÛ¯¡&